Sign in
Fast Anti-Random (FAR) Test Generation to Improve the Quality of Behavioral Model Verification.
Tom Chen
Andre Bai
Amjad Hajjar
Anneliese Amschler Andrews
Charles Anderson
Published in:
J. Electron. Test. (2002)
Keyphrases
</>
test generation
behavioral model
quality assurance
test cases
symbolic execution
code coverage
design automation
software testing
static analysis
data sets
software engineering
intelligent agents
quality control
cognitive model