- title = "Dynamic Synthesis of Program Invariants using Genetic Programming",
- author = "Luigi Cardamone and Andrea Mocci and Carlo Ghezzi",
- pages = "617--624",
- booktitle = "Proceedings of the 2011 IEEE Congress on Evolutionary Computation",
- year = "2011",
- editor = "Alice E. Smith",
- month = "5-8 " # jun,
- address = "New Orleans, USA",
- organization = "IEEE Computational Intelligence Society",
- publisher = "IEEE Press",
- ISBN = "0-7803-8515-2",
- keywords = "genetic algorithms, genetic programming, SBSE, invariant formula, logic formulae, loop manipulating array, program comprehension, program in verification, statement execution, symbolic program manipulation, transformation rule, iterative methods, program verification, symbol manipulation",
-
URL = "
https://www.luigicardamone.it/bibtex.htm",
-
URL = "
https://www.luigicardamone.it/tesi-pubblicazioni/cardamone2011gp.pdf",
-
DOI = "
doi:10.1109/CEC.2011.5949677",
- size = "8 pages",
-
abstract = "In the field of software engineering, invariant
detection techniques have been proposed to overcome the
problem of software behaviour comprehension. If the
code of a program is available, combining symbolic and
concrete execution has been shown to provide an
effective method to derive logic formulae that describe
a program's behavior. However, symbolic execution does
not work very well with loops, and thus such methods
are not able to derive useful descriptions of programs
containing loops.
we present a preliminary approach that aims to integrate genetic programming to synthesise a logic formula that describes the behaviour of a loop. Such formula could be integrated in a symbolic execution based approach for invariant detection to synthesize a complex program behaviour. We present a specific representation of formulae that works well with loops manipulating arrays. The technique has been validated with a set of relevant examples with increasing complexity. The preliminary results are promising and show the feasibility of our approach.",
- notes = "CEC2011 sponsored by the IEEE Computational Intelligence Society, and previously sponsored by the EPS and the IET.",
