Created by W.Langdon from gp-bibliography.bib Revision:1.8081
Secret Triangle program (100 percent repair impossible). Apple Talk (atalk) CVE-2009-3002. Underflow (underflow) CVE-2007-2875. CVE vulnerability database.
Hypertesting is testing for hyperproperties. A hyperproperty can only be expressed as a property of more than one execution of a program.
'HyperGI is the use of two independent test suites, one used to test correct program semantics and a hypertest suite used to measure information leakage.'
'run fuzzers to gather functional tests'. 'generate hypertests;' 'run GP-based repair to try to decrease leakage' Compare with AFL and LibFuzzer.
Multiple GP runs (pop=32 gens=50)
'binary search strategy was able to detect leaks for all three programs', fuzzing did not.
in some 'cases our tests became flaky' (eg deleted return statement)
'HyperGI was able to find patches semantically-equivalent to developer fixes. It found patches reducing leakage in all three programs.'
Also known as \cite{mesecan2021hypergi}
Iowa State University, Ames, Iowa, USA
https://conf.researchr.org/track/ase-2021/ase-2021-nier-track",
Genetic Programming entries for Ibrahim Mesecan Daniel Blackwell David Clark Myra B Cohen Justyna Petke