Require, Test and Trace IT-Reference-Cited by-同舟云学术

Require, Test and Trace IT

Published:2015 Issue: Volume: Page:113-127
ISSN:0302-9743
Container-title:Formal Methods for Industrial Critical Systems
language:
Short-container-title:

Author:

Aichernig Bernhard K.,Hörmaier Klaus,Lorber Florian,Ničković Dejan,Tiran Stefan

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-19458-5_8

Reference25 articles.

1. Lecture Notes in Computer Science;B.K. Aichernig,2014

2. Bernhard, K.A., Hörmaier, K., Lorber, F., Ničković, D., Schlick, R., Simoneau, D., Tiran, S.: Integration of Requirements Engineering and Test-Case Generation via OSLC. In: QSIC, pp. 117–126 (2014)

3. Lecture Notes in Computer Science;B.K. Aichernig,2013

4. Aichernig, B.K., Lorber, F., Ničković, D., Tiran, S.: Require, test and trace it. Technical Report IST-MBT-2014-03, Graz University of Technology, Institute for Software Technology (2014), https://online.tugraz.at/tug_online/voe_main2.getVollText?pDocumentNr=637834&pCurrPk=77579

5. Aiguier, M., Boulanger, F., Kanso, B.: A formal abstract framework for modelling and testing complex software systems. Theor. Comput. Sci. 455, 66–97 (2012)

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

1. Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry;Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development;2017

2. Require, test, and trace IT;International Journal on Software Tools for Technology Transfer;2016-11-29

3. Scalable Incremental Test-case Generation from Large Behavior Models;Tests and Proofs;2015