Reverse Engineering Through Automata Learning

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Abstract

We suggest a method for constructing a system that needs to satisfy some given formal specification φ. In our setting, a black box system satisfying φ is given; we can only interface with the system through experiments and cannot duplicate it or modify its design. Instead of developing a system satisfying φ from scratch, either manually or through algorithmic synthesis, we use a reverse engineering method based on a combination of Angluin’s automata learning algorithm and model checking.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Science and Business Media Deutschland GmbH
Pages182-192
Number of pages11
DOIs
StatePublished - 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13065 LNCS

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Reverse Engineering Through Automata Learning'. Together they form a unique fingerprint.

Cite this