Robuta

https://www.fit.vut.cz/research/result/c106530/.en Model checking Using Symbolic Execution model checking symbolic execution using https://cys.cic.ipn.mx/index.php/CyS/article/view/3887/3399 Test Case Generation using Symbolic Execution | Pattnaik | Computación y Sistemas Test Case Generation using Symbolic Execution test case symbolic execution generation using sistemas https://researcher.itu.dk/p/en/research-outputs/symbolic-execution-of-high-level-transformations Symbolic Execution of High-Level Transformations — IT University of Copenhagen Symbolic Execution of High-Level Transformations symbolic execution high level it university transformations copenhagen