org.evosuite.symbolic

Class ConcolicExecution

java.lang.Object

org.evosuite.symbolic.ConcolicExecution

public abstract class ConcolicExecution
extends Object

ConcolicExecution class.

Author:

Gordon Fraser

Constructor Summary

Constructors

Constructor and Description
ConcolicExecution()

Method Summary

Modifier and Type	Method and Description
static List<BranchCondition>	executeConcolic(DefaultTestCase defaultTestCase)
static List<BranchCondition>	getSymbolicPath(TestChromosome test) Retrieve the path condition for a given test case

Methods inherited from class java.lang.Object

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

Constructor Detail

ConcolicExecution

public ConcolicExecution()

Method Detail

getSymbolicPath

public static List<BranchCondition> getSymbolicPath(TestChromosome test)

Retrieve the path condition for a given test case

Parameters:

test - a TestChromosome object.

Returns:

a List object.

executeConcolic

public static List<BranchCondition> executeConcolic(DefaultTestCase defaultTestCase)