Environment behavior models for automation of testing and assessment of system safety-Reference-Cited by-同舟云学术

Environment behavior models for automation of testing and assessment of system safety

Published:2006-10 Issue:10 Volume:48 Page:971-980
ISSN:0950-5849
Container-title:Information and Software Technology
language:en
Short-container-title:Information and Software Technology

Author:

Auguston Mikhail,Michael James Bret,Shing Man-Tak

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Software

Reference30 articles.

1. Formal specifications and analysis of the computer assisted resuscitation algorithm (CARA) Infusion Pump Control System;Alur;J. Software Tools Technol. Transfer,2004

2. A. Alfonso, V. Braberman, N. Kicillof, A. Olivero, A. Visual timed event scenarios, in: Proc. 26th Int. Conf. on Software Engineering, ACM Press, Edinburgh, Scot., May 2004, pp. 168–177.

3. M. Auguston, A language for debugging automation, in: Chang, S.K. (Ed.), Proc. 6th Int. Conf. on Software Engineering and Knowledge Engineering, Skokie, I11., Knowledge Systems Inc., June 1994, pp. 108–115.

4. M. Auguston, Lightweight semantics models for program testing and debugging automation, in: Proc. 7th Monterey Workshop, Santa Margherita Ligure, Italy, June 2000, pp. 23–31.

5. M. Auguston, C. Jeffery, S. Underwood, A framework for automatic debugging, in: Proc. 17th Int. Conf. on Automated Software Engineering, ACM Press, Edinburgh, Sept. 2002, pp. 217–222.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reliability and availability prediction of embedded systems based on environment modeling and simulation;Simulation Modelling Practice and Theory;2021-04

2. Model-based testing for software safety: a systematic mapping study;Software Quality Journal;2017-09-25

3. Environment modeling in model-based testing;Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering;2015-04-27

4. Analyzing Requirements Using Environment Modelling;Lecture Notes in Computer Science;2015

5. Composition of Behavior Models for Systems Architecture;Modeling and Simulation Support for System of Systems Engineering Applications;2014-12-12