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 条
  • [41] Reducing Power in Error Correcting Code using Genetic Algorithm
    Lee, Heesung
    Sung, Joonkyung
    Kim, Euntai
    [J]. PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 19, 2007, 19 : 179 - 182
  • [42] Model checking-based software-FMEA: Assessment of fault tolerance and error detection mechanisms
    Molnár, Vince
    Majzik, István
    [J]. Periodica polytechnica Electrical engineering and computer science, 2017, 61 (02): : 132 - 150
  • [43] Combining Genetic Programming and Model Checking to Generate Environment Assumptions
    Gaaloul, Khouloud
    Menghi, Claudio
    Nejati, Shiva
    Briand, Lionel C.
    Parache, Yago Isasi
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2022, 48 (09) : 3664 - 3685
  • [44] Improving collusion resistance of error correcting code based multimedia fingerprinting
    He, S
    Wu, M
    [J]. 2005 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOLS 1-5: SPEECH PROCESSING, 2005, : 1029 - 1032
  • [45] STOCHASTIC PROGRAMMING MODEL BASED ON SYNTHESIZING EFFECT FUNCTION
    Zhou, Lei
    Li, Fa-Chao
    [J]. PROCEEDINGS OF 2009 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-6, 2009, : 2675 - 2679
  • [46] Improving Model-Based Genetic Programming for Symbolic Regression of Small Expressions
    Virgolin, M.
    Alderliesten, T.
    Witteveen, C.
    Bosman, P. A. N.
    [J]. EVOLUTIONARY COMPUTATION, 2021, 29 (02) : 211 - 237
  • [47] Genetic Programming-Based Code Generation for Arduino
    Ferrel, Wildor
    Alfaro, Luis
    [J]. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2020, 11 (11) : 538 - 549
  • [48] Improving Genetic Programming Based Symbolic Regression Using Deterministic Machine Learning
    Icke, Ilknur
    Bongard, Joshua C.
    [J]. 2013 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2013, : 1763 - 1770
  • [49] Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems
    Chen, Guangyao
    He, Peilin
    Wang, Ziqi
    Teng, Zixin
    Jiang, Zhihao
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2024, 247
  • [50] Improving Saturation-based Bounded Model Checking
    Darvas, Daniel
    Voros, Andras
    Bartha, Tamas
    [J]. ACTA CYBERNETICA, 2016, 22 (03): : 573 - 589
12345