Mutant Counting for Operator Faults in Boolean Expression
Pravin Chandra, Kulvinder Singh, Yogesh Pal Singh · Software Quality Professional Magazine · 2009
Verification that a Boolean expression has been implemented without errors is essential for any software product, but even more so for safety-critical systems. A method is given for counting the number of mutants produced by mutation operators for seedi..