1. A Survey of Symbolic Execution Techniques
2. Symbolic execution for software testing
3. The moldable inspector
4. The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers
5. Claudio Corrodi . 2016 . Towards Efficient Object-centric Debugging With Declarative Breakpoints . In Post-proceedings of the 9th Seminar on Advanced Techniques and Tools for Software Evolution , Bergen, Norway , July 11-13, 2016(CEUR Workshop Proceedings, Vol. 1791), Mircea Lungu, Anya Helene Bagge, and Haidar Osman (Eds.). CEUR-WS.org, 32–39. http://ceur-ws.org/Vol-1791/paper-04.pdf Claudio Corrodi. 2016. Towards Efficient Object-centric Debugging With Declarative Breakpoints. In Post-proceedings of the 9th Seminar on Advanced Techniques and Tools for Software Evolution, Bergen, Norway, July 11-13, 2016(CEUR Workshop Proceedings, Vol. 1791), Mircea Lungu, Anya Helene Bagge, and Haidar Osman (Eds.). CEUR-WS.org, 32–39. http://ceur-ws.org/Vol-1791/paper-04.pdf