Assertion-based Debugging of Imperative Programs by Abstract Interpretation

Authors:
François Bourdoncle
Affiliations:
-
Venue:
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
Year:
1993

Citing 0
Cited 2

Sufficient preconditions for modular assertion checking

VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Modular inference of subprogram contracts for safety checking

Journal of Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract