Author:
Kumazawa Tsutomu,Tamai Tetsuo
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. In: POPL 2003, pp. 97–105 (2003)
2. Lecture Notes in Computer Science;I. Beer,2009
3. Chaki, S., Groce, A., Strichman, O.: Explaining abstract counterexamples. In: SIGSOFT 2004/FSE 12, pp. 73–82 (2004)
4. Lecture Notes in Computer Science;E.M. Clarke,2008
5. Clarke, E.M.J., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A systematic literature review on counterexample explanation;Information and Software Technology;2022-05
2. Dynamic Causes for the Violation of Timed Reachability Properties;Lecture Notes in Computer Science;2020
3. Specification and inference of trace refinement relations;Proceedings of the ACM on Programming Languages;2019-10-10
4. Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness?;2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST);2019-04
5. Causality for General LTL-definable Properties;Electronic Proceedings in Theoretical Computer Science;2019-01-03