conftrace_

diagnosis algorithm

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

model-based diagnosis (2) test planning (1) bug diagnosis (1) fault prediction model (1) cnf encoding (1) sequential circuit (1) minimal diagnosis (1) bug prediction (1) conjunctive normal form (1) software testing (1)

Papers

Efficient Model-Based Diagnosis of Sequential Circuits AAAI 2020 DeBGUer: A Tool for Bug Prediction and Diagnosis AAAI 2019