Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses
No abstract available.
Related papers
- Static Debugging: Browsing the Web of Program Invariants PLDI 1996
- Structured Communication-Centered Programming for Web Services TOPLAS 2012
- DI: an interactive debugging interpreter for applicative languages PLDI 1987
- GKLEE: concolic verification and test generation for GPUs PPoPP 2012
- Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong) ICFP 2016
- Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong) JFP 2018
- A theory of contracts for Web services TOPLAS 2009
- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) TACAS 2022