World Class University / Web Science Technology Korea Advanced Institute of Science / /
IndustryTerm
software system / large systems / randomized greedy algorithm / industrial systems / greedy set cover algorithm / sub-systems / set cover algorithm / greedy algorithm / wellknown effective greedy algorithm / synchronous reactive critical systems / Web Science Technology / real-world avionics systems / software engineering artifacts / embedded software / executable software specification / effectiveness using avionics systems / greedy set-coverage algorithm / operational systems / software testing / naive solution / software systems / appropriate tool / /
Organization
Stop Worrying About Fault Propagation and Love Mutation Testing Matt Staats Division / World Class University / National Science Foundation / National Research Foundation of Korea / National Aeronautics and Space Administration / Mats P.E. Heimdahl Department of Computer Science / Ministry of Education / University of Minnesota / Korea Advanced Institute of Science & Technology / /
Person
ASE E XAMPLE / SING I DEALIZED / Matt Staats / Gregory Gay / /
Position
representative / Display Window Manager / /
Product
NuSMV / Lustre / /
ProgrammingLanguage
Java / DC / C / Simulink / C++ / /
Technology
randomized greedy algorithm / greedy set-coverage algorithm / Java / set cover algorithm / greedy set cover algorithm / greedy algorithm / Technology of Korea / GUI / /