Speeding up the proof strategy in formal software verification
Created by W.Langdon from
gp-bibliography.bib Revision:1.7970
- @InProceedings{Wagner:2016:GI,
-
author = "Markus Wagner",
-
title = "Speeding up the proof strategy in formal software
verification",
-
booktitle = "Genetic Improvement 2016 Workshop",
-
year = "2016",
-
editor = "Justyna Petke and David R. White and Westley Weimer",
-
pages = "1137--1138",
-
address = "Denver",
-
publisher_address = "New York, NY, USA",
-
month = jul # " 20-24",
-
organisation = "SIGEvo",
-
publisher = "ACM",
-
keywords = "genetic algorithms, genetic programming, Genetic
Improvement, SBSE, Formal software verification,
runtime improvement",
-
URL = "http://cs.adelaide.edu.au/~markus/pub/2016-gecco-gi-verification.pdf",
-
URL = "http://geneticimprovementofsoftware.com/wp-content/uploads/2016/06/Speeding-up-the-Proof_Strategy_in_Formal_Software_Verification.pdf",
-
DOI = "doi:10.1145/2908961.2931690",
-
size = "2 pages",
-
abstract = "The functional correctness of safety- and
security-critical software is of utmost importance.
Nowadays, this can be achieved through computer
assisted verification. While formal verification itself
typically poses a steep learning-curve for anyone who
wants to apply it, its applicability is further
hindered by its (typically) low runtime
performance.
With the increasing popularity of algorithm parameter
tuning and genetic improvement, we see a great
opportunity for assisting verification engineers in
their daily tasks.",
-
notes = "KeY, JML Java Modelling Language, JavaDL. GIT history
magic numbers.
GECCO-2016 Workshop
http://geneticimprovementofsoftware.com/",
- }
Genetic Programming entries for
Markus Wagner
Citations