Symbiotic 6: generating test cases by slicing and symbolic execution.
Int. J. Softw. Tools Technol. Transf., 2021
Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Symbiotic 7: Integration of Predator and More - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020