Static specification mining using automata-based abstractions

Eran Yahav; Sharon Shoham; Stephen Fink; Marco Pistoia

Static specification mining using automata-based abstractions

Eran Yahav, Sharon Shoham, Stephen Fink, Marco Pistoia

Computer Science

Technion - Israel Institute of Technology

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Abstract

Programming is becoming more and more about using frameworks and libraries. To perform standard tasks such as parsing an XML file, or communicating with a database, programmers use existing standard frameworks and class libraries rather than writing code from scratch.

Original language	English
Title of host publication	Mining Software Specifications
Subtitle of host publication	Methodologies and Applications
Pages	159-199
Number of pages	41
ISBN (Electronic)	9781439806272
State	Published - 1 Jan 2011

All Science Journal Classification (ASJC) codes

General Computer Science

Cite this

@inbook{825bb08fb0154f639054fbac8ffff4d6,

title = "Static specification mining using automata-based abstractions",

abstract = "Programming is becoming more and more about using frameworks and libraries. To perform standard tasks such as parsing an XML file, or communicating with a database, programmers use existing standard frameworks and class libraries rather than writing code from scratch.",

author = "Eran Yahav and Sharon Shoham and Stephen Fink and Marco Pistoia",

note = "Publisher Copyright: {\textcopyright} 2011 by Taylor \& Francis Group, LLC.",

year = "2011",

month = jan,

day = "1",

language = "الإنجليزيّة",

isbn = "9781138114906",

pages = "159--199",

booktitle = "Mining Software Specifications",

}

TY - CHAP

T1 - Static specification mining using automata-based abstractions

AU - Yahav, Eran

AU - Shoham, Sharon

AU - Fink, Stephen

AU - Pistoia, Marco

PY - 2011/1/1

Y1 - 2011/1/1

N2 - Programming is becoming more and more about using frameworks and libraries. To perform standard tasks such as parsing an XML file, or communicating with a database, programmers use existing standard frameworks and class libraries rather than writing code from scratch.

AB - Programming is becoming more and more about using frameworks and libraries. To perform standard tasks such as parsing an XML file, or communicating with a database, programmers use existing standard frameworks and class libraries rather than writing code from scratch.

UR - http://www.scopus.com/inward/record.url?scp=85059387745&partnerID=8YFLogxK

M3 - فصل

SN - 9781138114906

SP - 159

EP - 199

BT - Mining Software Specifications

ER -

Static specification mining using automata-based abstractions

Abstract

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this