Tool-supported advanced mutation approach for verification of C# programs

A Derezinska, A Szustek - 2008 Third International Conference …, 2008 - ieeexplore.ieee.org
Mutation testing is a fault-based testing technique used to inject faults into an existing
program and see if its test suite is sensitive enough to detect common faults. We are …

Bytecode fault injection for Java software

S Ghosh, JL Kelly - Journal of Systems and Software, 2008 - Elsevier
Developers using third party software components need to test them to satisfy quality
requirements. In the past, researchers have proposed fault injection testing approaches in …

[PDF][PDF] Software Verification and Validation.

DC Kung, H Zhu - 2008 - Citeseer
Software verification and validation are software quality assurance activities that aim to
ensure that the software system is developed according to a development process and …