Learn More
Autonomous systems are used nowadays in more and more sectors from vehicles to domestic robots. They can make decisions on their own or interact with humans, thus their robustness and safety are properties of crucial importance. Due to the adaptive and context-aware nature of these systems, the testing of such properties is especially challenging. In this(More)
Software testing is an expensive, yet essential stage in all software development models, thus there is a great effort from the research community to facilitate or even automate this step. Although much of the testing process is automated by modern software development environments (e.g., test execution, monitoring), the selection of test data remains(More)
The caddisfly subfamily Drusinae BANKS comprises roughly 100 species inhabiting mountain ranges in Europe, Asia Minor and the Caucasus. A 3-gene phylogeny of the subfamily previously identified three major clades that were corroborated by larval morphology and feeding ecologies: scraping grazers, omnivorous shredders and filtering carnivores. Larvae of(More)
Dependability is a fundamental property of computer systems operating in critical environment. The measurement of dependability (and thus the assessment of the solutions applied to improve dependability) typically relies on controlled fault injection experiments that are able to reveal the behavior of the system in case of faults (to test error handling and(More)
Two new species of the genus Drusus (Trichoptera, Limnephilidae, Drusinae) from the Western Balkans are described. Additionally, observations on the biodiversity and threats to the region's endemic aquatic fauna are discussed. Drususkrpachi sp. n. is a micro-endemic of the Korab Mountains, Macedonia, and Drususmalickyi sp. n. is a micro-endemic of the(More)
  • 1