Refine my results
Institution
Specific Collection
Language
- English (1)
Author
- Baluda, Mauro (1)
- Denaro, Giovanni (Codir.) (1)
- Pezzè, Mauro (Dir.) (1)
Keyword
- Abstraction refinement (1)
- Automatic test generation (1)
- Coarsening (1)
- Reachability (1)
- Symbolic execution (1)