Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/fates/HeimdahlRVDG03
%A Heimdahl, Mats Per Erik
%A Rayadurgam, Sanjai
%A Visser, Willem
%A Devaraj, George
%A Gao, Jimin
%B FATES
%D 2003
%E Petrenko, Alexandre
%E Ulrich, Andreas
%I Springer
%K dblp
%P 42-59
%T Auto-generating Test Sequences Using Model Checkers: A Case Study.
%U http://dblp.uni-trier.de/db/conf/fates/fates2003.html#HeimdahlRVDG03
%V 2931
%@ 3-540-20894-1
@inproceedings{conf/fates/HeimdahlRVDG03,
added-at = {2017-05-26T00:00:00.000+0200},
author = {Heimdahl, Mats Per Erik and Rayadurgam, Sanjai and Visser, Willem and Devaraj, George and Gao, Jimin},
biburl = {https://www.bibsonomy.org/bibtex/2a93b899aea31da0997623a598dae71ba/dblp},
booktitle = {FATES},
crossref = {conf/fates/2003},
editor = {Petrenko, Alexandre and Ulrich, Andreas},
ee = {https://doi.org/10.1007/978-3-540-24617-6_4},
interhash = {e0b1defb256d329ddc06c398d7f011bb},
intrahash = {a93b899aea31da0997623a598dae71ba},
isbn = {3-540-20894-1},
keywords = {dblp},
pages = {42-59},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T14:11:42.000+0200},
title = {Auto-generating Test Sequences Using Model Checkers: A Case Study.},
url = {http://dblp.uni-trier.de/db/conf/fates/fates2003.html#HeimdahlRVDG03},
volume = 2931,
year = 2003
}