Automating the process of test derivation from SDL specifications-Reference-Cited by-同舟云学术

登录注册会员服务联系我们

Automating the process of test derivation from SDL specifications

Published:1997 Issue: Volume: Page:261-276
ISSN:
Container-title:SDL '97: Time for Testing
language:
Short-container-title:

Author:

Bochmann G.v.,Petrenko A.,Bellal O.,Maguiraga S.

Publisher

Elsevier

Reference16 articles.

1. Protocol specification for OSI;Bochmann;Computer Networks and ISDN Systems,1990

2. Semiautomatic implementation of communication protocols;Bochmann;IEEE Trans., SE-13,1987

3. Automatic analysis and test derivation for a restricted class of LOTOS expressions with data parameters;Higashino;IEEE Trans., SE-20,1994

4. Protocol testing: Review of methods and relevance for software testing;Bochmann,1994

5. Obtaining normal form specifications for protocols;Sarikaya,1985

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

1. Behaviour abstraction adequacy criteria for API call protocol testing;Software Testing, Verification and Reliability;2015-10-16

2. A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages;System Analysis and Modeling: Models and Reusability;2014

3. Validation of SDL-based architectural design models using communication-based coverage criteria;Information and Software Technology;2012-12

4. Canonical finite state machines for distributed systems;Theoretical Computer Science;2010-01

5. Validation of SDL specifications using EFSM-based test generation;Information and Software Technology;2009-11

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线，采集、加工和组织学术论文而形成的新型学术文献查询和分析系统，可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容，当前同舟云学术共收录了国内外主流学术期刊6万余种，收集的期刊论文及会议论文总量共计约1.5亿篇，并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询！咨询电话：010-8811{复制后删除}0370

www.globalauthorid.com

TOP