"Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs."

Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok (2024)

Details and statistics

DOI: 10.5381/JOT.2024.23.2.A3

access: open

type: Journal Article

metadata version: 2024-05-02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics