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

被引：0
|
作者：
Gal Katz
Doron Peled
机构：
[1] Bar Ilan University,Department of Computer Science
来源：
International Journal on Software Tools for Technology Transfer | 2017年 / 19卷
关键词：
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 条
  • [1] Synthesizing, correcting and improving code, using model checking-based genetic programming
    Katz, Gal
    Peled, Doron
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (04) : 449 - 464
  • [2] Model checking-based genetic programming with an application to mutual exclusion
    Katz, Cal
    Peled, Doren
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 141 - 156
  • [3] Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming
    Katz, Gal
    Peled, Doron
    [J]. HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, 2011, 6405 : 117 - 132
  • [4] Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
    Katz, Gal
    Peled, Doron
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 33 - 47
  • [5] Model Checking-Based Testing of Web Applications
    ZENG Hongwei
    [J]. Wuhan University Journal of Natural Sciences, 2007, (05) : 922 - 926
  • [6] Optimization of model checking-based test generation
    Zeng, Hongwei
    Miao, Huaikou
    [J]. Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2011, 23 (03): : 496 - 502
  • [7] Model checking-based verification of Web application
    Miao, Huaikou
    Zeng, Hongwei
    [J]. 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 47 - +
  • [8] Genetic programming with fitness based on model checking
    Johnson, Colin G.
    [J]. GENETIC PROGRAMMING, PROCEEDINGS, 2007, 4445 : 114 - 124
  • [9] Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking
    Bu, Lei
    Peled, Doron
    Shen, Dachuan
    Zhuang, Yuan
    [J]. MODEL CHECKING SOFTWARE, SPIN 2018, 2018, 10869 : 275 - 291
  • [10] Configuration checking-based parallel model counting method
    Li, Zhuang
    Liu, Lei
    Zhang, Tong-Bo
    Lyu, Shuai
    [J]. Jilin Daxue Xuebao (Gongxueban)/Journal of Jilin University (Engineering and Technology Edition), 2020, 50 (04): : 1443 - 1448
12345