botsing

botsing copied to clipboard

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...

jesus-gorronogoitia

NullPointerException and deadlock

3

#### Characteristics - **Issue Type**: bug - **Reproducibility**: always - **Severity**: block - **Tool/Service/Component**: Botsing 1.0.8-SNAPSHOT - **Execution Environment**: Ubuntu Linux 18.04 - **Reporter**: Pierre-Yves Gibello, [email protected] #### Description NullPointerException,...

gibello

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...

jesus-gorronogoitia

Log4j error when using Botsing

4

#### Characteristics - **Issue Type**: [bug, test report] - **Reproducibility**: [always] - **Severity**: [minor] - **Tool/Service/Component**: [Botsing, v1.0.3] - **Execution Environment**: [Ubuntu 18.04] - **Reporter**: [Mael Audren, [email protected]] #### Description...

MaelAudren

#### Characteristics - **Issue Type**: bug - **Reproducibility**: always - **Severity**: crash - **Tool/Service/Component**: Botsing maven plugin 1.0.8-SNAPSHOT - **Execution Environment**: Linux Ubuntu 18.04 - **Reporter**: Pierre-Yves Gibello, [email protected] ####...

gibello

#### Characteristics - **Issue Type**: [bug] - **Reproducibility**: [always] - **Severity**: [minor] - **Tool/Service/Component**: [Botsing maven plugin] - **Execution Environment**: [Ubuntu linux 18.04] - **Reporter**: [Pierre-Yves Gibello, [email protected]] #### Description...

gibello

Artifact could not be resolved by botsing maven plugin, but is there

5

#### Characteristics - **Issue Type**: [bug] - **Reproducibility**: [always] - **Severity**: [major] - **Tool/Service/Component**: [botsing maven plugin] - **Execution Environment**: [Ubuntu 18.04] - **Reporter**: [Pierre-Yves Gibello, [email protected]] #### Description Try...

gibello

Problem with the class loader when calling static class initialisation method

3

Running botsing-1.0.3 with ./dependencies containing all the jars of authzforce + all the deps I could get with maven dependency plugin: ``` java -jar /home/gibello/.m2/repository/eu/stamp-project/botsing-reproduction/1.0.3/botsing-reproduction-1.0.3.jar -crash_log /tmp/ex1.log -target_frame 4 -project_cp...

xdevroey