Sciweavers

ASE
2011
12 years 11 months ago
Alattin: mining alternative patterns for defect detection
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...
Suresh Thummalapenta, Tao Xie
ASE
2011
13 years 2 months ago
Flexible feature binding in software product lines
Marko Rosenmüller, Norbert Siegmund, Sven Ape...
ASE
2011
13 years 2 months ago
Compositional model checking of software product lines using variation point obligations
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...
Jing Liu, Samik Basu, Robyn R. Lutz