Visible to the public Biblio

Filters: Author is Gregory Gay  [Clear All Filters]
2018-05-23
Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay.  2015.  Efficient observability-based test generation by dynamic symbolic execution. 26th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2015. :228–238.
Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl.  2014.  Steering model-based oracles to admit real program behaviors. 36th International Conference on Software Engineering, {ICSE} '14, Companion Proceedings. :428–431.
Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl.  2014.  Improving the accuracy of oracle verdicts through automated model steering. {ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14. :527–538.