Visible to the public Biblio

Filters: Author is Dongjiang You  [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.
Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You.  2015.  Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites {NASA} Formal Methods - 7th International Symposium, {NFM} 2015. :279–294.