scholarly journals Model Checking-Based Genetic Programming with an Application to Mutual Exclusion

2008 ◽  
pp. 141-156 ◽  
Author(s):  
Gal Katz ◽  
Doron Peled
Keyword(s):  
Model Checking ◽  
Genetic Programming ◽  
Mutual Exclusion

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

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
Sign in / Sign up

Export Citation Format

Share Document