Subject
Computer Science Applications,Information Systems,Software
Reference66 articles.
1. E.M. Clarke, S. Jha, Y. Lu, H. Veith, Tree-like counterexamples in model checking, in: 17th IEEE Symposium on Logic in Computer Science (LICS), 2002, pp. 19–29.
2. A. Gurfinkel, M. Chechik, Proof-like counter-examples, in: 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2003, pp. 160–175.
3. M. Chechik, A. Gurfinkel, A framework for counterexample generation and exploration, in: 8th International Conference on Fundamental Approaches to Software Engineering (FASE), 2005, pp. 220–236.
4. R. Meolic, A. Fantechi, S. Gnesi, Witness and counterexample automata for ACTL, in: 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), 2004, pp. 259–275.
5. F. Pu, Y. Zhang, Localizing program errors via slicing and reasoning, in: 11th IEEE High Assurance Systems Engineering Symposium (HASE), 2008, pp. 187–196.