Modular System Verification by Inference, Testing and Reachability Analysis-Reference-Cited by-同舟云学术

Modular System Verification by Inference, Testing and Reachability Analysis

Published:2008 Issue: Volume: Page:216-233
ISSN:0302-9743
Container-title:Testing of Software and Communicating Systems
language:
Short-container-title:

Author:

Groz Roland,Li Keqin,Petrenko Alexandre,Shahbaz Muzammil

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68524-1_16

Reference18 articles.

1. Huo, J., Petrenko, A.: Covering Transitions of Concurrent Systems through Queues. In: ISSRE, pp. 335–345 (2005)

2. Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software - Concepts and Tools 17(3), 103–120 (1996)

3. Lynch, N., Tuttle, M.: An Introduction to Input/output Automata. CWI-Quarterly 2(3), 219–246 (1989)

4. Luo, G., Bochmann, G.v., Petrenko, A.: Test Selection Based on Communicating Nondeterministic Finite State Machines Using a Generalized Wp-Method. IEEE Transactions on Software Engineering (February 1994)

5. Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation 2, 87–106 (1987)

Cited by 23 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. Learning of behavioural models and dependency graphs for communicating systems with CkTailv2;International Journal on Software Tools for Technology Transfer;2022-03-15

3. Model generation of component-based systems;Software Quality Journal;2020-01-02

4. Verifying the Application of Security Measures in IoT Software Systems with Model Learning;Proceedings of the 15th International Conference on Software Technologies;2020

5. Learning Communicating State Machines;Tests and Proofs;2019