Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites
| Title | Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You |
| Conference Name | NASA Formal Methods - 7th International Symposium, NFM 2015 |
| Keywords | 1035715 |
| DOI | 10.1007/978-3-319-17524-9_20 |
| Citation Key | MurugesanWRTPHY15 |