Login / Signup
Graph based test case generation for TLM functional verification.
Mohammad Reza Kakoee
Mohammad Hossein Neishaburi
Siamak Mohammadi
Published in:
Microprocess. Microsystems (2008)
Keyphrases
</>
test case generation
functional verification
test cases
software testing
object oriented systems
test data generation
test suite
formal verification
java programs
object oriented
source code
software development
high speed
hardware software
real time
database
test generation