@inproceedings{TRI-Ada-1993-KoehnemannL,
	author        = "Harry Koehnemann and Timothy E. Lindquist",
	booktitle     = "{Conference Proceedings on TRI-Ada 1993}",
	doi           = "10.1145/170657.170742",
	pages         = "288--298",
	publisher     = "{ACM}",
	title         = "{Towards Target-Level Testing and Debugging Tools for Embedded Software}",
	year          = 1993,
}