Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs.

Amirfarhad Nilizadeh Gary T. Leavens David R. Cok

Published in: J. Object Technol. (2024)

Keyphrases

lightweight
high level
semantic web
semantic knowledge
development environments
semantic information
communication infrastructure
natural language
semantic similarity
semantic constraints
source code
social networks
open source
semantic annotation
formal specification