[1] N. Abbattista, O. Altamura, F. Esposito, A. Franich and G.
Visaggio, Uno strumento di analisi per la manutenzione di un
programma, Atti del Congresso AICA (1981), 651-655.
[2] V. Basili and R. Belby, Comparing the effectiveness of software
strategies, IEEE Trans. on Soft. Eng. SE-13(12) (1987).
[3] M. Branstad, J. Ceriavskij and W. Adrion, Validation, verification
and testing for the individual programmer, IEEE Computer 13(12)
(1980), 24-30.
[4] R. Bryce and C. Colbourn, Prioritized interaction testing for
pairwise coverage with seeding and avoids, Information and Software
Technology Journal (IST, Elsevier) 48(10) (2006), 960-970.
[5] R. Bryce, A. Rajan and M. Heimdahl, Interaction testing in
model-based development: Effect on model coverage, 13th Asia-Pacific
Software Engineering Conf. Bangalore, India (2006).
[6] T. Cabe, A complexity measure, IEEE Trans. on Soft. Eng. SE-2(4)
(1976), 308-320.
[7] M. Ceriani, D. Marini and L. Palmieri, Un esperimento di
valutazione del testing di un programma in un ambiente industriale di
produzione del software, Atti del Congresso AICA (1980), 831-840.
[8] M. Ceriani, A. Cicu and M. Maiocchi, Progettazione, produzione e
manutenzione di tests per il controllo di qualita del software: un
metodo con relativi strumenti, Atti del Congresso AICA 2 (1979),
26-35.
[9] L. Clarke, A system to generate test data and symbolically execute
programs, IEEE Trans. on Soft. Eng. SE-2 (1976), 215-222.
[10] J. Darringer and J. King, Application of symbolic execute to
program testing, IEEE Computer 11(4) (1978), 51-60.
[11] J. Duran and S. Ntafos, An evaluation of random testing, IEEE
Trans. On Soft. Eng. SE-10(4) (1984).
[12] R. Fairley, Tutorial: Static analysis and dinamic testing of
computer software, IEEE Computer 11(4) (1978), 14-23.
[13] G. Gannon, Error detection using path testing and static
analysis, IEEE Computer 12(8) (1979), 26-31.
[14] D. Gelperin and B. Hetzel, The growth of software testing, Comm.
of the ACM 31(6) (1988).
[15] T. Green, N. Schneidewind, G. Howard and R. Pariseau, Program
structures, complexity and error characteristics, Proceedings of the
Symposium on Computer Software Engineer, New York (1976), 139-154.
[16] M. Grindal, J. Offutt and S. Andler, Combination testing
strategies: a survey, Software Testing, Verification and Reliability
15(3) (2005), 167-199.
[17] R. Hamlet, Special section on software testing, Comm. of the ACM,
31(6) (1988).
[18] W. Howden, An evaluation of the effectiveness of symbolic
testing, E. F. Miller, W. E. Howden, Tutorial: Software Testing and
Validation Techniques, IEEE, New York (1978), 300-313.
[19] W. Howden, Introduction to the theory of testing, E. F. Miller,
W. E. Howden, Tutorial: Software Testing and Validation Techniques,
IEEE, New York (1978), 16-19.
[20] W. Howden, Functional program testing, IEEE Trans. on Soft. Eng.
SE-6(2) (1980), 162-169.
[21] W. Howden, Weak mutation testing and completeness of test sets,
IEEE Trans. on Soft. Eng. SE-8(4) (1982).
[22] W. Howden, The theory and practices of functional testing, IEEE
Software (1985).
[23] W. Howden, A functional approach to program testing and analysis,
IEEE Trans. on Soft. Eng. SE-12(10) (1986).
[24] W. Howden, Reliability of the path analysis testing strategy,
IEEE Trans. on Soft. Eng. SE-2(3) (1976), 208-214.
[25] T. Kuo-Chung, Program testing complexity and test criteria, IEEE
Trans. on Soft. Eng. SE-6(6) (1980), 531-538.
[26] A. Land and A. Doig, An automatic method of solving discrete
programming problems, Econometrika 28(3) (1960), 497-520.
[27] T. McCabe, Structured Testing, IEEE Computer Society Press,
Silver Spring, Maryland (1982).
[28] E. Miller Jr., Program testing, IEEE Computer 11(4) (1978),
10-12.
[29] E. Miller and W. Howden, (Eds.) Tutorial: Software Testing and
Validation Techniques, IEEE Computer Society Press, New York
(1981).
[30] G. Myers, Software Reliability: Principles and Practices, John
Wiley and Sons, New York (1976).
[31] G. Myers, A controlled experiment in program testing and code
walk-throughs/inspections, Comm. of the ACM 21(98) (1978), 760-768.
[32] T. Ostrand and M. Balcer, The category-partition method for
specifying and generating functional tests, Comm. of the ACM 31(6)
(1988).
[33] C. Ramamoorthy, F. Siu-Bun and W. Chen, On the automated
generation of program test data, IEEE Trans. on Soft. Eng. SE-2(4)
(1976), 293-300.
[34] C. Ramamoorthy and F. Bastiani, Software reliability: Status and
perspectives, IEEE Trans. on Soft. Eng. SE-8(4) (1982).
[35] N. Schneidewind, Application of program graphs and complexity
analysis to software development and testing, IEEE Trans. on
Reliability R-28(3) (1979), 192-198.
[36] A. Sorkowitz, Certification testing: A procedure to improve the
quality of software testing, IEEE Computer 12(8) (1979), 20-24.
[37] P. Weide, Improving medical device safety with automated software
testing, Med. Dev. Diag. Indust, 16(8) (6679), (1994).
[38] S. Zeil and L. White, Sufficient test sets for path analysis
testing strategies, Proceedings of the 5s1 International Conference on
Soft. Eng. IEEE, San Diego, California (1981), 184-191.
[39] S. Zeil, Testing for perturbations of program statement, IEEE
Trans. on Soft. Eng. SE-9(3) (1983).