%0 Conference Paper %1 conf/esec/GargantiniH99 %A Gargantini, Angelo %A Heitmeyer, Constance L. %B ESEC / SIGSOFT FSE %D 1999 %E Nierstrasz, Oscar %E Lemoine, Michel %I Springer %K dblp %P 146-162 %T Using Model Checking to Generate Tests from Requirements Specifications. %U http://dblp.uni-trier.de/db/conf/esec/esec99.html#GargantiniH99 %V 1687 %@ 3-540-66538-2

@inproceedings{conf/esec/GargantiniH99, added-at = {2021-10-14T00:00:00.000+0200}, author = {Gargantini, Angelo and Heitmeyer, Constance L.}, biburl = {https://www.bibsonomy.org/bibtex/2da0d00d67c14941c240ad5be95990d75/dblp}, booktitle = {ESEC / SIGSOFT FSE}, crossref = {conf/esec/1999}, editor = {Nierstrasz, Oscar and Lemoine, Michel}, ee = {https://doi.org/10.1145/318774.318939}, interhash = {d5a5432bba9a4b77433c112064aa09bf}, intrahash = {da0d00d67c14941c240ad5be95990d75}, isbn = {3-540-66538-2}, keywords = {dblp}, pages = {146-162}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:14:45.000+0200}, title = {Using Model Checking to Generate Tests from Requirements Specifications.}, url = {http://dblp.uni-trier.de/db/conf/esec/esec99.html#GargantiniH99}, volume = 1687, year = 1999 }