Author:
Hierons Robert M.,Merayo Mercedes G.
Subject
Hardware and Architecture,Information Systems,Software
Reference60 articles.
1. Distinguishing tests for nondeterministic and probabilistic machines;Alur,1995
2. Baier, C., Kwiatkowska, M.Z., Norman, G., 1999. Computing probability bounds for linear time formulas over concurrent probabilistic systems. In: PROBMIV’98, Electronics Notes in Theoretical Computer Science, vol. 22.
3. Towards a tool environment for model-based testing with AsmL;Barnett,2003
4. Non-bisimulation-based Markovian behavioral equivalences;Bernardo;Journal of Logic and Algebraic Programming,2007
5. A theory of testing for markovian processes;Bernardo,2000
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Implementation relations and testing for cyclic systems: Adding probabilities;Robotics and Autonomous Systems;2023-07
2. Modelling Second-Order Uncertainty in State Machines;IEEE Transactions on Software Engineering;2023-05-01
3. VITAS : Guided Model-based VUI Testing of VPA Apps;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10
4. µBert: Mutation Testing using Pre-Trained Language Models;2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2022-04
5. Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization;Testing Software and Systems;2022