Feedback-Tuned Fuzzing for Accelerating Quality Verification of Approximate Computing Design.

Yusei Honda Yutaka Masuda Tohru Ishihara

Published in: IOLTS (2023)

Keyphrases

information systems
optimal design
databases
machine learning
case study
database systems
low quality
efficient computation
formal methods
cost effectiveness
artificial intelligence
model checking
software architecture
design decisions