000			02585nam a2200349Ia 4500
001			CRC0KE10298PDF
003			FlBoTFG
005			20171224123720.0
006			m|||||o||d||||||||
007			cr||||
008			110705s2011 fluad sb 001 0 eng d
020			_a9781439806272 (ebook : PDF)
040			_aFlBoTFG _cFlBoTFG
090			_aQA76.9.D343 _bM558 2011
092			_a006.312 _bM665
245	0	0	_aMining software specifications _h[electronic resource] : _bmethodologies and applications / _c[edited by] David Lo ... [et al.].
260			_aBoca Raton, Fla. : _bCRC Press, _c2011.
300			_axvi, 442 p. : _bill.
490	1		_aChapman & Hall/CRC data mining and knowledge discovery series
504			_aIncludes bibliographical references and index.
505	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.
530			_aAlso available in print edition.
538			_aMode of access: World Wide Web.
650		0	_aData mining.
650		0	_aData mining _xMathematical models.
650		0	_aMachine learning.
655		7	_aElectronic books. _2lcsh
700	1		_aLo, David.
776	1		_z9781439806265
830		0	_aChapman & Hall/CRC data mining and knowledge discovery series.
856	4	0	_uhttp://marc.crcnetbase.com/isbn/9781439806272 _qapplication/PDF _zDistributed by publisher. Purchase or institutional license may be required for access.
999			_c15599 _d15599