Author:
Aichernig Bernhard K.,Mostowski Wojciech,Mousavi Mohammad Reza,Tappler Martin,Taromirad Masoumeh
Publisher
Springer International Publishing
Reference106 articles.
1. Aarts, F.: Tomte: bridging the gap between active learning and real-world systems. Ph.D. thesis, Department of Computer Science (2014)
2. Aarts, F., de Ruiter, J., Poll, E.: Formal models of bank cards for free. In: Proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, pp. 461–468. IEEE Computer Society, Washington, DC (2013)
3. Lecture Notes in Computer Science;F Aarts,2015
4. Arts, T., Hughes, J., Johansson, J., Wiger, U.T.: Testing telecoms software with QuviQ QuickCheck. In: Feeley, M., Trinder, P.W. (eds.) Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, 16 September 2006, pp. 2–10. ACM (2006)
5. Lecture Notes in Computer Science;F Aarts,2012
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献