Synthesizing, correcting and improving code, using model checking-based genetic programming

被引:0
|
作者
Gal Katz
Doron Peled
机构
[1] Bar Ilan University,Department of Computer Science
关键词
Genetic programming; Model checking; Synthesis;
D O I
暂无
中图分类号
学科分类号
摘要
We show here how the use of genetic programming in combination of model checking provides a powerful way to synthesize programs. Whereas classical algorithmic synthesis provides alarming high complexity and undecidability results, the genetic approach provides a surprisingly successful heuristics. We describe several versions of a method for synthesizing sequential and concurrent systems. We show several examples where we used our approach to synthesize, improve and correct code.
引用
收藏
页码:449 / 464
页数:15
相关论文
共 50 条
  • [21] Automated program repair using genetic programming and model checking
    Zojaji, Zahra
    Ladani, Behrouz Tork
    Khalilian, Alireza
    [J]. APPLIED INTELLIGENCE, 2016, 45 (04) : 1066 - 1088
  • [22] A model checking-based approach for security policy verification of mobile systems
    Braghin, Chiara
    Sharygina, Natasha
    Barone-Adesi, Katerina
    [J]. FORMAL ASPECTS OF COMPUTING, 2011, 23 (05) : 627 - 648
  • [23] WAVer: A Model Checking-based Tool to Verify Web Application Design
    Castelluccia, D.
    Mongiello, M.
    Ruta, M.
    Totaro, R.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (01) : 61 - 76
  • [24] Probabilistic Model Checking-Based Survivability Analysis in Vehicle-to-Vehicle Networks
    Jin, Li
    Zhang, Guoan
    Wang, Jue
    [J]. CHINA COMMUNICATIONS, 2018, 15 (01) : 118 - 127
  • [25] MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming
    Katz, Gal
    Peled, Doron
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 359 - 364
  • [26] Towards a Probabilistic Model Checking-based Approach for Medical Device Risk Assessment
    Cicotti, Giuseppe
    Coronato, Antonio
    [J]. 2015 IEEE INTERNATIONAL SYMPOSIUM ON MEDICAL MEASUREMENTS AND APPLICATIONS (MEMEA) PROCEEDINGS, 2015, : 180 - 185
  • [27] A model checking-based approach for location query processing in pervasive computing environments
    Hoareau, Christian
    Satoh, Ichiro
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 2, PROCEEDINGS, 2007, 4806 : 866 - 875
  • [28] Probabilistic Model Checking-Based Service Selection Method for Business Process Modeling
    Gao, Honghao
    Chu, Danqi
    Duan, Yucong
    Yin, Yuyu
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2017, 27 (06) : 897 - 923
  • [29] Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation
    Chen, Mingsong
    Huang, Saijie
    Fu, Xin
    Liu, Xiao
    He, Jifeng
    [J]. IEEE TRANSACTIONS ON CLOUD COMPUTING, 2020, 8 (02) : 443 - 458
  • [30] Probabilistic Model Checking-Based Survivability Analysis in Vehicle-to-Vehicle Networks
    Li Jin
    Guoan Zhang
    Jue Wang
    [J]. China Communications, 2018, 15 (01) : 118 - 127