Using Genetic Programming for Software Reliability

Created by W.Langdon from gp-bibliography.bib Revision:1.3872

@InProceedings{Peled:2016:RV,
  author =       "Doron Peled",
  title =        "Using Genetic Programming for Software Reliability",
  booktitle =    "Proceedings of the 16th International Conference on
                 Runtime Verification: RV 2016",
  year =         "2016",
  editor =       "Ylies Falcone and Cesar Sanchez",
  volume =       "10012",
  series =       "Lecture Notes in Computer Science",
  pages =        "116--131",
  address =      "Madrid, Spain",
  month =        sep # " 23-30",
  publisher =    "Springer",
  keywords =     "genetic algorithms, genetic programming",
  isbn13 =       "978-3-319-46982-9",
  DOI =          "doi:10.1007/978-3-319-46982-9_8",
  size =         "16 pages",
  abstract =     "Software reliability methods, such as testing and
                 model checking, are well integrated into the software
                 development process. They are complemented by safety
                 enforcement mechanisms such as run time verification.
                 However, even with a wealth of techniques and
                 methodologies for developing reliable systems, it is
                 still quite challenging to eliminate all the bugs from
                 software systems. One of the reasons is the magnitude
                 of software systems, having to handle a very large
                 number of use cases and possible interactions with an
                 environment or between concurrent components. Genetic
                 algorithms and programming provide a powerful heuristic
                 search that involves randomization based on operators
                 that simulate natural reproduction. We show various
                 ways where genetic algorithms and programming can be
                 integrated with formal methods to enhance software
                 reliability.",
}

Genetic Programming entries for Doron A Peled

Citations