scholarly journals Synthesis of Parametric Programs using Genetic Programming and Model Checking

2014 ◽  
Vol 140 ◽  
pp. 70-84 ◽  
Author(s):  
Gal Katz ◽  
Doron Peled
Keyword(s):  
Model Checking ◽  
Genetic Programming ◽  
Parametric Programs

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

scholarly journals Application of genetic programming and model checking for finite-state machine induction

2014 ◽  
Vol 4 (15) ◽  
pp. 123 ◽  
Author(s):  
Anatoly Abramovich Shalyto ◽  
Fedor Nikolaevich Tsarev ◽  
Kirill Victorovich Egorov
Keyword(s):  
Model Checking ◽  
Genetic Programming ◽  
Finite State Machine ◽  
State Machine ◽  
Finite State
Sign in / Sign up

Export Citation Format

Share Document