Model-Based Testing of Industrial Transformational Systems
暂无分享,去创建一个
[1] Robert L. Grossman,et al. Timed Automata , 1999, CAV.
[2] Koen Claessen,et al. QuickCheck: a lightweight tool for random testing of Haskell programs , 2000, ICFP.
[3] M. J. Reilly,et al. An investigation of the applicability of design of experiments to software testing , 2002, 27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings..
[4] K. Burr,et al. Combinatorial Test Techniques : Table-based Automation , Test Generation and Code Coverage , 1998 .
[5] Marinus J. Plasmeijer,et al. Gast: Generic Automated Software Testing , 2002, IFL.
[6] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[7] Roberto Castañeda Lozano,et al. Testing Continuous Double Auctions with a Constraint-Based Oracle , 2010, CP.
[8] D. Richard Kuhn,et al. FAILURE MODES IN MEDICAL DEVICE SOFTWARE: AN ANALYSIS OF 15 YEARS OF RECALL DATA , 2001 .
[9] A. Jefferson Offutt,et al. Constraint-Based Automatic Test Data Generation , 1991, IEEE Trans. Software Eng..
[10] Werner Kluge,et al. Implementation of Functional Languages , 1996, Lecture Notes in Computer Science.
[11] Michael L. Fredman,et al. The AETG System: An Approach to Testing Based on Combinatiorial Design , 1997, IEEE Trans. Software Eng..
[12] D.M. Cohen,et al. The Combinatorial Design Approach to Automatic Test Generation , 1996, IEEE Softw..
[13] David Cohen,et al. Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings , 2010, CP.
[14] Angelo Gargantini,et al. A Logic-Based Approach to Combinatorial Testing with Constraints , 2008, TAP.
[15] C. L. Mallows,et al. Applying design of experiments to software testing: experience report , 1997, ICSE '97.