Speeding up the proof strategy in formal software verification

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

@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