%0 Journal Article %1 journals/csur/HieronsBBCDDGHKKLSVWZ09 %A Hierons, Robert M. %A Bogdanov, Kirill %A Bowen, Jonathan P. %A Cleaveland, Rance %A Derrick, John %A Dick, Jeremy %A Gheorghe, Marian %A Harman, Mark %A Kapoor, Kalpesh %A Krause, Paul J. %A Lüttgen, Gerald %A Simons, Anthony J. H. %A Vilkomir, Sergiy A. %A Woodward, Martin R. %A Zedan, Hussein %D 2009 %J ACM Comput. Surv. %K %N 2 %P 9:1-9:76 %T Using formal specifications to support testing. %U http://dblp.uni-trier.de/db/journals/csur/csur41.html#HieronsBBCDDGHKKLSVWZ09 %V 41

@article{journals/csur/HieronsBBCDDGHKKLSVWZ09, added-at = {2023-12-14T16:28:52.000+0100}, author = {Hierons, Robert M. and Bogdanov, Kirill and Bowen, Jonathan P. and Cleaveland, Rance and Derrick, John and Dick, Jeremy and Gheorghe, Marian and Harman, Mark and Kapoor, Kalpesh and Krause, Paul J. and Lüttgen, Gerald and Simons, Anthony J. H. and Vilkomir, Sergiy A. and Woodward, Martin R. and Zedan, Hussein}, biburl = {https://www.bibsonomy.org/bibtex/2e11e949a07c5e2e3a4971709cf7aae10/admin}, ee = {https://www.wikidata.org/entity/Q56568345}, interhash = {f8a2f277211d4a4103d7f0dcf5488c98}, intrahash = {e11e949a07c5e2e3a4971709cf7aae10}, journal = {ACM Comput. Surv.}, keywords = {}, number = 2, pages = {9:1-9:76}, timestamp = {2023-12-14T16:28:52.000+0100}, title = {Using formal specifications to support testing.}, url = {http://dblp.uni-trier.de/db/journals/csur/csur41.html#HieronsBBCDDGHKKLSVWZ09}, volume = 41, year = 2009 }