Advanced Search

Refine my results

Document type

  • Theses disable the filter

Institution

Specific Collection

Language

Author

Domain

Keyword

Sorted by: Date of deposit
2 results 1
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...

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...

2 results 1