Login / Signup
Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces.
Anvesh Komuravelli
Srobona Mitra
Ansuman Banerjee
Pallab Dasgupta
Published in:
Asian Test Symposium (2011)
Keyphrases
</>
discrete event simulation
formal models
formal language
meta level
mathematical model
simulation environment
qualitative simulation
knowledge representation
desirable properties
forward and backward
data sets
case study
source code
simulation model
reasoning process
forward backward