Author:
Aichernig Bernhard K.,Ničković Dejan,Tiran Stefan
Publisher
Springer International Publishing
Reference18 articles.
1. Aichernig, B.K., Brandl, H., Jöbstl, E., Krenn, W., Schlick, R., Tiran, S.: Killing strategies for model-based mutation testing. Software Testing, Verification and Reliability (Early view) (2014)
2. Lecture Notes in Computer Science;BK Aichernig,2013
3. Lecture Notes in Computer Science;BK Aichernig,2015
4. Aichernig, B.K., Lorber, F., Tiran, S.: Formal test-driven development with verified test cases. In: MODELSWARD 2014, pp. 626–635. SCITEPRESS, Lisbon (January 2014)
5. Arcaini, P., Gargantini, A.: Test generation for sequential nets of abstract state machines with information passing. Science of Computer Programming 94, Part 2(0), 93–108 (2014)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献