Symbiotic 8: Beyond symbolic execution
Marek Chalupa, Tomáš Jašek, Jakub Novák, Anna Řechtáčková, Veronika Šoková, Jan Strejček[ISBN] [Google Scholar] [DBLP] [Citeseer]
Tools and Algorithms for the Construction and Analysis of Systems
Springer International Publishing
Cham
Pages 453-457
2021
Note(s): symbolic execution
Springer International Publishing
Cham
Pages 453-457
2021
Note(s): symbolic execution