A probabilistic coverage for on-the-fly test generation algorithms

N. Goga

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

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

Cite this

@inproceedings{40a0707333a84bcebd4a63fd8f1bda4b,

title = "A probabilistic coverage for on-the-fly test generation algorithms",

author = "N. Goga",

year = "2003",

language = "English",

pages = "15--30",

editor = "M. Leuschel and S. Gruner and S. Presti",

booktitle = "Proceedings Third Workshop on Automated Verification of Critical Systems (AVoCS 2003, Southampton, UK, April 2-3, 2003), Technical Report DSSE-TR-2003-2",

publisher = "University of Southampton",

}

A probabilistic coverage for on-the-fly test generation algorithms. / Goga, N.

Proceedings Third Workshop on Automated Verification of Critical Systems (AVoCS 2003, Southampton, UK, April 2-3, 2003), Technical Report DSSE-TR-2003-2. ed. / M. Leuschel; S. Gruner; S. Presti. Southampton, UK : University of Southampton, 2003. p. 15-30.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A probabilistic coverage for on-the-fly test generation algorithms

AU - Goga, N.

PY - 2003

Y1 - 2003

M3 - Conference contribution

SP - 15

EP - 30

BT - Proceedings Third Workshop on Automated Verification of Critical Systems (AVoCS 2003, Southampton, UK, April 2-3, 2003), Technical Report DSSE-TR-2003-2

A2 - Leuschel, M.

A2 - Gruner, S.

A2 - Presti, S.

PB - University of Southampton

CY - Southampton, UK

ER -