Using Genetic Programming for Software Reliability

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

@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