SETTE-Testing sette-tool issues - Githubissues

SETTE-Testing / sette-tool

Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)

Apache License 2.0

11 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Old link of jpf is not avaliable.

#13 Mercy7777777 opened 2 years ago
0
Specify the Shadow version to avoid failure in the building

#12 Mercy7777777 closed 2 years ago
2
A tutorial on the use of SETTE

#11 LuisaLiu opened 4 years ago
1
Consolidate experiment scripts

#10 micskeiz closed 8 years ago
1
Randoop: add runner parameter for filtering out tests that do not call SUT

#9 micskeiz opened 8 years ago
0
Parser: new, unhandled error for EvoSuite (ERROR JUnitAnalyzer - Compilation failed on compilation units)

#8 micskeiz closed 8 years ago
2
Parser: new, unhandled error for EvoSuite (RemoteException occurred in server thread)

#7 micskeiz closed 8 years ago
2
Parser: new, unhandled error for EvoSuite (Unprivileged thread cannot add a privileged thread)

#6 micskeiz closed 8 years ago
2
The Bash and PowerShell experiment scripts use different naming for log files

#5 micskeiz opened 8 years ago
0
Move the experiments scripts in a separate experiments folder

#4 micskeiz opened 8 years ago
0
Build error with performance-time tests due to snippet-lib

#3 micskeiz closed 8 years ago
5
Added missing applicationTask to the error message in String.format

#2 micskeiz closed 8 years ago
0
NullPointerException in interactive export-csv-batch task

#1 micskeiz closed 8 years ago
1