Automated program repair using genetic programming and model checking

2016 ◽  
Vol 45 (4) ◽  
pp. 1066-1088 ◽  
Author(s):  
Zahra Zojaji ◽  
Behrouz Tork Ladani ◽  
Alireza Khalilian
Keyword(s):  
Model Checking ◽  
Genetic Programming ◽  
Automated Program Repair ◽  
Program Repair

Improved representation and genetic operators for linear genetic programming for automated program repair

2018 ◽  
Vol 23 (5) ◽  
pp. 2980-3006 ◽  
Author(s):  
Vinicius Paulo L. Oliveira ◽  
Eduardo Faria de Souza ◽  
Claire Le Goues ◽  
Celso G. Camilo-Junior
Keyword(s):  
Genetic Programming ◽  
Genetic Operators ◽  
Linear Genetic Programming ◽  
Automated Program Repair ◽  
Program Repair

scholarly journals Combining Genetic Programming and Model Checking to Generate Environment Assumptions

2021 ◽  
pp. 1-1
Author(s):  
Khouloud Gaaloul ◽  
Claudio Menghi ◽  
Shiva Nejati ◽  
Lionel Briand ◽  
Yago Isasi Parache
Keyword(s):  
Model Checking ◽  
Genetic Programming

scholarly journals Trident: Controlling Side Effects in Automated Program Repair

2021 ◽  
pp. 1-1
Author(s):  
Nikhil Parasaram ◽  
Earl T. Barr ◽  
Sergey Mechtaev
Keyword(s):  
Side Effects ◽  
Automated Program Repair ◽  
Program Repair

Refining Fitness Functions for Search-Based Automated Program Repair

2021 ◽  
pp. 159-165
Author(s):  
Giovani Guizzo ◽  
Aymeric Blot ◽  
James Callan ◽  
Justyna Petke ◽  
Federica Sarro
Keyword(s):  
Fitness Functions ◽  
Automated Program Repair ◽  
Program Repair
Sign in / Sign up

Export Citation Format

Share Document