Mining software specifications : methodologies and applications /: methodologies and applications. (©2011)

• Record Type: Book
• Further Information: Note: [edited by] David Lo [and others].
• Other Names: Lo, David
• Contents: 1. Specification mining : a concise introduction / David Lo [and others] -- 2. Mining finite-state automata with annotations / Leonardo Mariani [and others] -- 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 [and others] -- 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 [and others] -- 12. Lightweight mining of object usage / Andrzej Wasylkowski and Andreas Zeller.
• Publisher Details: Boca Raton, FL : CRC Press
• Publication Date: 2011
• Copyright Date: 2011
• Extent: 1 online resource (xvi, 442 pages), illustrations
• Subjects: 006.3/12; Data mining; Data mining -- Mathematical models; Machine learning; Data mining; Data mining -- Mathematical models; Machine learning; COMPUTERS -- Database Management -- Data Mining; Data mining; Data mining / Mathematical models; Machine learning; Electronic books
• Languages: English
• ISBNs: 9781439806272; 1439806276
• Related ISBNs: 9781439806265; 1439806268
• Notes: Note: Includes bibliographical references and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.