Philadelphia / Recherche / Hyderabad / New York / /
Company
IEEE Press / Ubiquitous Systems / Oracle / Digital Aviation Systems / /
Country
United States / Luxembourg / /
Currency
pence / USD / / /
Facility
Engineering University of Minnesota / Trust University / /
IndustryTerm
software engineering / search method / search-based test-generation approaches / software domain / automated test generation tools / search-based test generation tools / Search-based data-flow test generation / automatic test generation tools / search-based test generation approaches / search-based test generation methods / search strategy / avionics systems / e.g. web testing vs / satellite software / search-based optimization algorithms / search algorithm / search-based test generation / software testing / search-based techniques / Search-based test generation algorithms / automated software / /
Organization
‡Interdisciplinary Centre for Security / National Science Foundation / Department of Computer Science / National Aeronautics and Space Administration / University of Minnesota / Security / Reliability and Trust University / /
Person
Michael W. Whalen / Gregory Gay / Matt Staats / /
Position
General / /
ProgrammingLanguage
DC / /
ProvinceOrState
New York / /
PublishedMedium
IEEE Transactions on Software Engineering / THE CENTRAL QUESTION Advances / Journal of Systems and Software / la Recherche / /
Moving the Goalposts: Coverage Satisfaction Is Not Enough∗ Gregory Gay∗, Matt Staats‡, Michael W. Whalen∗, and Mats P.E. Heimdahl∗ ∗Department of Computer Science & Engineering University of Minnesota, USA