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