Steering model-based oracles to admit real program behaviors
| Title | Steering model-based oracles to admit real program behaviors |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| Conference Name | 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings |
| Keywords | 1035715 |
| DOI | 10.1145/2591062.2591120 |
| Citation Key | GayRH14 |