Inspec keywords: software fault tolerance; program verification; program testing

Other keywords: SUT; impact parameter approach; code-aware combinatorial interaction testing; systematic sampling technique; CIT test suites; grey-box testing technique; black-box testing technique; software systems; test generation stage; testing technique; computationally complex problem; CIT tool; internal code structure

Subjects: Diagnostic, testing, debugging and evaluating systems; Software engineering techniques