Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution.

Yigong Hu Gongqi Huang Peng Huang

Published in: OSDI (2020)

Keyphrases

automated reasoning
reasoning systems
symbolic execution
knowledge representation
neural network
probabilistic reasoning
data mining
machine learning
bayesian networks
general purpose
distributed systems
particle swarm optimization
constraint satisfaction
test generation