@inbook{28e37d21cf0f4dd9a8acd84d0d5b3755,
title = "Reverse Engineering Through Automata Learning",
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{\textquoteright}s automata learning algorithm and model checking.",
author = "Doron Peled",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.",
year = "2021",
doi = "10.1007/978-3-030-87348-6_11",
language = "الإنجليزيّة",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "182--192",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "ألمانيا",
}