Università della Svizzera italiana

Test generation for high coverage with abstraction refinement and coarsening (ARC)

Baluda, Mauro ; Pezzè, Mauro (Dir.) ; Denaro, Giovanni (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2014 ; 2014INFO018.

Testing is the main approach used in the software industry to expose failures. Producing thorough test suites is an expensive and error prone task that can greatly benefit from automation. Two challenging problems in test automation are generating test input and evaluating the adequacy of test suites: the first amounts to producing a set of test cases that accurately represent the software...