Refine my results


Università della Svizzera italiana

Automatically generating complex test cases from simple ones

Rubinov, Konstantin ; Pezzè, Mauro (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2013 ; 2013INFO007.

While source code expresses and implements design considerations for software system, test cases capture and represent the domain knowledge of software developer, her assumptions on the implicit and explicit interaction protocols in the system, and the expected behavior of different modules of the system in normal and exceptional conditions. Moreover, test cases capture information about the...

Université de Neuchâtel

Contributions d'entretien et maximes de procédure

Bohnet, François

In:, 2014, no. Eté, p. 1-2

Université de Neuchâtel

Distribution of Endosymbiotic Reproductive Manipulators Reflects Invasion Process and Not Reproductive System Polymorphism in the Little Fire Ant Wasmannia auropunctata

Rey, Olivier ; Estoup, Arnaud ; Facon, Benoit ; Loiseau, Anne ; Aebi, Alexandre ; Duron, Olivier ; Vavre, Fabrice ; Foucaud, Julien

In: Plos One, 2013/8/3/e58467/1-11

Endosymbiotic reproductive manipulators may have drastic effects on the ecological and evolutionary dynamics of their hosts. The prevalence of these endosymbionts reflects both their ability to manipulate their hosts and the history of the host populations. The little fire ant Wasmannia auropunctata displays a polymorphism in both its reproductive system (sexual versus clonal populations)...

Bibliothèque cantonale jurassienne

On giant filter feeders

Cavin, Lionel

In: Science, 2010, vol. 327, p. 968-969