Pex–White Box Test Generation for .NET
Top Cited Papers
- 1 January 2008
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- The Daikon system for dynamic detection of likely invariantsScience of Computer Programming, 2007
- JPF–SE: A Symbolic Execution Extension to Java PathFinderPublished by Springer Science and Business Media LLC ,2007
- Compositional dynamic test generationPublished by Association for Computing Machinery (ACM) ,2007
- EXEPublished by Association for Computing Machinery (ACM) ,2006
- From daikon to agitatorPublished by Association for Computing Machinery (ACM) ,2006
- DARTACM SIGPLAN Notices, 2005
- Assertion-oriented automated test data generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A dynamic approach of test data generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Extended static checking for JavaPublished by Association for Computing Machinery (ACM) ,2002
- Symbolic execution and program testingCommunications of the ACM, 1976