Refine my results
Document type
Institution
Specific Collection
Language
- English (2)
Author
- Pezzè, Mauro (Dir.) (2)
- Baluda, Mauro (1)
- Denaro, Giovanni (Codir.) (1)
- Rubinov, Konstantin (1)
Keyword
- Automatic test generation (2)
- Abstraction refinement (1)
- Coarsening (1)
- Reachability (1)
- Reuse in software testing (1)
- Symbolic execution (1)
- Unit and integration testing (1)