Author:
Hendriks Dennis,Meer Arjan van der,Oortwijn Wytse
Publisher
Springer International Publishing
Reference29 articles.
1. Bera, D., Schuts, M., Hooman, J., Kurtev, I.: Reverse engineering models of software interfaces. Comput. Sci. Inf. Syst. 18(3), 657–686 (2021). https://doi.org/10.2298/CSIS200131013B
2. Cleaveland, R., Sokolsky, O.: Equivalence and Preorder checking for finite-state systems. In: Handbook of Process Algebra, pp. 391–424 (2001). https://doi.org/10.1016/B978-044482830-9/50024-2
3. Gold, E.M.: Language identification in the limit. Inf. Control 10(5), 447–474 (1967). https://doi.org/10.1016/S0019-9958(67)91165-5
4. Gulzar, M.A., Zhu, Y., Han, X.: Perception and practices of differential testing. In: 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), pp. 71–80. IEEE (2019). https://doi.org/10.1109/ICSE-SEIP.2019.00016
5. Hendriks, D., van der Meer, A., Oortwijn, W.: A multi-level methodology for behavioral comparison of software-intensive systems. arxiv (2022). https://doi.org/10.48550/arxiv.2205.08201
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献