S. Khurshid, C. Pasareanu, and W. Visser. "Generalized Symbolic Execution for Model Checking and Testing", Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), Warsaw, Poland, April 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
TestEra: Specification-based Testing of Java Programs Using SAT - Sarfraz Khurshid And (2004) (1 citation) Self-citation (Khurshid) (Correct)
No context found.
Sarfraz Khurshid, Corina Pasareanu, and Willem Visser. Generalized symbolic execution for model checking and testing. In Proc. 9th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), Warsaw, Poland, April 2003.
Test Input Generation with Java PathFinder - Visser, Pasareanu, Khurshid Self-citation (Khurshid Visser) (Correct)
No context found.
S. Khurshid, C. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proc. 9th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), Warsaw, Poland, April 2003.
Verifying Time Partitioning in the DEOS Scheduling Kernel - Penix, Visser, Park, al. (2004) Self-citation (As Visser) (Correct)
No context found.
S. Khurshid, C. S. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proc. of TACAS 2003, volume 2619 of LNCS. Springer-Verlag, April 2003.
Verification of Java Programs using Symbolic Execution and.. - Pasareanu, Visser (2004) Self-citation (As Visser) (Correct)
No context found.
S. Khurshid, C. S. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proc. TACAS, 2003.
Heuristics for Model Checking Java Programs - Groce, Visser (2002) (7 citations) Self-citation (Visser) (Correct)
No context found.
S. Khurshid, C. S. Pasareanu, and W. Visser. Generalized Symbolic Execution for Model Checking and Testing. To appear in Tools and Algorithms for Construction and Analysis of Systems, 2003.
Auto-generating Test Sequences Using Model Checkers: .. - Heimdahl.. (2003) (2 citations) Self-citation (Visser) (Correct)
No context found.
S. Khurshid, C. S. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Warsaw, Poland, April 2003.
S.M. Computer Science - Massachusetts Institute Of (Correct)
No context found.
S. Khurshid, C. Pasareanu, and W. Visser. "Generalized Symbolic Execution for Model Checking and Testing", Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), Warsaw, Poland, April 2003.
EXE: A System for Automatically Generating Inputs of.. - Cadar, Twohey.. (2006) (Correct)
No context found.
S. Khurshid, C. S. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2003.
Unknown - (Correct)
No context found.
Sarfraz Khurshid, Corina Pasareanu, and Willem Visser. Generalized symbolic execution for model checking and testing. In Proc. 9th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), Warsaw, Poland, April 2003.
Generating Tests from Counterexamples - Beyer, Chlipala, Henzinger.. (2004) (6 citations) (Correct)
No context found.
S. Khurshid, C. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proc. TACAS, LNCS 2619, pages 553--568. Springer, 2003.
EAGLE Monitors by Collecting Facts and Generating.. - Barringer, Goldberg.. (2003) (Correct)
No context found.
S. Khurshid, C. S. Pasareanu, and W. Visser. Generalized Symbolic Execution for Model Checking and Testing. In Proceedings of TACAS 2003. Warsaw, Poland., April 2003. 13
Generating Tests from Counterexamples - Beyer, Chlipala, Henzinger.. (2004) (6 citations) (Correct)
No context found.
S. Khurshid, C. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proc. TACAS, LNCS 2619, pages 553--568. Springer, 2003.
Generating Tests from Counterexamples - Beyer, Chlipala, Henzinger.. (2004) (6 citations) (Correct)
No context found.
S. Khurshid, C. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proc. TACAS, LNCS 2619, pages 553--568. Springer, 2003.
EAGLE Monitors by Collecting Facts and Generating.. - Barringer, Goldberg.. (2003) (Correct)
No context found.
S. Khurshid, C. S. Pasareanu, and W. Visser. Generalized Symbolic Execution for Model Checking and Testing. In Proceedings of TACAS 2003. Warsaw, Poland., April 2003.
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