Formal description and test cases generation of protocols based on input/output sequence

DOI10.3724/SP.J.1087.2008.01471zbMath1180.68173OpenAlexW2318012924MaRDI QIDQ3406857

Jian-Lin Qiu, Xiang Gu, Yan Yan

Publication date: 20 February 2010

Published in: Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3724/sp.j.1087.2008.01471

zbMATH Keywords

formal descriptionprotocol testRAISE specification language (RSL)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Formal description and test cases generation of protocols based on input/output sequence