Perfeziona i miei risultati
Document type
Institution
Collection spécifique
Lingua
- Inglese (1)
Autore
- Baluda, Mauro (1)
- Denaro, Giovanni (Codir.) (1)
- Pezzè, Mauro (Dir.) (1)
Parola chiave
- Abstraction refinement (1)
- Automatic test generation (1)
- Coarsening (1)
- Reachability (1)
- Symbolic execution (1)