Affiner les résultats
Type de document
Institution
Collection spécifique
Langue
- Anglais (1)
Auteur
- Baluda, Mauro (1)
- Denaro, Giovanni (Codir.) (1)
- Pezzè, Mauro (Dir.) (1)
Mot clé
- Abstraction refinement (1)
- Automatic test generation (1)
- Coarsening (1)
- Reachability (1)
- Symbolic execution (1)