Explaining Counterexamples Using Causality-Reference-Cited by-同舟云学术

Explaining Counterexamples Using Causality

Published:2009 Issue: Volume: Page:94-108
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Beer Ilan,Ben-David Shoham,Chockler Hana,Orni Avigail,Trefler Richard

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02658-4_11

Reference32 articles.

1. Prosyd: Property-Based System Design (2005), http://www.prosyd.org/

2. Lecture Notes in Computer Science;R. Armoni,2003

3. Ball, T., Naik, M., Rajamani, S.: From symptom to cause: Localizing errors in counterexample traces. In: Proc. of POPL, pp. 97–105 (2003)

4. Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.: Explaining Counterexamples Using Causality. IBM technical report number H-0266, http://domino.watson.ibm.com/library/cyberdig.nsf/Home

5. Ben-David, S., Eisner, C., Geist, D., Wolfsthal, Y.: Model checking at IBM. FMSD 22(2), 101–108 (2003)

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

1. Counterexample classification;Software and Systems Modeling;2023-07-26

2. Finding Causally Different Tests for an Industrial Control System;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

3. Trace Diagnostics for Signal-Based Temporal Properties;IEEE Transactions on Software Engineering;2023-05-01

4. Improving Railway Safety: Human-in-the-loop Invariant Finding;Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems;2023-04-19

5. A Formalization of Heisenbugs and Their Causes;Software Engineering and Formal Methods;2023