RERS 2019: Combining Synthesis with Real-World Models-Reference-Cited by-同舟云学术

RERS 2019: Combining Synthesis with Real-World Models

Published:2019 Issue: Volume: Page:101-115
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Jasper Marc,Mues Malte,Murtovi Alnis,Schlüter Maximilian,Howar Falk,Steffen Bernhard^ORCID,Schordan Markus,Hendriks Dennis,Schiffelers Ramon,Kuppens Harco,Vaandrager Frits W.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-17502-3_7

Reference26 articles.

1. Aslam, K., Luo, Y., Schiffelers, R.R.H., van den Brand, M.: Interface protocol inference to aid understanding legacy software components. In: Proceedings of MODELS 2018, co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, pp. 6–11 (2018)

2. Bartocci, E., et al.: TOOLympics 2019: an overview of competitions in formal methods. In: Beyer, D., Huisman, M., Kordon, F., Steffen, B. (eds.) TACAS 2019. LNCS, vol. 11429, pp. xx–yy. Springer, Cham (2019)

3. Lecture Notes in Computer Science;D Beyer,2012

4. Lecture Notes in Computer Science;D Beyer,2015

5. Lecture Notes in Computer Science;S Blom,2010

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Small Test Suites for Active Automata Learning;Lecture Notes in Computer Science;2024

2. Algorithm Selection for Software Verification using Graph Neural Networks;ACM Transactions on Software Engineering and Methodology;2023-12-11

3. An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

4. A benchmark generator framework for evolving variant-rich software;Journal of Systems and Software;2023-09

5. A Myhill-Nerode theorem for register automata and symbolic trace languages;Theoretical Computer Science;2022-04