(TeX-add-style-hook
 "references"
 (lambda ()
   (LaTeX-add-bibitems
    "10.1007/3-540-60117-1_16"
    "Chen:2013:TCF:2499370.2462173"
    "Lidbury:2015:MCF:2813885.2737986"
    "Godefroid:2008:GWF:1379022.1375607"
    "Le:2015:FDC:2858965.2814319"
    "Yang:2011:FUB:1993316.1993532"
    "Miller:1990:ESR:96267.96279"
    "laeufer2018rfuzz"
    "braibant2013formal"))
 :bibtex)