Using Genetic Programming for Software Reliability
Created by W.Langdon from
gp-bibliography.bib Revision:1.7885
- @Misc{Peled:2016:RVtutorial,
-
author = "Doron A. Peled",
-
title = "Using Genetic Programming for Software Reliability",
-
howpublished = "Tutorial The 16th International Conference on Runtime
Verification, September 23-30 2016, Madrid, Spain",
-
year = "2016",
-
month = "23-30 " # sep,
-
keywords = "genetic algorithms, genetic programming, model
checking",
-
URL = "
https://rv2016.imag.fr/wp-content/uploads/2016/09/Tutorial-Peled.pdf",
-
size = "95 slides",
-
abstract = "Formal methods, e.g., testing, runtime and offline
verification, can provide the means for manually or
automatically enhancing the reliability of programs
during the design, development, and even after the
system is deployed. Classical software reliability
methods are usually based on the theory of automata and
logic. As such, they are susceptible to known
theoretical bounds. For example, automatic verification
of finite state systems (model checking) requires
exponential time in the size of the system (and the the
temporal specification), and is undecidable for
parametric systems. Automatic synthesis of
correct-by-design systems is doubly exponential in time
in the size of the specification and undecidable for
concurrent systems.
In this tutorial, we will present several ways in which
ideas from genetic algorithms and genetic programming
can be applied to alleviate some of the inherent
restrictions of the classical software reliability
methods. These ideas are combined with testing and
formal verification methods in order to enhance
existing methods and create new software reliability
techniques.",
-
notes = "https://rv2016.imag.fr/?page_id=349 See also COW50
http://crest.cs.ucl.ac.uk/cow/50/",
- }
Genetic Programming entries for
Doron A Peled
Citations