205
Voted
ASE
2011
14 years 10 months ago
2011
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...
182
Voted
ASE
2011
15 years 2 months ago
2011
181
Voted
ASE
2011
15 years 2 months ago
2011
295
click to vote
ASE
2011
15 years 2 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...