D. Beyer, A. Chlipala, T. Henzinger, R. Jhala, and R. Majumdar. Generating tests from counterexamples. In Proc. ICSE. IEEE, 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
An Eclipse Plug-in for Model Checking - Beyer, Henzinger, Jhala, Majumdar (2004) Self-citation (Beyer Henzinger Jhala Majumdar) (Correct)
No context found.
D. Beyer, A. Chlipala, T. Henzinger, R. Jhala, and R. Majumdar. Generating tests from counterexamples. In Proc. ICSE. IEEE, 2004.
An Eclipse Plug-in for Model Checking - Beyer, Henzinger, Jhala, Majumdar (2004) Self-citation (Beyer Henzinger Jhala Majumdar) (Correct)
No context found.
D. Beyer, A. Chlipala, T. Henzinger, R. Jhala, and R. Majumdar. Generating tests from counterexamples. In Proc. ICSE. IEEE, 2004.
Check 'n' Crash: Combining Static Checking and Testing - Csallner, Smaragdakis (2005) (Correct)
No context found.
D. Beyer, A. J. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar. Generating tests from counterexamples. In Proceedings of the 26th International Conference on Software Engineering, pages 326--335. IEEE Computer Society Press, May 2004.
Check 'n' Crash: Combining Static Checking and Testing - Csallner, Smaragdakis (Correct)
No context found.
D. Beyer, A. J. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar. Generating tests from counterexamples. In Proceedings of the 26th International Conference on Software Engineering, pages 326--335. IEEE Computer Society Press, May 2004.
Counterexample Guided Abstraction Refinement via Program.. - Kroening, Groce, Clarke (2004) (2 citations) (Correct)
No context found.
D. Beyer, A. Chlipala, T. Henzinger, R. Jhala, and R. Majumdar. Generating tests from counterexamples. In International Conference of Software Engineering, 2004. To appear.
Test Input Generation with Java PathFinder - Visser, Pasareanu, Khurshid (Correct)
No context found.
R. J. Adam J. Chlipala, Thomas A. Henzinger and R. Majumdar. Generating tests from counterexamples. In Proceedings of the 26th International Conference on Software Engineering (ICSE), Edinburgh, Scotland, May 2004.
Automatic Discovery of API-Level Vulnerabilities - Sanjit (Correct)
No context found.
D. Beyer, A. J. Chipala, T. A. Henzinger, R. Jhala, and R. Majumdar. Generating tests from counterexamples. In 26 International Conference on Software Engineering (ICSE), May 2004. To appear.
Generating Efficient Test Sets with a Model Checker - Hamon, de Moura, Rushby (2004) (Correct)
No context found.
Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Generating tests from counterexamples. In 26th International Conference on Software Engineering, Edinburgh, Scotland, May 2004. IEEE Computer Society.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC