Using genetic programming for software reliability

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations


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.

Original languageEnglish
Title of host publicationRuntime Verification - 16th International Conference, RV 2016, Proceedings
EditorsYliès Falcone, César Sánchez
PublisherSpringer Verlag
Number of pages16
ISBN (Print)9783319469812
StatePublished - 2016
Event16th International Conference on Runtime Verification, RV 2016 - Madrid, Spain
Duration: 23 Sep 201630 Sep 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10012 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference16th International Conference on Runtime Verification, RV 2016

Bibliographical note

Publisher Copyright:
© Springer International Publishing AG 2016.


Dive into the research topics of 'Using genetic programming for software reliability'. Together they form a unique fingerprint.

Cite this