Sound and mechanised compositional verification of input-output conformance-Reference-Cited by-同舟云学术

Sound and mechanised compositional verification of input-output conformance

Published:2013-05-14 Issue:4 Volume:24 Page:289-319
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Sampaio Augusto¹,Nogueira Sidney¹²,Mota Alexandre¹,Isobe Yoshinao³

Affiliation:

1. Centro de Informática; Universidade Federal de Pernambuco; P.O. Box 7851, 50740-540 Recife Pernambuco Brazil

2. Departamento de Informática e Estatística; Universidade Federal Rural de Pernambuco; Dois Irmãos 52171-900 Recife Pernambuco Brazil

3. Research Institute for Secure Systems; National Institute of Advanced Industrial Science and Technology (AIST); Tsukuba Central 2, 1-1-1, Umezono Tsukuba, Ibaraki 305-8568 Japan

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Link

http://onlinelibrary.wiley.com/wol1/doi/10.1002/stvr.1498/fullpdf

Reference57 articles.

1. Formal Systems Failures-divergence refinement - FDR2 user manual 2005

2. A decade of software model checking with SLAM;Ball;Communications of ACM,2011

3. LNCS;Aichernig,2006

4. Improving fault-based conformance testing;Aichernig;ENTCS,2008

5. QSIC ’10;Brandl,2010

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

1. A formal component model for UML based on CSP aiming at compositional verification;Software and Systems Modeling;2023-10-04

2. Testing using CSP Models: Time, Inputs, and Outputs;ACM Transactions on Computational Logic;2023-01-28

3. Inputs and Outputs in CSP;ACM Transactions on Computational Logic;2020-05-22

4. Automation and consistency analysis of test cases written in natural language: An industrial context;Science of Computer Programming;2020-04

5. FDR: From Theory to Industrial Application;Concurrency, Security, and Puzzles;2016-12-18