Publications
- Dead Variable Analysis for Multi-Threaded Heap Manipulating Programs2016 | Faculty of Mathematics and Physics
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Faculty of Mathematics and Physics
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublication without faculty affiliation
- Exploiting partial variable assignment in interpolation-based model checking2019 | Faculty of Mathematics and Physics
- On partial state matching2017 | Faculty of Mathematics and Physics
- PVAIR: Partial Variable Assignment InterpolatoR2016 | Faculty of Mathematics and Physics
- On Interpolants and Variable Assignments2014 | Faculty of Mathematics and Physics
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Faculty of Mathematics and Physics
- Advanced Debugging with JPF Inspector2011 | Faculty of Mathematics and Physics
- Behavior Java CheckerPublication without faculty affiliation
Loading network view...