Bibtex

Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok, Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs

@article{JOT:issue_2024_02/article3, author = {<a href="/contents.html?query=Nilizadeh">Amirfarhad Nilizadeh</a> and <a href="/contents.html?query=Leavens">Gary T. Leavens</a> and <a href="/contents.html?query=Cok">David R. Cok</a>}, title = {Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs}, journal = {Journal of Object Technology}, volume = {23}, number = {2}, issn = {1660-1769}, year = {2024}, month = mar, editor = {}, note = {5th Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2022) }, pages = {2:1-13}, doi = {10.5381/jot.2024.23.2.a3}, url = {http://www.jot.fm/contents/issue_2024_02/article3.html} }

Back