Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios-Reference-Cited by-同舟云学术

Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios

Published:2018 Issue: Volume: Page:146-152
ISSN:1865-0929
Container-title:Communications in Computer and Information Science
language:
Short-container-title:

Author:

Bonfanti Silvia,Gargantini Angelo,Mashkoor Atif

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-02852-7_13

Reference13 articles.

1. Anderson, J.S., Durney, B.: Using scenarios in deficiency-driven requirements engineering. In: Proceedings of the International Symposium on Requirements Engineering, pp. 134–141. IEEE (1993)

2. Lecture Notes in Computer Science;AI Antón,1994

3. Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. 41, 155–166 (2011)

4. Lecture Notes in Computer Science;S Bonfanti,2017

5. Bonfanti, S., Gargantini, A., Mashkoor, A.: Generation of C++ unit tests from abstract state machines specifications. In: 14th Workshop on Advances in Model Based Testing (A-MOST) @ICST 2018, Västerås, Sweden (2018)

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

1. Behaviour driven development: A systematic mapping study;Journal of Systems and Software;2023-09

2. Validation-Driven Development;Formal Methods and Software Engineering;2023

3. A Model-Based Test Script Generation Framework for Embedded Software;2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2021-04

4. Design and validation of a C++ code generator from Abstract State Machines specifications;Journal of Software: Evolution and Process;2019-11-24

5. Automatic Refinement of ASM Abstract Test Cases;2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2019-04