| 
|
QuoteRef: ballT1_2003
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references a-b
Topic:
error messages
Topic:
model checker
Topic:
code optimization by flow analysis
Reference
Ball, T., Naik, M., Rajamani, S.K., "From symptom to cause: localizing errors in counterexample traces", Conference Record of POPL 2003: The 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 2003, ACM, pp. 97-105. Google
;97 ;;Quote: using correct traces to identify the cause of multiple, erroneous traces of a model checker
;98 ;;Quote: efficient algorithms to compute the correct traces of a model checker; linear in size of state space
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references a-b (396 items)
Topic: error messages (37 items)
Topic: model checker (49 items)
Topic: code optimization by flow analysis (45 items)