Environment behavior models for scenario generation and testing automation
暂无分享,去创建一个
[1] Peter A. Lindsay,et al. Safety validation of embedded control software using Z animation , 2000, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).
[2] Insup Lee,et al. Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System , 2003, International Journal on Software Tools for Technology Transfer.
[3] Clinton Jeffery,et al. A framework for automatic debugging , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
[4] Víctor A. Braberman,et al. Visual timed event scenarios , 2004, Proceedings. 26th International Conference on Software Engineering.
[5] Peter M. Maurer,et al. Generating test data with enhanced context-free grammars , 1990, IEEE Software.
[6] Mikhail Auguston. Lightweight semantics models for program testing and debugging automation , 2000 .
[7] Mikhail Auguston. A language for debugging automation , 1994, SEKE.
[8] Jukka Paakki,et al. Attribute grammar paradigms—a high-level methodology in language implementation , 1995, CSUR.
[9] Alexander Pretschner,et al. Model-Based Testing in Practice , 2005, FM.
[10] W. M. McKeeman,et al. Differential Testing for Software , 1998, Digit. Tech. J..
[11] Christian Steger,et al. Improvement of control software for automatic logistic systems using executable environment models , 1998, Proceedings. 24th EUROMICRO Conference (Cat. No.98EX204).
[12] Abbott PCA Plus II patient-controlled analgesic pumps prone to misprogramming resulting in narcotic overinfusions. , 1997, Health devices.
[13] Sarfraz Khurshid,et al. Korat: automated testing based on Java predicates , 2002, ISSTA '02.
[14] James L. Crowley,et al. Issues in the full scale use of formal methods for automated testing , 1996, ISSTA '96.
[15] Bogdan Korel,et al. Assertion-oriented automated test data generation , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.
[16] Mark Blackburn,et al. Using models for test generation and analysis , 1998, 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267).
[17] David Lorge Parnas,et al. Simulating the behaviour of software modules by trace rewriting , 1993, ICSE '93.
[18] Robert M. Hierons,et al. Concerning the Ordering of Adaptive Test Sequences , 2003, FORTE.