Robert Kaiser committed [b284cb]

changed detection of end nodes in composite node

Robert Kaiser committed [0ad9a9]

added parameter description to a method

Robert Kaiser committed [644531]

changed replacement of initial states with conn...

Robert Kaiser committed [bb97c1]

changed replacement of final states with connec...

Robert Kaiser committed [424de1]

reformat only

Robert Kaiser committed [eb269b]

fixed boolean expression

Robert Kaiser committed [33af9f]

new field in VariableReferencer to remove unnec...

Robert Kaiser committed [e467ce]

reformat only

Robert Kaiser committed [39a17f]

removed instantiation of a validator in the val...

Robert Kaiser committed [1c52c7]

renamed variables; cleanup

Robert Kaiser committed [0596ce]

removed obsolete imports

Robert Kaiser committed [3d4d20]

renamed variables

Robert Kaiser committed [28512b]

reformat only

Robert Kaiser committed [54f9d1]

fixed some umlauts errors in comments (sonarqub...

Robert Kaiser committed [b1578c]

added tests for flattened state machines

Robert Kaiser committed [b474fb]

removed unnecessary getter method for TestCaseG...

Robert Kaiser committed [d360b1]

merged private and public flattenTestCaseGraph()

Robert Kaiser committed [e0d058]

replaced ObjectComparator.contains() with colle...

Robert Kaiser committed [054ffc]

renamed variables

Robert Kaiser committed [1051c1]

removed private field that was only set but nev...

Robert Kaiser committed [0598f3]

moved public method to the top; renamed remaini...

Robert Kaiser committed [cabd96]

switched objects for equals() call (sonarlint)

Robert Kaiser committed [8e6489]

added junit and simple tests

Robert Kaiser committed [a3ec70]

renamed variables

Robert Kaiser committed [920eea]

renamed methods and variables

Robert Kaiser committed [52435e]

removed obsolete import

Robert Kaiser committed [20a190]

added private constructor; renamed variable

Robert Kaiser committed [e9c2f6]

renamed variable

Robert Kaiser committed [a3beb6]

renamed variables; added comment

Robert Kaiser committed [a75c91]

renamed methods and variables

Robert Kaiser committed [c10d85]

changed randomness of integer and double values

Robert Kaiser committed [aa5547]

changed randomness of test goal sorting

Robert Kaiser committed [ee9f4b]

renamed method

Robert Kaiser committed [ff1bb7]

added two constructors

Robert Kaiser committed [aa9d9e]

refactoring

Robert Kaiser committed [33f017]

refactoring

Robert Kaiser committed [16fd5a]

removed two sysos

Robert Kaiser committed [9d7ab4]

refactoring

Robert Kaiser committed [c14ece]

removed obsolete import

Robert Kaiser committed [c85cdc]

refactoring

Robert Kaiser committed [bbf2db]

ignore sonar directory and properties file

Robert Kaiser committed [807aff]

refactoring with sonarlint

Robert Kaiser committed [999bc4]

refactoring

Robert Kaiser committed [fc6000]

moved eventsAreEquals() from TCGHelperClass to ...

Robert Kaiser committed [1722c7]

removed comments and sysos

Robert Kaiser committed [e99f95]

removed obsolete package net.sf.parteg.base.tes...

Robert Kaiser committed [41855e]

refactoring

Robert Kaiser committed [a448ca]

removed obsolete package net.sf.parteg.base.tes...

Robert Kaiser committed [3997ad]

added bin directory to .gitignore files

Robert Kaiser committed [73ab1f]

added qualifier to version

Robert Kaiser committed [599d1f]

replaced StringBuffer with StringBuilder

Robert Kaiser committed [46947b]

removed package net.sf.parteg.base.testcasetree...

Amin committed [75af1b]

convert SmTCG and Constraints to AMPL

Amin committed [b74ac1]

add support of state invariants

Amin committed [387c70]

Amin committed [f7d261]

Amin committed [660b26]

convert SmTCG to AMPL

Amin committed [b586d3]

Amin committed [f80ef4]

some sample model

Amin committed [fdddf7]

Amin committed [f40b0a]

Amin committed [2e1302]

Implementing Forward Search Algorithm (Incomplete)

Felix Kurth committed [89ad7c]

updated plugin to current Eclipse Version (Kepl...

Amin committed [2daab8]

one of the test case generation methods has bee...

Amin committed [afc407]

one of the test case generation method has been...

Stephan Weißleder committed [c76d88]

Amin committed [0b292b]

some sample model

Amin committed [53f4d4]

Amin committed [cadd16]

add support of state invariants

Amin committed [f5f764]

Amin committed [ca1938]

add support of state invariants

Amin committed [3da7a3]

test case generation using ampl model and relat...

Amin committed [41e4d7]

Amin committed [ccdba6]

Amin committed [4ab6fc]

JUnit test generation and Some Sample model

Amin committed [2fd8b0]

JUnit test generation and Some Sample model

Amin committed [b11daf]

one of the test case generation methods has bee...

Amin committed [a0dbb5]

Felix Kurth committed [93415f]

put bin folders back to ignore list.

Amin committed [8e7062]

Implementing Forward Search Algorithm (Incomplete)

Amin committed [4e9ebf]

Amin committed [93bcb3]

test case generation using ampl model and relat...

Amin committed [c2f133]

Amin committed [10e628]

add support of state invariants

Amin committed [f97ba7]

Amin committed [fba2e3]

JUnit test generation and Some Sample model

Amin committed [64ac46]

Amin committed [b3c5b6]

Amin committed [6eaaa6]

Amin committed [507ec8]

Amin committed [1682e7]

add support of multiple conditions for pre and ...

Amin committed [8df11b]

Amin committed [70f38e]

Sample Example

Amin committed [5af19a]

Amin committed [5a6cbc]

Amin committed [5fd9dd]

Amin committed [53edf9]

add support of multiple conditions for pre and ...

Amin committed [f990d4]

Amin committed [b86424]

Amin committed [4b472e]

add support of multiple conditions for pre and ...