Error Explanation with Distance Metrics-Reference-Cited by-同舟云学术

Error Explanation with Distance Metrics

Published:2004 Issue: Volume: Page:108-122
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Groce Alex

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24730-2_8

Reference25 articles.

1. http://www.cs.cmu.edu/~modelcheck/cbmc/

2. Aloul, F., Ramani, A., Markov, I., Sakallah, K.: PBS: A backtrack search pseudo Boolean solver. In: Symposium on the theory and applications of satisfiability testing (SAT), pp. 346–353 (2002)

3. Alpern, B., Wegman, M., Zadeck, F.: Detecting equality of variables in programs. In: Principles of Programming Languages, pp. 1–11 (1988)

4. Anderson, P., Teitelbaum, T.: Software inspection using codesurfer. In: Workshop on Inspection in Software Engineering (2001)

5. Ball, T., Naik, M., Rajamani, S.: From symptom to cause: Localizing errors in counterexample traces. In: Principles of Programming Languages, pp. 97–105 (2003)

Cited by 44 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Counterfactual Causality for Reachability and Safety based on Distance Functions;Electronic Proceedings in Theoretical Computer Science;2023-09-30

2. Constraint-based debugging in probabilistic model checking;Computing;2022-11-09

3. Model-Based Fault Classification for Automotive Software;Programming Languages and Systems;2022

4. Operational Causality – Necessarily Sufficient and Sufficiently Necessary;Lecture Notes in Computer Science;2022

5. From Verification to Explanation (Track Introduction);Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends;2021