KVEST: Automated Generation of Test Suites from Formal Specifications-Reference-Cited by-同舟云学术

KVEST: Automated Generation of Test Suites from Formal Specifications

Published:1999 Issue: Volume: Page:608-621
ISSN:0302-9743
Container-title:FM’99 — Formal Methods
language:
Short-container-title:

Author:

Burdonov Igor,Kossatchev Alexander,Petrenko Alexander,Galter Dmitri

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48119-2_34

Reference12 articles.

1. B. Algayres, Y. Lejeune, G. Hugonnet, and F. Hantz. The AVALON project:AVALidation Environment For SDL/MSC Descriptions. In 6th SDL Forum, Darmstadt, 1993.

2. Lect Notes Comput Sci;I. Burdonov,1991

3. I. Burdonov, A. Kossatchev, A. Petrenko, S. Cheng, H. Wong. Formal Specification and Verification of SOS Kernel, BNR/Nortel Design Forum, June 1996.

4. J. Derrick and E. Boiten. Testing Refining Test. Lecture Notes in Computer Science,1493, pp. 265–283.

5. R. Kramer. iContract-The Java Design by Contract Tool. Fourth conference on OO tec hnology and systems (COOTS), 1998.

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

1. Software Quality in the Era of Big Data, IoT and Smart Cities;Smart Infrastructure and Applications;2019-06-21

2. Proceedings Tenth Workshop on Model Based Testing;Electronic Proceedings in Theoretical Computer Science;2015-04-10

3. Evolution of the UniTESK test development technology;Programming and Computer Software;2014-09

4. FSM-based conformance testing methods: A survey annotated with experimental evaluation;Information and Software Technology;2010-12

5. Integration of verification methods for program systems;Programming and Computer Software;2009-07