Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl. Steering model-based oracles to admit real program behaviors. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014. pages 428-431, ACM, 2014. [doi]
@inproceedings{GayRH14,
title = {Steering model-based oracles to admit real program behaviors},
author = {Gregory Gay and Sanjai Rayadurgam and Mats Per Erik Heimdahl},
year = {2014},
doi = {10.1145/2591062.2591120},
url = {http://doi.acm.org/10.1145/2591062.2591120},
researchr = {https://researchr.org/publication/GayRH14},
cites = {0},
citedby = {0},
pages = {428-431},
booktitle = {36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
editor = {Pankaj Jalote and Lionel C. Briand and André van der Hoek},
publisher = {ACM},
isbn = {978-1-4503-2768-8},
}