Original language | English |
---|---|
Title of host publication | Proceedings Third Workshop on Automated Verification of Critical Systems (AVoCS 2003, Southampton, UK, April 2-3, 2003), Technical Report DSSE-TR-2003-2 |
Editors | M. Leuschel, S. Gruner, S. Presti |
Place of Publication | Southampton, UK |
Publisher | University of Southampton |
Pages | 15-30 |
Publication status | Published - 2003 |
A probabilistic coverage for on-the-fly test generation algorithms
N. Goga
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review