State space reduction for dynamic symbolic execution [electronic resource]

Digital content

Librarian view | Catkey: 10693870