ANT—a test harness for the NELSIS CAD system
EURO-DAC '92 Proceedings of the conference on European design automation
Automated program flaw finding using simulated annealing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
A search-based automated test-data generation framework for safety-critical systems
Systems engineering for business process change
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Hi-index | 0.00 |