- calculateUncoveredBranches
- createPathConstraints
Create path constraints for all tests in a test suite
- getCoveredBranches
Returns the set covered branches by this suite
- getFitness
- getNextBranchCondition
Get a new candidate for negation
- getNextTestBranchPair
- getStatement
Get the statement that defines this variable
- getVariables
Recursively determine constraints in expression
- hasNextBranchCondition
Check if there are further candidates for negation
- negateCondition
Generate new constraint and ask solver for solution
- reduce
Apply cone of influence reduction to constraints with respect to the last
constraint in the list
- updatePathConstraints
Calculate and store path constraints for an individual