Logic
Mathematical logic
Non-classical logic
Markov logic network
Software testing
Probabilistic logic
Software bug
Code coverage
Debugging
Inference
First-order logic
Buggy