DIbugger is a debugging tool for analyzing counterexamples of relational properties by enabling simultaneous inspection of multiple related program executions.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Understanding Counterexamples for Relational Properties with DIbugger
DIbugger is a debugging tool for analyzing counterexamples of relational properties by enabling simultaneous inspection of multiple related program executions.