Mining software specifications : methodologies and applications /: methodologies and applications. (©2011)
- Record Type:
- Book
- Title:
- Mining software specifications : methodologies and applications /: methodologies and applications. (©2011)
- Main Title:
- Mining software specifications : methodologies and applications
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.147387
- Ingest File:
- 01_072.xml