@article {12846,
	title = {Using formal specifications to support testing},
	journal = {ACM Computing Surveys},
	volume = {41},
	year = {2009},
	month = {2009/02/01/},
	pages = {1 - 76},
	isbn = {03600300},
	doi = {10.1145/1459352.1459354},
	url = {http://dl.acm.org/citation.cfm?id=1459352.1459354},
	author = {Hierons,Robert M. and Krause,Paul and L{\"u}ttgen,Gerald and Simons,Anthony J. H. and Vilkomir,Sergiy and Woodward,Martin R. and Zedan,Hussein 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}
}
