Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

TSE
2008

favoriteEmaildiscussreport

76views more TSE 2008»

Static Specification Mining Using Automata-Based Abstractions

13 years 2 months ago

Static Specification Mining Using Automata-Based Abstractions

Download domino.research.ibm.com

Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco

Real-time Traffic

TSE 2008 |

claim paper

Related Content

» AutomataBased Confidentiality Monitoring

» Mining API ErrorHandling Specifications from Source Code

» Mining API patterns as partial orders from source code from usage scenarios to specificati...

» Allowing State Changes in Specifications

» Colibri fast mining of large static and dynamic graphs

» Symbolic mining of temporal specifications

» Enhancing Data Preparation Processes Using Triggers For Active Datawarehousing

» A domainspecific language for defining static structure of database applications

» Check n crash combining static checking and testing

Post Info
More Details (n/a)

Added	28 Jan 2011
Updated	28 Jan 2011
Type	Journal
Year	2008
Where	TSE
Authors	Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia

Comments (0)