A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Trans. Dependable and Secure Computing, 1(1):11-33, 2004.
L. Baresi and M. Young. Test oracles. In Technical Report CIS-TR-01-02, Dept. of Computer and Information Science, Univ. of Oregon.
A. Bertolino. Software testing research: Achievements, challenges, dreams. In L. Briand and A. Wolf, editors, Future of Software Engineering 2007. IEEE-CS Press, 2007.
L. Briand, M. DiPenta, and Y. Labiche. Assessing and improving state-based class testing: A series of experiments. IEEE Trans. on Software Engineering, 30 (11), 2004.
J. J. Chilenski and S. P. Miller. Applicability of Modified Condition/Decision Coverage to Software Testing. Software Engineering Journal, pages 193-200, September 1994.
N. Halbwachs. Synchronous Programming of Reactive Systems. Klower Academic Press, 1993.
M. Harrold. Testing: a roadmap. In Proc. of the Conf. on the Future of Software Engineering, pages 61-72. ACM New York, NY, USA, 2000.
Mathworks Inc. Simulink product web site. http://www.mathworks.com/ products/simulink.
M. Pezze and M. Young. Software Test and Analysis: Process, Principles, and Techniques. John Wiley and Sons, October 2006.
A. Rajan, M. Whalen, and M. Heimdahl. The effect of program and model structure on MC/DC test adequacy coverage. In Proc. of the 30th Int'l Conference on Software engineering, pages 161-170. ACM New York, NY, USA, 2008.
D. J. Richardson, S. L. Aha, and T. O'Malley. Specification-based test oracles for reactive systems. In Proc. of the 14th Int'l Conference on Software Engineering, pages 105-118. Springer, May 1992.
M. Staats, M. Whalen, and M. Heimdahl. Programs, tests, and oracles: The foundations of testing revisited. In Proc. of the Int'l Conf. on Software Engineering 2011, 2011.
J. Voas and K. Miller. Putting assertions in their place. In Software Reliability Engineering, 1994., 5th Int'l Symposium on, pages 152-157, 1994.
E. Weyuker. The oracle assumption of program testing. In 13th Int'l Conf on System Sciences, pages 44-49.
M. Whalen, A. Rajan, and M. Heimdahl. Coverage metrics for requirements-based testing. In Proceedings of International Symposium on Software Testing and Analysis, pages 25-36. ACM, July 2006.
Q. Xie and A. Memon. Designing and comparing automated test oracles for gui-based software applications. ACM Trans. on Software Engineering and Methodology (TOSEM), 16(1):4, 2007.
