Jesús Gorroñogoitia Cruz

Support passing required extra Maven configuration to DSpot

2

#### Characteristics - **Issue Type**: feature - **Reproducibility**: always - **Severity**: feature - **Tool/Service/Component**: DSpot - **Execution Environment**: Linux - **Reporter**: Jesús Gorroñogoitia #### Description Atos UC Supersede IF module...

org.evosuite.runtime.TooManyResourcesException: Loop has been executed more times than the allowed 10000

11

#### Characteristics - **Issue Type**: test report - **Reproducibility**: always - **Severity**: major - **Tool/Service/Component**: Botsing-reproduction 1.0.8_SNAPSHOT - **Execution Environment**: CentOS 7 - **Reporter**: Jesús Gorroñogoitia #### Description Experiment running...

Botsing Behavioral model seeding seems not execute test cases in Atos UC Supersede IF

3

#### Characteristics - **Issue Type**: Test report - **Reproducibility**: Always - **Severity**: Minor - **Tool/Service/Component**: Botsing behavioral model seeding, 1.0.7 - **Execution Environment**: Linux CentOS 7 - **Reporter**: Jesús Gorroñogoitia...

Initial Botsing experiments with Atos Supersede IF component. No crash replicating tests are generated.

20

#### Characteristics - **Issue Type**: test report - **Reproducibility**: always - **Severity**: N/A - **Tool/Service/Component**: Botsing 1.0.0 - **Execution Environment**: CentOS7 - **Reporter**: Jesús Gorroñogoitia #### Description We have initially...