H. Agrawal and J. Horgan. Dynamic program slicing. In Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation, volume 25, pages 246-256, 1990.
J. Andrews, L. Briand, Y. Labiche, and A. Namin. Using mutation analysis for assessing and comparing testing coverage criteria. IEEE Transactions on Software Engineering, 32(8):608-624, aug. 2006.
J. Chilenski. An investigation of three forms of the modified condition decision coverage (MCDC) criterion. Technical Report DOT/FAA/AR-01/18, Office of Aviation Research, Washington, D.C., April 2001.
J. J. Chilenski and S. P. Miller. Applicability of Modified Condition/Decision Coverage to Software Testing. Software Engineering Journal, pages 193-200, September 1994.
J. Clause, W. Li, and A. Orso. Dytan: a generic dynamic taint analysis framework. In Proceedings of the 2007 International Symposium on Software Testing and Analysis, pages 196-206, 2007.
R. DeMillo, R. Lipton, and F. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE computer, 11(4):34-41, 1978.
S. Devadas, A. Ghosh, and K. Keutzer. An observability-based code coverage metric for functional simulation. In Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, pages 418-425, 1996.
F. Fallah, P. Ashar, and S. Devadas. Functional vector generation for sequential HDL models under an observability-based code coverage metric. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 10(6):919-923, 2002.
F. Fallah, S. Devadas, and K. Keutzer. OCCOM-efficient computation of observability-based code coverage metrics for functional verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 20(8):1003-1015, 2001.
M. Felleisen and R. Hieb. The revised report on the syntactic theories of sequential control and state. Theor. Comput. Sci., 103(2):235-271, Sept. 1992.
A. Gargantini and C. Heitmeyer. Using model checking to generate tests from requirements specifications. Software Engineering Notes, 24(6):146-162, November 1999.
G. Hagen. Verifying safety properties of Lustre programs: an SMT-based approach. PhD thesis, University of Iowa, December 2008.
N. Halbwachs. Synchronous Programming of Reactive Systems. Klower Academic Press, 1993.
E. Jee, J. Yoo, S. Cha, and D. Bae. A data flow-based structural testing technique for FBD programs. Information and Software Technology, 51(7):1131-1139, 2009.
A. Lakehal and I. Parissis. Structural test coverage criteria for Lustre programs. In Proceedings of the 10th international workshop on Formal methods for industrial critical systems, pages 35-43, 2005.
W. Masri, A. Podgurski, and D. Leon. Detecting and debugging insecure information flows. In Proceedings of the 15th International Symposium on Software Reliability Engineering, pages 198-209, 2004.
Mathworks Inc. Simulink product web site. http://www.mathworks.com/ products/simulink.
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.
S. Rayadurgam and M. Heimdahl. Coverage based test-case generation using model checkers. In Proc. of the 8th IEEE Int'l. Conf. and Workshop on the Engineering of Computer Based Systems, pages 83-91. IEEE Computer Society, April 2001.
G. Rosu and T. F. Serbanuta. An overview of the k semantic framework. J. of Logic and Algebraic Programming, 79(6):397-434, 2010.
RTCA. DO-178B: Software Considerations In Airborne Systems and Equipment Certification. RTCA, 1992.
D. Schuler and A. Zeller. Assessing oracle quality with checked coverage. In Proceedings of the Fourth IEEE International Conference on Software Testing, Verification and Validation, pages 90-99, 2011.
M. Staats. The Influence of Multiple Artifacts on the Effectiveness of Software Testing. PhD thesis, University of Minnesota, 2011.
M. Staats, G. Gay, and M. Heimdahl. Automated oracle creation support, or: how I learned to stop worrying about fault propagation and love mutation testing. In Proceedings of the 2012 International Conference on Software Engineering, pages 870-880, 2012.
M. Staats, M. Whalen, and M. Heimdahl. Better testing through oracle selection (nier track). In Proceedings of the 33rd International Conference on Software Engineering, pages 892-895, 2011.
C. Van Eijk. Sequential equivalence checking based on structural similarities. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 19(7):814-819, 2002.
S. Vilkomir and J. Bowen. Reinforced condition/decision coverage (RC/DC): A new criterion for software testing. Lecture Notes in Computer Science, 2272:291-308, 2002.
M. W. Whalen, D. A. Greve, and L. G. Wagner. Model Checking Information Flow. Springer-Verlag, Berlin Germany, March 2010.
M. W. Whalen, M. P. Heimdahl, A. Rajan, and M. Staats. On MC/DC and implementation structure: An empirical study. In Proceedings of the 27th Digital Avionics Systems Conference, October 2008.
F. Wilcoxon. Individual comparisons by ranking methods. Biometrics Bulletin, 1(6):pp. 80-83, 1945
