Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}