Improving model inference in industry by combining active and passive learning

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

1 Citation (Scopus)
1 Downloads (Pure)

Abstract

Inferring behavioral models (e.g., state machines) of software systems is an important element of re-engineering activities. Model inference techniques can be categorized as active or passive learning, constructing models by (dynamically) interacting with systems or (statically) analyzing traces, respectively. Application of those techniques in the industry is, however, hindered by the trade-off between learning time and completeness achieved (active learning) or by incomplete input logs (passive learning). We investigate the learning time/completeness achieved trade-off of active learning with a pilot study at ASML, provider of lithography systems for the semiconductor industry. To resolve the trade-off we advocate extending active learning with execution logs and passive learning results.We apply the extended approach to eighteen components used in ASML TWINSCAN lithography machines. Compared to traditional active learning, our approach significantly reduces the active learning time. Moreover, it is capable of learning the behavior missed by the traditional active learning approach.

Original languageEnglish
Title of host publication26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019)
EditorsEmad Shihab, David Lo, Xinyu Wang
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Pages253-263
Number of pages11
ISBN (Electronic)9781728105918
DOIs
Publication statusPublished - 15 Mar 2019
Event26th IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2019 - Hangzhou, China
Duration: 24 Feb 201927 Feb 2019
Conference number: 26

Conference

Conference26th IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2019
Abbreviated titleSANER
CountryChina
CityHangzhou
Period24/02/1927/02/19

Keywords

  • active learning
  • equivalence oracle
  • model inference
  • passive learning
  • reverse engineering
  • runtime logs

Fingerprint Dive into the research topics of 'Improving model inference in industry by combining active and passive learning'. Together they form a unique fingerprint.

  • Cite this

    Yang, N., Aslam, K., Schiffelers, R. R. H., Lensink, L., Hendriks, D., Cleophas, L. G. W. A., & Serebrenik, A. (2019). Improving model inference in industry by combining active and passive learning. In E. Shihab, D. Lo, & X. Wang (Eds.), 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019) (pp. 253-263). [8668007] Piscataway: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/SANER.2019.8668007