Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs.
-
Published:2024
Issue:2
Volume:23
Page:2:1
-
ISSN:1660-1769
-
Container-title:The Journal of Object Technology
-
language:en
-
Short-container-title:JOT
Author:
Nilizadeh Amirfarhad,Leavens Gary T.,Cok David R.
Publisher
AITO - Association Internationale pour les Technologies Objets