TY  - BOOK
AU  - Lo,David
TI  - Mining software specifications: methodologies and applications 
T2  - Chapman & Hall/CRC data mining and knowledge discovery series
SN  - 9781439806272 (ebook : PDF)
PY  - 2011///
CY  - Boca Raton, Fla.
PB  - CRC Press
KW  - Data mining
KW  - Mathematical models
KW  - Machine learning
KW  - Electronic books
KW  - lcsh
N1  - Includes bibliographical references and index; 1. Specification mining : a concise introduction / David Lo ... [et al.] -- 2. Mining finite-state automata with annotations / Leonardo Mariani ... [et al.] -- 3. Adapting grammar inference techniques to mine state machines / Neil Walkinshaw and Kirill Bogdanov -- 4. Mining API usage protocols from large methods traces / Michael Pradel and Thomas R. Gross -- 5. Static API specification mining : exploiting source code model checking / Mithun Acharya and Tao Xie -- 6. Static specification mining using automata-based abstractions / Eran Yahav ... [et al.] -- 7. DynaMine : finding usage patterns and their violations by mining software repositories / Benjamin Livshits and Thomas Zimmermann -- 8. Automatic inference and effective application of temporal specifications / Jinlin Yang and David Evans -- 9. Path-aware static program analyses for specification mining / Muralikrishna Ramanathan, Ananth Grama, and Suresh Jagannathan -- 10. Mining API usage specifications via searching source code from the Web / Suresh Thummalapenta, Tao Xie, and Madhuri R. Marri -- 11. Merlin : specification inference for explicit information flow problems / Benjamin Livshits ... [et al.] -- 12. Lightweight mining of object usage / Andrzej Wasylkowski and Andreas Zeller; Also available in print edition
UR  - http://marc.crcnetbase.com/isbn/9781439806272
ER  -