Symbooglix - A symbolic execution engine for Boogie programs

Symbooglix is an open source symbolic execution engine for Boogie programs. It is written in C# and is available on GitHub.

ICST16

Here are some resources related to the ICST2016 paper on Symbooglix

• ICST2016 artifact
• Paper Appendix