Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser. Experiments with Test Case Generation and Runtime Analysis. In Egon Börger, Angelo Gargantini, Elvinia Riccobene, editors, Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Volume 2589 of Lecture Notes in Computer Science, pages 87-107, Springer, 2003. [doi]
@inproceedings{ArthoDGHLPRV03,
title = {Experiments with Test Case Generation and Runtime Analysis},
author = {Cyrille Artho and Doron Drusinsky and Allen Goldberg and Klaus Havelund and Michael R. Lowry and Corina S. Pasareanu and Grigore Rosu and Willem Visser},
year = {2003},
url = {http://link.springer.de/link/service/series/0558/bibs/2589/25890087.htm},
tags = {testing, analysis},
researchr = {https://researchr.org/publication/ArthoDGHLPRV03},
cites = {0},
citedby = {0},
pages = {87-107},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
editor = {Egon Börger and Angelo Gargantini and Elvinia Riccobene},
volume = {2589},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-00624-9},
}