Author:
Frantzen Lars,Tretmans Jan,Willemse Tim A. C.
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) 12th Int. Workshop on Testing of Communicating Systems, pp. 179–196. Kluwer Academic Publishers, Dordrecht (1999)
2. Lecture Notes in Computer Science;A. Belinfante,2004
3. Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of haskell programs. SIGPLAN Not. 35(9), 268–279 (2000)
4. Huth, M.R.A., Ryan, M.: Logic in computer science: modelling and reasoning about systems. Cambridge University Press, Cambridge (2000)
5. Lecture Notes in Computer Science;P. Koopman,2003
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Symbolic Path-Guided Test Cases for Models with Data and Time;Lecture Notes in Computer Science;2024
2. From BDD Scenarios to Test Case Generation;2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2023-04
3. Compositionality in Model-Based Testing;Testing Software and Systems;2023
4. Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems;2022 IEEE Conference on Software Testing, Verification and Validation (ICST);2022-04
5. Model-Based Testing of Internet of Things Protocols;Formal Methods for Industrial Critical Systems;2022