Speeding up the proof strategy in formal software verification

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

  author =       "Markus Wagner",
  title =        "Speeding up the proof strategy in formal software
  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

                 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

Genetic Programming entries for Markus Wagner