CENTRAL LIBRARY

Welcome to Online Public Access Catalogue (OPAC)

Normal view MARC view ISBD view

Mining software specifications [electronic resource] : methodologies and applications / [edited by] David Lo ... [et al.].

Contributor(s): Lo, David.
Material type: materialTypeLabelBookSeries: Chapman & Hall/CRC data mining and knowledge discovery series: Publisher: Boca Raton, Fla. : CRC Press, 2011Description: xvi, 442 p. : ill.ISBN: 9781439806272 (ebook : PDF).Subject(s): Data mining | Data mining -- Mathematical models | Machine learningGenre/Form: Electronic books.Additional physical formats: No titleOnline resources: Distributed by publisher. Purchase or institutional license may be required for access. Also available in print edition.
Contents:
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

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.

Mode of access: World Wide Web.

There are no comments for this item.

Log in to your account to post a comment.

Khulna University of Engineering & Technology

Funded by: HEQEP, UGC, Bangladesh