A Sparse Coding Method for Specification Mining and Error Localization

Abstract

Formal specifications play a central role in the design, verification, and debugging of systems. We consider the problem of mining specifications from simulation or execution traces of reactive systems with a special focus on digital circuits. We propose a novel sparse coding method that can extract specifications in the form of a set of basis subtraces… (More)

Topics

9 Figures and Tables

Cite this paper

@inproceedings{Li2011ASC, title={A Sparse Coding Method for Specification Mining and Error Localization}, author={Wenchao Li and Sanjit A. Seshia}, year={2011} }