Back to Results
First PageMeta Content
Automata theory / Formal languages / Logic in computer science / Runtime verification / Design / Finite-state machine / Regular expression / C Sharp / Pattern / Computing / Software engineering / Theoretical computer science


A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution
Add to Reading List

Document Date: 2013-09-02 06:11:57

Open Document

File Size: 310,34 KB

Share Result on Facebook

City

Washington / DC / Berlin / Scenario / New York / /

Company

Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems / IOS Press / Taylor & Francis Group / CRC Press / /

Country

United States / /

Currency

pence / /

Event

Product Recall / Product Issues / /

Facility

To bridge / mine QEA / library of Fig / David Rydeheard University of Manchester Abstract / /

IndustryTerm

software engineering / pattern-based mining approach / Pattern-based specification mining / invariant-detection tool / Symbolic mining / value-based specification mining / pattern-mining approach / automatic mining / propositional specification mining / mail server / real world applications / parametric specification mining approaches / parametric specification mining / mining / namely pattern-based mining / specification mining technique / specification mining / sk-strings algorithm / invariant mining / runtime verification algorithm / software behavioral models / /

OperatingSystem

Microsoft Windows / /

Organization

David Rydeheard University of Manchester Abstract / U.S. Securities and Exchange Commission / Engineering and Physical Sciences Research Council / IEEE Computer Society / /

Person

G. Ramalingam / V / Howard Barringer / Giles Reger / James Satellites / Mut Loc / /

/

Position

SECONDS Model / guard / Windows Driver Development / /

Product

extracted specification / /

ProgrammingLanguage

Java / DC / Scala / /

ProvinceOrState

New York / /

PublishedMedium

IEEE Transactions on Software Engineering / /

Technology

automatic identification / runtime verification algorithm / Java / sk-strings algorithm / Finite State Machine / API / Data Mining / dom / 4 4 6 10 4 12 4 3 5 Description The SMTP protocol / DSL / Xeon processors / /

URL

www.cs.man.ac.uk/∼david/sm.html / http /

SocialTag