Sciweavers

ASE
2011
12 years 8 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
12 years 11 months ago
Flexible feature binding in software product lines
Marko Rosenmüller, Norbert Siegmund, Sven Ape...
ASE
2011
12 years 11 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