Advance-PCT-1.0
A novel Code transformation technique to guide test input generator
...It identifies the boolean expression and creates equivalent conditional branches with an empty body. These additional statements along with original program supplied into test executor to improve test data. It ensures that each atomic conditions have been invoked at least once true and once false. It is done to achieve higher MC/DC, because according to the definition of MC/DC it is required to achieve 100% condition coverage, which was not possible due to short-circuit evaluation by the compiler, due to which MC/DC was low and inadequate. ...