References
- E. A. Lee, What's Ahead for Embedded Software?, IEEE Computer, pp 18-26, September, 2000 https://doi.org/10.1109/2.868693
- E. A. Lee, 'Computing for embedded systems,' proceeding of IEEE Instrumentation and Measurement Technology Conference, Budapest, Hungary, May, 2001
- Mattias O'Nils and Axel Jantsch, 'Communication in Hardware/Software Embedded Systems-A Taxonomy and Problem Formulation,' in Proceeding of 15th NORCHIP Conference, November, 1997
- M.Hsueh, Fault Injection Techniques and Tools, Computer, Apr, 1997, pp75-82 https://doi.org/10.1109/2.585157
- J.F. Clark, Fault Injection, Computer, June, 1995, pp47-56
- Charlse R. Yount 91, A Methodology for the Rapid Injection of Transient Hardware Errors, IEEE Transactions on Computers, VOL. 45. No.8, Aug, 1996 https://doi.org/10.1109/12.536231
- Gwan S. Choi, Simulated Fault Injection : A Methodology to Evaluate Fault Tolerant Microprocessor Archtecture, IEEE Transactions on Reliability, VOL. 39, NO.4, Oct, 1990 https://doi.org/10.1109/24.58726
- Dimiter Avresky, Fault Injection for formal testing of fault tolerance, IEEE Transactions on Reliability, VOL. 45, NO.3, Sept, 1996 https://doi.org/10.1109/24.537015
- J.V. Carreira, Fault Injection spot-checks computer system dependability, IEEE Spectrum, Aug, 1999 https://doi.org/10.1109/6.780999
- J.V. Carreira, Xeption : A technique for the Experimental Evaluation of Dependability in modem computers, IEEE Transaction on Software Engineering. VOL 23, No.2, Feb, 1998 https://doi.org/10.1109/32.666826
- Johan Karsson, Using Heavy-ion Radiation to validate fault-handling mechanisms, IEEE micro, 1994, pp8-23 https://doi.org/10.1109/40.259894
- Marcello Dalpasso, Fault Simulation of parametric Bridging Faults in CMOS ICs, IEEE Transaction on computer aided design of integrated circuits and systems, vol 12. no. 9, Sept, 1993 https://doi.org/10.1109/43.240087
- Jean Alert 외, Validation Based Development of dependable systems, IEEE micro, Jul, 1999, pp 66-79 https://doi.org/10.1109/40.782569
- J. Voas, Certifying software for high assurance environments, IEEE Software, Jul/Aug, 1999, pp48-54 https://doi.org/10.1109/52.776948
- T. A. Delong, A Fault Injection Technique for VHDL Behavioral-Level Models, IEEE Design and Test of Computers, 1996, pp24-33 https://doi.org/10.1109/54.544533
- Paul C. Jorgensen, Software Testing - A Craftsman's Approach, CRC Press, 1995
- UCN 3&4 Final Safety Analysis Report, Volume 11, Korea Electric Power Corporations
- J.R. Horgan and S. London, 'ATAC : A data flow coverage testing tool for C,' in Proceedings of Symposium on Assessment of Quality Software Development Tools, pp2-10, New Orleans, LA, May, 1992 https://doi.org/10.1109/AQSDT.1992.205829
- M.R. Lyu, J.R. Horgan and S. London, 'A coverage analysis tool for the effectiveness of software testing,' in Proceeding of International Symposium on Software Reliability Engineering, 1993 https://doi.org/10.1109/ISSRE.1993.624271
- Li, N., Malaiya, Y. K., Denton J, 'Estimating the Number of Defects: A Simple and Intuitive Approach,' in Proceeding of 7th International Symposium on Software Reliability Engineering, 1998
- Burr, Kevin and Young, William, 'Combinatorial Test Techniques: Table-Based Automation, Test Generation, and Test Coverage,' in Proceeding of International Conference on Software Testing, Analysis, and Review. San Diego, CA, October, 1998
- Richard A. DeMillo, Richard J. Lipton, and Frederick G. Sayward, Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4):34-41, April 1978 https://doi.org/10.1109/C-M.1978.218136
- M. E. Delamaro, J. C. Maldonado, and A. P. Mathur., 'Integration Testing Using Interface Mutation,' In Proceedings of International Symposium on Software Reliability Engineering (ISSRE '96), pages 112--121, April 1996 https://doi.org/10.1109/ISSRE.1996.558719