issues
search
SpoonLabs
/
astor
Automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
https://hal.archives-ouvertes.fr/hal-01321615/document
GNU General Public License v2.0
203
stars
107
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
some questions about defects4j when using astor
#372
HautGoduU
closed
1 month ago
0
Selection of the execution time: selective or evolutive
#371
martinezmatias
opened
4 months ago
0
Issue with running jGenprog with bug from defects4j
#370
Fibien
opened
4 months ago
5
Warnings when creating maven project
#369
Fibien
closed
4 months ago
3
I can't find this jar when I run mvn clean compile in Ubuntu, and I can't find this Jar on the Internet. Can you provide the source of this jar?
#368
xuxiaolin11
opened
6 months ago
1
Docker : APR mode change !
#367
ShifatSahariar
opened
8 months ago
0
add explanation about no source code generated
#366
ruizhengu
closed
9 months ago
1
Can not produce source code repairs
#365
ruizhengu
closed
9 months ago
4
update flacoco to 1.0.6
#364
andre15silva
opened
1 year ago
0
Issues when testing DeepRepair
#363
SNielebock
opened
1 year ago
0
Fix Windows-compatibility
#362
zaricu22
opened
1 year ago
0
Cardumen Configuration
#361
VidmS
opened
1 year ago
2
Added Figra publication
#360
alcides
closed
1 year ago
1
PROBLEM WITH ASTOR CONFIGURATION: The type javax.annotation.Nullable cannot be resolved.
#359
juliamanfrindias
opened
2 years ago
0
ERROR - ERROR MutationSupporter - HttpServlet cannot be resolved to a type
#358
juliamanfrindias
opened
2 years ago
0
ERROR - ERROR MutationSupporter - Pb(324) The type javax.annotation.Nullable cannot be resolved.
#357
juliamanfrindias
opened
2 years ago
4
Fixing D4j CI
#356
martinezmatias
closed
2 years ago
0
About output_astor.json file.
#355
jianghc2116
closed
2 years ago
1
CI failing due to use of another test driver
#354
martinezmatias
opened
2 years ago
1
Fix NovelGZoltar
#353
andre15silva
closed
2 years ago
1
bump flacoco to 1.0.4
#352
andre15silva
closed
2 years ago
0
Failed to execute goal on project astor: Could not resolve dependencies for project org.inria.sacha.automaticRepair:astor:jar:2.0.0: Failed to collect dependencies at com.gzoltar:gzoltar:jar:0.1.1
#351
Mirijam1
closed
2 years ago
3
Improve the format of generated patches
#350
martinezmatias
opened
2 years ago
0
Questions about TIBRA
#349
jianghc2116
closed
2 years ago
2
Questions about Cardumen tool.
#348
zqxyus
closed
2 years ago
1
WIP - Astor should terminate early if we don't have the full classpath of the project under repair -
#347
cokefh
closed
1 year ago
0
"End Repair Search: NOT Found solution" even in case of provided examples.
#346
rajdeep-biswas
opened
2 years ago
1
Document option --autoconfigure
#345
monperrus
opened
2 years ago
0
Astor should terminate early if we don't have the full classpath of the project under repair
#344
monperrus
opened
2 years ago
1
How do I run bugs that are not in the examples folder?
#343
juliamanfrindias
opened
2 years ago
0
Unrepaired bugs
#342
martinezmatias
opened
2 years ago
1
Math-84 jGenProg repaired with Gzoltar, not with Flacoco
#341
martinezmatias
opened
2 years ago
0
issue #338: replicating inria CI on Github actions (running on Java 11)
#340
martinezmatias
closed
2 years ago
0
fixing issue 338: removing precondition that checks the jre into the jvm
#339
martinezmatias
closed
2 years ago
0
CI on Spoon SOS
#338
monperrus
closed
2 years ago
16
Bump jacoco-maven-plugin to 0.8.7
#337
andre15silva
closed
2 years ago
0
Add `java.*` to flacoco's exclude pattern
#336
andre15silva
closed
2 years ago
1
chore: update test resource to work with Java 11
#335
monperrus
closed
2 years ago
0
Incorrect operation on Chart-3, Chart-7, Chart-15
#334
martinezmatias
opened
2 years ago
0
Release new version
#333
andre15silva
closed
2 years ago
4
-faultlocalization cocospoon
#332
KwanghoKim
closed
2 years ago
4
ERROR: time example
#331
KwanghoKim
opened
2 years ago
0
includes plugin in usage
#330
JakkuSakura
closed
2 years ago
3
keepcomments optionally
#329
JakkuSakura
closed
2 years ago
4
Incorrect process of `java_home`
#328
JakkuSakura
closed
2 years ago
3
Could not build astor because of use of http in newer maven
#327
JakkuSakura
opened
2 years ago
3
Move CI to Actions
#326
andre15silva
opened
2 years ago
0
Enable testing in Github Actions
#325
andre15silva
closed
2 years ago
6
gcd example - Astor finds a solution, however continues to generate more variants
#324
ssk1216
opened
2 years ago
0
Flacoco support
#323
andre15silva
closed
2 years ago
9
Next