Checkification lets a static analyzer's inferred assertions be checked dynamically, a practical method that found 21 bugs in CiaoPP.
The Ciao System Documentation Ser ies–TR CLIP5/97.3, Facultad de Informática, UPM
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Checkification: A Practical Approach for Testing Static Analysis Truths
Checkification lets a static analyzer's inferred assertions be checked dynamically, a practical method that found 21 bugs in CiaoPP.