An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
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.php?query=Nilizadeh">Amirfarhad Nilizadeh</a> and <a href="/contents.php?query=Leavens">Gary T. Leavens</a> and <a href="/contents.php?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
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact
