Back to Results
First PageMeta Content
Theoretical computer science / Formal languages / Logic in computer science / Runtime verification / Finite-state machine / Geographic information system / Regular expression / Software engineering / Computing


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: 2016-07-20 12:50:25


Open Document

File Size: 310,34 KB

Share Result on Facebook