@misc{Sleurink2021,
  month = {June},
  year = {2021},
  author = {Matthias {Sleurink}},
  title = {Automatic Generation of Test Cases for VerCors Verification Cases Failing with Null Errors},
  url = {http://essay.utwente.nl/86828/},
}

{"_id":"hJYKtGMEczEZgpGPp","bibbaseid":"sleurink-automaticgenerationoftestcasesforvercorsverificationcasesfailingwithnullerrors-2021","author_short":["Sleurink, M."],"bibdata":{"bibtype":"misc","type":"misc","month":"June","year":"2021","author":[{"firstnames":["Matthias"],"propositions":[],"lastnames":["Sleurink"],"suffixes":[]}],"title":"Automatic Generation of Test Cases for VerCors Verification Cases Failing with Null Errors","url":"http://essay.utwente.nl/86828/","bibtex":"@misc{Sleurink2021,\n month = {June},\n year = {2021},\n author = {Matthias {Sleurink}},\n title = {Automatic Generation of Test Cases for VerCors Verification Cases Failing with Null Errors},\n url = {http://essay.utwente.nl/86828/},\n}\n\n\n","author_short":["Sleurink, M."],"key":"Sleurink2021","id":"Sleurink2021","bibbaseid":"sleurink-automaticgenerationoftestcasesforvercorsverificationcasesfailingwithnullerrors-2021","role":"author","urls":{"Paper":"http://essay.utwente.nl/86828/"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"misc","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"],"keywords":[],"search_terms":["automatic","generation","test","cases","vercors","verification","cases","failing","null","errors","sleurink"],"title":"Automatic Generation of Test Cases for VerCors Verification Cases Failing with Null Errors","year":2021}