TorX: Automated Model Based Testing - Côte de Resyste
暂无分享,去创建一个
[1] Nicolae Goga,et al. Probabilities In The Torx Test Derivation Algorithm , 2000, International Conference on Security and Management.
[2] Jan Tretmans,et al. Testing Concurrent Systems: A Formal Approach , 1999, CONCUR.
[3] Lex Heerink,et al. Formal Test Automation: The Conference Protocol with PHACT , 2000, TestCom.
[4] Axel Belinfante,et al. Automated Testing in Practice: The Highway Tolling System , 2002, TestCom.
[5] Michel R. V. Chaudron,et al. Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods , 2001, Formal Methods Syst. Des..
[6] Nicolae Goga,et al. Formal Test Automation: A Simple Experiment , 1999, IWTCS.
[7] Jan Tretmans,et al. On-the-fly conformance testing using SPIN , 2000, International Journal on Software Tools for Technology Transfer.
[8] Jan Tretmans,et al. Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.
[9] Marinus J. Plasmeijer,et al. Gast: Generic Automated Software Testing , 2002, IFL.
[10] Axel Belinfante. Timed Testing with TorX: The Oosterschelde Storm Surge Barrier , 2002 .
[11] R. G. de Vries. Towards Formal Test Purposes , 2001 .
[12] Rocco De Nicola,et al. Testing Equivalences for Processes , 1984, Theor. Comput. Sci..
[13] Martin Peschke,et al. Design and Validation of Computer Protocols , 2003 .
[14] A. W. Heerink,et al. Specification based formal testing: the EasyLink case study , 2001 .
[15] Hubert Garavel,et al. OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing , 1998, TACAS.
[16] Nicolae Goga,et al. Comparing TorX, Autolink, TGV and UIO Test Algorithms , 2001, SDL Forum.
[17] Jan Tretmans,et al. Testing Transition Systems: An Annotated Bibliography , 2000, MOVEP.
[18] Nicolae Goga,et al. Test Selection, Trace Distance and Heuristics , 2002, TestCom.
[19] César Viho,et al. Formal Test Automation: The Conference Protocol with TGV/TORX , 2000, TestCom.