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)
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)
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)
The aim of this study was to examine the sexual behaviour of Barbados Black Belly and cigaja rams during semen collection with artificial vagina. Almost half of the rams ejaculated from the first mount both times. From the 7 barbados rams the first 4 arrived in the same order to the semen collecting place. The last 3 rams changed their order both times.(More)
  • 1