org.evosuite.symbolic

Class ConcolicMutation

java.lang.Object

org.evosuite.symbolic.ConcolicMutation

public class ConcolicMutation
extends Object

ConcolicMutation class.

Author:

Gordon Fraser

Field Summary

Fields

Modifier and Type	Field and Description
protected static org.slf4j.Logger	logger

Constructor Summary

Constructors

Constructor and Description
ConcolicMutation()

Method Summary

Modifier and Type	Method and Description
static TestCase	negateCondition(List<BranchCondition> pathCondition, BranchCondition targetCondition, TestCase test) Generate new constraint and ask solver for solution

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

logger

protected static final org.slf4j.Logger logger

Constructor Detail

ConcolicMutation

public ConcolicMutation()

Method Detail

negateCondition

public static TestCase negateCondition(List<BranchCondition> pathCondition,
                                       BranchCondition targetCondition,
                                       TestCase test)

Generate new constraint and ask solver for solution

Parameters:

pathCondition -

targetCondition - a BranchCondition object.

test - a TestCase object.

Returns:

a TestCase object.