Automatic Test Generation for Coverage Analysis Using CBMC
- 1 January 2009
- 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 10 references indexed in Scilit:
- Parameterized Unit Testing with PexLecture Notes in Computer Science, 2008
- Pex–White Box Test Generation for .NETLecture Notes in Computer Science, 2008
- Parameterized unit testsPublished by Association for Computing Machinery (ACM) ,2005
- DARTPublished by Association for Computing Machinery (ACM) ,2005
- TestEra: Specification-Based Testing of Java Programs Using SATAutomated Software Engineering, 2004
- A Tool for Checking ANSI-C ProgramsLecture Notes in Computer Science, 2004
- An Extensible SAT-solverLecture Notes in Computer Science, 2004
- A micromodularity mechanismPublished by Association for Computing Machinery (ACM) ,2001
- A Practical Approach to Coverage in Model CheckingLecture Notes in Computer Science, 2001
- Efficiently computing static single assignment form and the control dependence graphACM Transactions on Programming Languages and Systems, 1991