02585nam a2200349Ia 4500001001500000003000800015005001700023006001900040007000700059008004100066020003200107040002100139090002700160092001800187245013000205260004200335300002400377490006600401504005100467505126600518530003701784538003601821650001701857650003801874650002201912655002801934700001501962776001801977830006701995856015602062999001702218CRC0KE10298PDFFlBoTFG20171224123720.0m|||||o||d||||||||cr||||110705s2011    fluad   sb    001 0 eng d  a9781439806272 (ebook : PDF)  aFlBoTFGcFlBoTFG  aQA76.9.D343bM558 2011  a006.312bM66500aMining software specificationsh[electronic resource] :bmethodologies and applications /c[edited by] David Lo ... [et al.].  aBoca Raton, Fla. :bCRC Press,c2011.  axvi, 442 p. :bill.1 aChapman & Hall/CRC data mining and knowledge discovery series  aIncludes bibliographical references and index.0 a1. 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.  aAlso available in print edition.  aMode of access: World Wide Web. 0aData mining. 0aData miningxMathematical models. 0aMachine learning. 7aElectronic books.2lcsh1 aLo, David.1 z9781439806265 0aChapman & Hall/CRC data mining and knowledge discovery series.40uhttp://marc.crcnetbase.com/isbn/9781439806272qapplication/PDFzDistributed by publisher. Purchase or institutional license may be required for access.  c15599d15599