BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Machine learning steered symbolic execution framework for complex software code.
Formal Aspects Comput., 2021