Using genetic programming for software reliability

Doron Peled

doi:10.1007/978-3-319-46982-9_8

Using genetic programming for software reliability

Doron Peled

CS@BIU

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

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.

Original language	English
Title of host publication	Runtime Verification - 16th International Conference, RV 2016, Proceedings
Editors	Yliès Falcone, César Sánchez
Publisher	Springer Verlag
Pages	116-131
Number of pages	16
ISBN (Print)	9783319469812
DOIs	https://doi.org/10.1007/978-3-319-46982-9_8
State	Published - 2016
Event	16th International Conference on Runtime Verification, RV 2016 - Madrid, Spain Duration: 23 Sep 2016 → 30 Sep 2016

Publication series

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

Conference

Conference	16th International Conference on Runtime Verification, RV 2016
Country/Territory	Spain
City	Madrid
Period	23/09/16 → 30/09/16

Bibliographical note

Publisher Copyright:
© Springer International Publishing AG 2016.

Access to Document

10.1007/978-3-319-46982-9_8

Cite this

Peled, D. (2016). Using genetic programming for software reliability. In Y. Falcone, & C. Sánchez (Eds.), Runtime Verification - 16th International Conference, RV 2016, Proceedings (pp. 116-131). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10012 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-46982-9_8

@inproceedings{36fe38dbe90a429b93903c91e46d6d47,

title = "Using genetic programming for software reliability",

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.",

author = "Doron Peled",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; 16th International Conference on Runtime Verification, RV 2016 ; Conference date: 23-09-2016 Through 30-09-2016",

year = "2016",

doi = "10.1007/978-3-319-46982-9_8",

language = "אנגלית",

isbn = "9783319469812",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "116--131",

editor = "Yli{\`e}s Falcone and C{\'e}sar S{\'a}nchez",

booktitle = "Runtime Verification - 16th International Conference, RV 2016, Proceedings",

address = "גרמניה",

}

Peled, D 2016, Using genetic programming for software reliability. in Y Falcone & C Sánchez (eds), Runtime Verification - 16th International Conference, RV 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10012 LNCS, Springer Verlag, pp. 116-131, 16th International Conference on Runtime Verification, RV 2016, Madrid, Spain, 23/09/16. https://doi.org/10.1007/978-3-319-46982-9_8

Using genetic programming for software reliability. / Peled, Doron.
Runtime Verification - 16th International Conference, RV 2016, Proceedings. ed. / Yliès Falcone; César Sánchez. Springer Verlag, 2016. p. 116-131 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10012 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Using genetic programming for software reliability

AU - Peled, Doron

N1 - Publisher Copyright: © Springer International Publishing AG 2016.

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84990206443&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-46982-9_8

DO - 10.1007/978-3-319-46982-9_8

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84990206443

SN - 9783319469812

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 116

EP - 131

BT - Runtime Verification - 16th International Conference, RV 2016, Proceedings

A2 - Falcone, Yliès

A2 - Sánchez, César

PB - Springer Verlag

T2 - 16th International Conference on Runtime Verification, RV 2016

Y2 - 23 September 2016 through 30 September 2016

ER -

Peled D. Using genetic programming for software reliability. In Falcone Y, Sánchez C, editors, Runtime Verification - 16th International Conference, RV 2016, Proceedings. Springer Verlag. 2016. p. 116-131. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-46982-9_8

Using genetic programming for software reliability

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this