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
207 stars 106 forks source link

Is Astor's output deterministic? #300

Closed Amirfarhad-Nilizadeh closed 3 years ago

Amirfarhad-Nilizadeh commented 3 years ago

Are Astor outputs for jKali, jGenProg, jMutRepair, and Cardumen deterministic? Or the output validated patch can be different by each run (by using the same machine and test suite for each run with the Astor framework's default setting).

martinezmatias commented 3 years ago

In theory it should be deterministic. It provides an argument 'seed' to control the randon seed.

Amirfarhad-Nilizadeh commented 3 years ago

Thank you for your help.