Author:
Spichkova Maria,Zamansky Anna
Publisher
Springer International Publishing
Reference32 articles.
1. Blech, J.O., Spichkova, M., Peake, I., Schmidt, H.: Cyber-virtual systems: simulation, validation & visualization. In: Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2014) (2014)
2. The JANUS Approach;M Broy,2005
3. Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: Proceedings of the 21st International Conference on Software Engineering, pp. 285–294. ACM (1999)
4. Farchi, E., Segall, I., Tzoref-Brill, R.: Using projections to debug large combinatorial models. In: Proceedings of the International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 311–320. IEEE (2013)
5. Farchi, E., Segall, I., Tzoref-Brill, R., Zlotnick, A.: Combinatorial testing with order requirements. In: Proceedings of the International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 118–127. IEEE (2014)