Automated Inference of Models for Black Box Systems Based on Interface Descriptions-Reference-Cited by-同舟云学术

Automated Inference of Models for Black Box Systems Based on Interface Descriptions

Published:2012 Issue: Volume: Page:79-96
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
language:
Short-container-title:

Author:

Merten Maik,Howar Falk,Steffen Bernhard,Pellicione Patrizio,Tivoli Massimo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-34026-0_7.pdf

Reference25 articles.

1. Lecture Notes in Computer Science;F. Aarts,2010

2. Alur, R., Cerný, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications for Java classes. In: POPL, pp. 98–109 (2005)

3. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75, 87–106 (1987)

4. Lecture Notes in Computer Science;A. Bennaceur,2010

5. Lecture Notes in Computer Science;T. Berg,2008

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

1. Perfect is the enemy of test oracle;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

2. Towards interactive networking: Runtime message inference approach for incompatible protocol updates in IoT environments;Future Generation Computer Systems;2019-07

3. A System Identification Based Oracle for Control-CPS Software Fault Localization;2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE);2019-05

4. Modeling time, probability, and configuration constraints for continuous cloud service certification;Computers & Security;2018-01

5. Active Automata Learning in Practice;Lecture Notes in Computer Science;2018