Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Physical Sciences and Mathematics
Optimizing Constraint Selection In A Design Verification Environment For Efficient Coverage Closure, Vanessa Cooper
Optimizing Constraint Selection In A Design Verification Environment For Efficient Coverage Closure, Vanessa Cooper
CCE Theses and Dissertations
No abstract provided.
Increasing Software Reliability Using Mutation Testing And Machine Learning, Michael Allen Stewart
Increasing Software Reliability Using Mutation Testing And Machine Learning, Michael Allen Stewart
CCE Theses and Dissertations
Mutation testing is a type of software testing proposed in the 1970s where program statements are deliberately changed to introduce simple errors so that test cases can be validated to determine if they can detect the errors. The goal of mutation testing was to reduce complex program errors by preventing the related simple errors. Test cases are executed against the mutant code to determine if one fails, detects the error and ensures the program is correct. One major issue with this type of testing was it became intensive computationally to generate and test all possible mutations for complex programs.
This …