Author:
Tappler Martin,Aichernig Bernhard K.,Bacci Giovanni,Eichlseder Maria,Larsen Kim G.
Publisher
Springer International Publishing
Reference44 articles.
1. Aichernig, B.K., Mostowski, W., Mousavi, M.R., Tappler, M., Taromirad, M.: Model learning and model-based testing. In: Bennaceur et al. [9], pp. 74–100.
https://doi.org/10.1007/978-3-319-96562-8_3
2. Aichernig, B.K., Tappler, M.: Efficient active automata learning via mutation testing. J. Autom. Reasoning (2018).
https://doi.org/10.1007/s10817-018-9486-0
3. Aichernig, B.K., Tappler, M.: Probabilistic black-box reachability checking (extended version). Formal Methods Syst. Des. (2019).
https://doi.org/10.1007/s10703-019-00333-0
4. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87–106 (1987).
https://doi.org/10.1016/0890-5401(87)90052-6
5. Bacci, G., Bacci, G., Larsen, K.G., Mardare, R.: MDPDist library.
http://people.cs.aau.dk/~giovbacci/tools/bisimdist.zip
. Accessed 28 June 2019
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献