Login / Signup
Enhanced Equivalence Checking: Toward a Solidarity of Functional Verification and Manufacturing Test Generation.
Jayanta Bhadra
Narayanan Krishnamurthy
Magdy S. Abadir
Published in:
IEEE Des. Test Comput. (2004)
Keyphrases
</>
test generation
functional verification
test cases
design automation
quality assurance
static analysis
test sequences
quality control
symbolic execution
manufacturing systems
software testing
formal verification
database
software development
case study
open source