Multi-Fragment Markov Model Guided Online Test Generation for MPSoC
暂无分享,去创建一个
Leonidas Tsiopoulos | Jaan Raik | Jüri Vain | Vyacheslav Kharchenko | Maksim Jenihhin | Apneet Kaur | J. Raik | M. Jenihhin | V. Kharchenko | J. Vain | Leonidas Tsiopoulos | Apneet Kaur
[1] John G. Kemeny,et al. Finite Markov chains , 1960 .
[2] Vyacheslav S. Kharchenko,et al. Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov Chains , 2013, ICTERI.
[3] Shahryar Sarkani,et al. Model based Testing for Software Systems: An Application of Markov Modulated Markov Process , 2012 .
[4] Mark Harman,et al. Formal methods and testing: an outcome of the FORTEST network , 2008 .
[5] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.
[6] Kim G. Larsen,et al. UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata , 2012, QAPL.
[7] Almir Pereira Guimaraes,et al. Availability analysis of redundant computer networks: A strategy based on reliability importance , 2011, 2011 IEEE 3rd International Conference on Communication Software and Networks.
[8] Vyacheslav S. Kharchenko,et al. Availability Assessment of Information and Control Systems with Online Software Update and Verification , 2014, ICTERI.
[9] Deep Medhi,et al. Dependability and security models , 2009, 2009 7th International Workshop on Design of Reliable Communication Networks.
[10] James A. Whittaker,et al. A Markov Chain Model for Statistical Software Testing , 1994, IEEE Trans. Software Eng..
[11] Jan Tretmans,et al. Testing Transition Systems: An Annotated Bibliography , 2000, MOVEP.
[12] Reinhard German,et al. Model-Driven Testing based on Markov Chain Usage Models in the Automotive Domain , 2009 .
[13] Marko Kääramees,et al. Online Testing of Nondeterministic Systems with the Reactive Planning Tester , 2012 .
[14] Jan Tretmans,et al. Testing Concurrent Systems: A Formal Approach , 1999, CONCUR.
[15] John F. Meyer,et al. State space generation for degradable multiprocessor systems , 1991, [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium.