Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO006.
Interactive applications, such as mobile or web apps, have become essential in our lives and verifying their correctness is now a key issue. Automatic system test case generation can dramatically improve the testing process for these applications and has recently motivated researchers to work on this problem defining a wide range of different approaches. However, most state-of-the-art...
|
In: Topoi, 2014, vol. 33, no. 1, p. 255-262
|
In: Journal of Logic, Language and Information, 2010, vol. 19, no. 3, p. 315-326
|
In: Axiomathes, 2013, vol. 23, no. 2, p. 381-399
|
In: Acta Analytica, 2011, vol. 26, no. 1, p. 15-35
|
In: Annales Des Télécommunications, 1997, vol. 52, no. 11-12, p. 652-661
|
In: Topoi, 2010, vol. 29, no. 2, p. 153-163
|
In: Journal of the International Neuropsychological Society, 2008, vol. 14, no. 6, p. 967-979
|