Open AccessStatic Specification Mining Using Automata-Based Abstractions
Author(s) -
Eran Yahav,
Sharon Shoham,
Stephen J. Fink,
Marco Pistoia
Publication year - 2011
Publication title -
chapman and hall/crc data mining and knowledge discovery series
Language(s) - Uncategorized
Resource type - Book series
eISSN - 2380-0577
pISSN - 2154-5286
DOI - 10.1201/b10928-7
Subject(s) - computer science , domain (mathematical analysis) , software engineering , range (aeronautics) , automaton , state (computer science) , software , model based testing , distributed computing , programming language , test case , theoretical computer science , machine learning , engineering , mathematical analysis , regression analysis , mathematics , aerospace engineering
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom