Visible to the public Biblio

Filters: Author is Suzette Person  [Clear All Filters]
2015
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.