Automated learning setups in automata learning

Maik Merten; Malte Isberner; Falk Howar; Bernhard Steffen; Tiziana Margaria

doi:10.1007/978-3-642-34026-0_44

Automated learning setups in automata learning

Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria

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

Abstract

Test drivers are an essential part of any practical active automata learning setup. These components to accomplish the translation of abstract learning queries into concrete system invocations while managing runtime data values in the process. In current practice test drivers typically are created manually for every single system to be learned. This, however, can be a very time-consuming and thus expensive task, making it desirable to find general solutions that can be reused. This paper discusses how test drivers can be created for LearnLib, a flexible automata learning framework. Starting with the construction of application-specific test drivers by hand, we will discuss how a generic test driver can be employed by means of configuration. This configuration is created manually or (semi-)automatically by analysis of the target system's interface.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publication	Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings
Pages	591-607
Number of pages	17
Edition	PART 1
DOIs	https://doi.org/10.1007/978-3-642-34026-0_44
Publication status	Published - 2012
Externally published	Yes
Event	5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012 - Heraklion, Crete, Greece Duration: 15 Oct 2012 → 18 Oct 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number	PART 1
Volume	7609 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
Country/Territory	Greece
City	Heraklion, Crete
Period	15/10/12 → 18/10/12

Access to Document

10.1007/978-3-642-34026-0_44

Cite this

Merten, M., Isberner, M., Howar, F., Steffen, B., & Margaria, T. (2012). Automated learning setups in automata learning. In Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings (PART 1 ed., pp. 591-607). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7609 LNCS, No. PART 1). https://doi.org/10.1007/978-3-642-34026-0_44

Merten, Maik ; Isberner, Malte ; Howar, Falk et al. / Automated learning setups in automata learning. Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings. PART 1. ed. 2012. pp. 591-607 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1).

@inproceedings{bea8c25dd2734231b63742e07d333163,

title = "Automated learning setups in automata learning",

abstract = "Test drivers are an essential part of any practical active automata learning setup. These components to accomplish the translation of abstract learning queries into concrete system invocations while managing runtime data values in the process. In current practice test drivers typically are created manually for every single system to be learned. This, however, can be a very time-consuming and thus expensive task, making it desirable to find general solutions that can be reused. This paper discusses how test drivers can be created for LearnLib, a flexible automata learning framework. Starting with the construction of application-specific test drivers by hand, we will discuss how a generic test driver can be employed by means of configuration. This configuration is created manually or (semi-)automatically by analysis of the target system's interface.",

author = "Maik Merten and Malte Isberner and Falk Howar and Bernhard Steffen and Tiziana Margaria",

year = "2012",

doi = "10.1007/978-3-642-34026-0_44",

language = "English",

isbn = "9783642340253",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

number = "PART 1",

pages = "591--607",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",

edition = "PART 1",

note = "5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012 ; Conference date: 15-10-2012 Through 18-10-2012",

}

Merten, M, Isberner, M, Howar, F, Steffen, B & Margaria, T 2012, Automated learning setups in automata learning. in Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings. PART 1 edn, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 1, vol. 7609 LNCS, pp. 591-607, 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012, Heraklion, Crete, Greece, 15/10/12. https://doi.org/10.1007/978-3-642-34026-0_44

Automated learning setups in automata learning. / Merten, Maik; Isberner, Malte; Howar, Falk et al.
Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings. PART 1. ed. 2012. p. 591-607 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7609 LNCS, No. PART 1).

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

TY - GEN

T1 - Automated learning setups in automata learning

AU - Merten, Maik

AU - Isberner, Malte

AU - Howar, Falk

AU - Steffen, Bernhard

AU - Margaria, Tiziana

PY - 2012

Y1 - 2012

N2 - Test drivers are an essential part of any practical active automata learning setup. These components to accomplish the translation of abstract learning queries into concrete system invocations while managing runtime data values in the process. In current practice test drivers typically are created manually for every single system to be learned. This, however, can be a very time-consuming and thus expensive task, making it desirable to find general solutions that can be reused. This paper discusses how test drivers can be created for LearnLib, a flexible automata learning framework. Starting with the construction of application-specific test drivers by hand, we will discuss how a generic test driver can be employed by means of configuration. This configuration is created manually or (semi-)automatically by analysis of the target system's interface.

AB - Test drivers are an essential part of any practical active automata learning setup. These components to accomplish the translation of abstract learning queries into concrete system invocations while managing runtime data values in the process. In current practice test drivers typically are created manually for every single system to be learned. This, however, can be a very time-consuming and thus expensive task, making it desirable to find general solutions that can be reused. This paper discusses how test drivers can be created for LearnLib, a flexible automata learning framework. Starting with the construction of application-specific test drivers by hand, we will discuss how a generic test driver can be employed by means of configuration. This configuration is created manually or (semi-)automatically by analysis of the target system's interface.

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

U2 - 10.1007/978-3-642-34026-0_44

DO - 10.1007/978-3-642-34026-0_44

M3 - Conference contribution

AN - SCOPUS:84868266906

SN - 9783642340253

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 591

EP - 607

BT - Leveraging Applications of Formal Methods, Verification and Validation

T2 - 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

Y2 - 15 October 2012 through 18 October 2012

ER -

Merten M, Isberner M, Howar F, Steffen B, Margaria T. Automated learning setups in automata learning. In Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings. PART 1 ed. 2012. p. 591-607. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1). doi: 10.1007/978-3-642-34026-0_44

Automated learning setups in automata learning

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this