Active learning of industrial software with data

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Abstract

Active automata learning allows to learn software in the form of an automaton representing its behavior. The algorithm SL ∗ , as implemented in RALib, is one of few algorithms today that allows learning automata with data parameters. In this paper we investigate the suitability of SL ∗ to learn software in an industrial environment.

For this purpose we learned a number of industrial systems, with and without data. Our conclusion is that SL ∗ appears to be very suitable for learning systems of limited size with data parameters in an industrial environment. However, as it stands, SL ∗ is not scalable enough to deal with more complex systems. Moreover, having more data theories available will increase practical usability.
Original languageEnglish
Title of host publicationFundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers
EditorsHossein Hojjat, Mieke Massink
Place of PublicationCham
PublisherSpringer
Pages95-110
Number of pages16
ISBN (Electronic)978-3-030-31517-7
ISBN (Print)978-3-030-31516-0
DOIs
Publication statusPublished - 2019
EventFSEN 2019 8th International Conference - Tehran, Iran, Islamic Republic of
Duration: 1 May 20193 May 2019

Publication series

NameLecture notes in computer science
Volume11761

Conference

ConferenceFSEN 2019 8th International Conference
CountryIran, Islamic Republic of
CityTehran
Period1/05/193/05/19

    Fingerprint

Keywords

  • Active automata learning
  • SL*
  • Industrial Environment
  • Industrial environment
  • SL

Cite this

Groote, J. F., Sanchez, L., & Schiffelers, R. (2019). Active learning of industrial software with data. In H. Hojjat, & M. Massink (Eds.), Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers (pp. 95-110). (Lecture notes in computer science; Vol. 11761). Cham: Springer. https://doi.org/10.1007/978-3-030-31517-7_7