Mumak: Efficient and Black-Box Bug Detection for Persistent Memory.

João Gonçalves Miguel Matos Rodrigo Rodrigues

Published in: EuroSys (2023)

Keyphrases

black box
black boxes
object detection
white box
limited memory
detection method
test cases
memory requirements
false alarms
state transition
rule extraction
anomaly detection
software systems
false positives
detection algorithm
candidate solutions
data sets