Improving the accuracy of oracle verdicts through automated model steering
Title | Improving the accuracy of oracle verdicts through automated model steering |
Publication Type | Conference Paper |
Year of Publication | 2014 |
Authors | Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
Conference Name | ACM/IEEE International Conference on Automated Software Engineering, ASE '14 |
Keywords | 1035715 |
DOI | 10.1145/2642937.2642989 |
Citation Key | GayRH14 |