| Past expression: encapsulating pre-states at post-conditions by means of AOP | 1 | 0.37 | 2013 |
| Efficient and formal generalized symbolic execution | 12 | 0.63 | 2012 |
| Efficient symbolic execution of value-based data structures for critical systems | 0 | 0.34 | 2012 |
| Bakar Kiasan: flexible contract checking for critical systems using symbolic execution | 8 | 0.57 | 2011 |
| Enhancing spark's contract checking facilities using symbolic execution | 0 | 0.34 | 2011 |
| Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses | 15 | 0.63 | 2009 |
| Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs | 9 | 0.67 | 2007 |
| Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems | 61 | 2.52 | 2006 |
| Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution | 5 | 0.41 | 2006 |
| Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems | 9 | 0.61 | 2004 |
| SyncGen: An Aspect-Oriented Framework for Synchronization | 2 | 0.63 | 2004 |
| Space Reductions for Model Checking Quasi-Cyclic Systems | 10 | 0.98 | 2003 |
| Invariant-based specification, synthesis, and verification of synchronization in concurrent programs | 38 | 2.43 | 2002 |
