Bibliography

Program Analysis and Testing

1960-2008

J. C. Huang

Department of Computer Science

University of Houston

Houston, Texas

ABBO84 C. Abbott, "Intervention Schedules for Real-Time Programming," IEEE Trans. on Software Engineering, vol. 10, no. 3, May 1984, pp. 268-274.

ACM82 Special Issues on Rapid Prototyping: Working Papers from the ACM SIGSOFT Rapid Prototyping Workshop, ACM Software Engineering Notes, vol. 7, no. 5, Dec. 1982.

ADBC82 W. R. Adrion, M.. A. Branstad, and J. C. Cherniavsky, "Validation, Verification, and Testing of Computer Software," ACM Computing Surveys, vol. 14, no. 2, June 1982, pp.159-192.

AHSU86 A. V. Aho, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques, and Tools, Addison-Wesley, 1986.

ALAV84 M. Alavi, "An Assessment of the Prototyping Approach to Information Systems Development," Comm. of the ACM, vol. 27, no. 6, June 1984, pp. 556-563.

ALCO76 F. E. Allen and J. Cocke, "A Program Data Flow Analysis Procedure," Communications of the ACM, vol. 19, no. 3, March 1976, pp. 137-147.

ANDE79 R. B. Anderson, Proving Programs Correct, John Wiley, 1979.

ASMA70 E. Ashcroft and Z. Manna, The Translation of GOTO Programs to WHILE Programs, Tech. Report #CS-188, C. S. Dept., Stanford University, 1970.

BAGO99 I. Bashir and A. L. Goel, Testing Object-Oriented Software: Life Cycle Solutions, Springer, ISBN 0-387-98896-3, 1999.

BALA00 T. Ball and J. R. Larus, "Using Paths to Measure, Explain, and Enhance Program Behavior," IEEE Computer, July 2000, pp. 57-65.

BAMI75 S. K. Basu and J. Misra, "Proving Loop Programs," IEEE Transactions on Software Engineering, vol. SE-1, no. 1, March 1975, pp. 76-86.

BASE87 V. R. Basili and R. W. Selby, "Comparing the Effectiveness of Software Testing Strategies," IEEE Transactions on Software Engineering, vol. SE-13, no. 12, Dec. 1987, pp. 1278-1296.

BAYE75 S. K. Basu and R. T. Yeh, "Strong Verification of Programs," IEEE Transactions on Software Engineering, vol. SE-1, no. 3, Sept. 1975, pp. 339-345.

BDER79 G. Bristow, C. Drey, B. Edwards, and W. Riddle, "Anomaly Detection in Concurrent Programs," Tech. Report #CU-CS-147-79, Computer Science Dept., University of Colorado at Boulder, 1979.

BDHP71 J. R. Brown, A. J. DeSalvio, D. E. Heine, and J. G. Purdy, "Automatic Software Quality Assurance," in Program Test Methods, W. C. Hetzel (Ed.), Prentice-Hall, Englewood Cliffs, N.J., 1973, pp. 181-203.

BDLS78 T. Budd, R. A. DeMillo, R. A. Lipton, and F. G. Sayward, "The Design of a Prototype Mutation System for Program Testing," Proc. AFIPS Nat. Computer Conf., vol. 47, 1978, pp. 623-627.

BDLS78 T. Budd, R. A. DeMillo, R. A. Lipton, and F. G. Sayward, "Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs," 7th ACM Symposium on Principles of Programming Languages, Jan. 1980, pp. 220-233.

BEIZ90 B. Beizer, Software Testing Techniques (2nd ed.), International Thomson Computer Press, London, 1990.

BEMA94 A. Bertolino and M. Marre, "Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs," IEEE Trans. on Software Engineering, vol. 20, no. 12, Dec. 1994, pp. 885-899.

BERA94 E. V. Berard, “Issues in Testing OO Software” IEE Electro/94 International, ISBN: 0-7803-2630-X, 1994.

BERG62 C. Berge, Theory of Graphs and its Applications, John Wiley, 1962.

BINK97 D. Binkley, "Semantics Guided Regression Test Cost Reduction," IEEE Trans. Software Engineering, vol. 23, no. 8, Aug. 1997, pp. 498-516.

BLAC07 R. Black, Pragmatic Software Testing, Wiley, 2007.

BOKM02 C. Boyapati, S. Khurshid, and D. Marinov, "Korat: Automated testing based on Java predicates," Proc. ACM International Symp. on Software Testing and Analysis, July 2002.

BOSC03 P. J. Boland, H. Singh, and B. Cukic, "Comparing Partition and Random Testing via Majorization and Schur Functions," IEEE Trans. Software Engineering, vol. 29, no. 1, Jan. 2003, pp. 88-94.

BROW88 M. H. Brown, Algorithm Animation, The MIT Press, 1988.

BRPL04 L. C. Briand, M. Di Penta, and Y. Labiche, "Assessing and Improving State-Based Class Testing: A Series of Experiments," IEEE Trans. Software Engineering, vol. 30, no. 11, Nov. 2004, pp. 770-793.

BSRR02 M. Burnett, A. Sheretov, B. Ren, and G. Rothermel, "Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology, IEEE Trans. on Software Engineering, vol. 28, no. 6, Aug. 2002, pp. 576-594.

BUKO70 B. Bussell and R. A. Koster, "Instrumenting Computer Systems and their Programs," AFIPS Conf. Proc., vol. 37, 1970 FJCC, 1970, pp. 525-534.

CADM02 J. W. Cangussu, R. A. DeCarlo, and A. P. Mathur, "A Formal Model of the Software Test Process," IEEE Trans. Software Engineering, vol. 28, no. 8, Aug. 2002, pp. 782-796.

CATA91 R. Carver and K. C. Tai, "Replay and Testing for Concurrent Programs," IEEE Software, vol. 8, no. 2, Mar. 1991, pp. 66-74.

CDFP97 D. M. Cohen, S. R. Dalal, M. L. Fredman, and G. C. Patton, "The AETG System: An Approach to Testing Based on Combinatorial Design," IEEE Trans. on Software Engineering, vol. 23, no. 7, Jul. 1997, pp. 437-444.

CHBC93 J. K. Chaar, M. J. Halliday, I. S. Bhandari, and R. Chillarege, "In-Process Evaluation for Software Inspection and Test," IEEE Trans. Software Engineering, vol. 19, no. 11, Nov. 1993, pp. 1055-1070.

CHHT79 T. E. Cheatham, Jr., G. H. Holloway, and J. A. Townley, "Symbolic Evaluation and the Analysis of Programs," IEEE Trans. on Software Engineering, vol. SE-5, no. 4, July 1979, pp. 402-417.

CHLE73 C. L. Chang and R. C. T. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1973.

CHMC85 E. Charniak and D. McDermott, Introduction to Artificial Intelligence, Addison-Wesley, Reading, Massachusetts, 1985, p. 147.

CHUS87 T. Chusho, "Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing," IEEE Trans. on Software Engineering, vol. SE-13, no. 5, May 1987, pp. 509-517.

CHYU94 T. Y. Chen and Y. T. Yu, "On the Relationship Between Partition and Random Testing," IEEE Trans. on Software Engineering, vol. 20, no. 12, Dec. 1994, pp. 977-979.

CHYU96 T. Y. Chen and Y. T. Yu, "On the Expected Number of Failures Detected by Subdomain Testing and Random Testing," IEEE Trans. on Software Engineering, vol. 22, no. 2, Feb. 1996, pp. 109-119.

CLAR76 L. Clarke, "A System to Generate Test Data and Symbolically Execute Programs," IEEE Trans. Software Engineering, vol. SE-2, no. 3, September 1976, pp. 215-222.

COPI65 I. M. Copi, Symbolic Logic, MacMillan, New York, 1965.

CRIS84 F. Cristian, "Correct and Robust Programs," IEEE Trans on Software Engineering, vol. SE-10, March 1984, pp. 163-174.

CRJA02 R. D. Craig and S. P. Jaskiel, Systematic Software Testing, Artech House, 2002.

CUBC02 R. Culbertson, C. Brown, and G. Cobb, Rapid Testing, Prentice-Hall, Upper Saddle River, NJ., 2002.

CYKL05 D. Coppit, J. Yang, S.Khurshid, W. Le, and K Sullivan, "Software Assurance by Bounded Exhaustive Testing," IEEE Trans. on Software Engineering vol.31, no. 4, Apr. 2005, pp.328-339.

DADH72 O. J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Structured Programming, Academic Press, New York, N.Y., 1972.

DAVI78 C. G. Davis, "The Testing of Large, Real Time Software Systems," Proc. 7th Texas Conference on Computing Systems, 1978.

DELS78 R. A. DeMillo, R. J. Lipton, and F. G. Sayward, "Hints on Test Data Selection: Help for the Practicing Programmer," Computer, vol. 11, no. 4, Apr. 1978, pp. 34-41.

DENN91 R. Denney, "Test-Case Generation from Prolog-Based Specifications," IEEE Software, vol. 8, no. 2, Mar. 1991, pp. 49-57.

DEOF91 R. A. DeMillo and A. J. Offutt, "Constraint-Based Automatic Test Data Generation," IEEE Trans. on Software Engineering, vol. 17, no. 9, Sept. 1991, pp. 900-911.

DIJK75 E. W. Dijkstra, "Guarded Commands, Nondeterminancy and Formal Derivation of Programs," Comm. of the ACM, vol. 18, no. 8, August 1975, pp. 453-457.

DIJK76 E. W. Dijkstra, A Discipline of Programming, Prentice-Hall, 1976.

DIJK90 E. W. Dijkstra, Formal Development of Programs and Proofs, Addison-Wesley, 1990.

DKST05 D. P. Darcy, C. F. Kemerer, S. A. Slaughter, and J. E. Tomayko, "The Structural Complexity of Software: An Experimental Test," IEEE Trans. on Software Engineering, vol. 31, no. 11, Nov. 2005, pp. 982-995.

DMMP87 R. A. DeMillo, W. M. McCraken, R. J. Martin, and J. F. Passafiume, Software Testing and Evaluation, Benjamin/Commings, Menlo Park, CA, 1987.

DUNT84 J. W. Duran and S. C. Ntafos, "An Evaluation of Random Testing," IEEE Trans. Software Engineering, vol. SE-10, no. 4, July 1984, pp. 438-444.

DURP99 E. Dustin, J. Rashka, and J. Paul, Automated Software Testing, Addison-Wesley, Reading, MA, 1999.

DURW03 A. Dunsmore, M. Roper, and M. Wood, "The Development and Evaluation of Three Diverse Techniques for Object-Oriented Code Inspection," IEEE Trans. on Software Engineering, vol. 29, no. 8, Aug. 2003, pp. 677-686.

EGKM02 S. G. Eick, T. L. Graves, A. F. Karr, A. Mockus, and P. Schuster, "Visualizing Software Changes," IEEE Trans. Software Engineering, vol. 28, no. 4, Apr. 2002, pp. 396-412.

ELDI05 S. Elbaum and M. Diep, "Profiling Deployed Software: Assessing Strategies and Testing Opportunities," IEEE Trans. on Software Engineering, vol. 31, no. 4, Apr. 2005, pp. 312-327.

ELME73 W. R. Elmendorf, Cause-Effect Graphs in Functional Testing, TR-00.2487, IBM System Development Division, Poughkeepsie, N.Y., 1973.

EVMM07 G. D. Everett, R. McLeod, Jr., R. McLeod, Software Testing, Wiley, 2007.

FAIR75 R. E. Fairley, "An Experimental Program Testing Facility," IEEE Trans. Software Engineering, vol. SE-1, no. 4, 1975, pp. 350-357.

FAIR79 R. E. Fairley, "ALADDIN: Assembly Language Assertion Driven Debugging Interpreter," IEEE Trans. on Software Engineering, vol. 5, no. 4, July 1979, pp. 426-428.

FBKA91 S. Fujiwara, G. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi, "Test Selection Based on Finite State Models," IEEE Trans. on Software Engineering, vol. 17, no. 6, June 1991, pp. 591-603.

FEGR99 M. Fewstrt and D. Graham, Software Test Automation: Effective Use of Text Execution Tools, Addison-Wesley, Reading, Massachusetts, 1999.

FENE99 N. E. Fenton and M. Neil, "A Critique of Software Defect Prediction Methods," IEEE Trans. on Software Engineering, vol.25, no. 5, Sep. 1999, pp. 675-689.

FHLS98 P. G. Frankl, R. G. Hamlet, B. Littlewood, and L. Strigini, "Evaluating Test Methods by Delivered Reliability," IEEE Trans. on Software Engineering, vol. 24, no. 8, Aug. 1998, pp. 586-601.

FHLS99 P. G. Frankl, R. G. Hamlet, B. Littlewood, and L. Strigini, "Correction to: Evaluating Test Methods by Delivered Reliability," IEEE Trans. on Software Engineering, vol. 25, no. 2, Mar. 1999, p. 286.

FLFQ05 C. Flanagan, S. N. Freund, and S. Qadeer, "Exploiting Purity for Atomicity," IEEE Trans. on Software Engineering, vol. 31, no. 4, Apr. 2005, pp. 275-291.

FLOY67 R. W. Floyd, "Assigning Meaning to Programs," Proceedings of a Symposium in Applied Mathematics, vol. 19 - Mathematical Aspects of Computer Science, J. T. Schwartz (Ed.), American Mathematical Society, 1967, pp. 19-32.

FMRW05 C. Fu, A. Milanova, B.G. Ryder, and D. G. Wonnacott, "Robustness Testing of Java Server Applications," IEEE Trans. on Software Engineering, vol. 31, no. 4, Apr. 2005, pp. 292-311.

FOOS76 L. D. Fosdick and L. J. Osterweil, "Data Flow Analysis in Software Reliability," ACM Computing Surveys, vol. 8, no. 3, Sept. 1976, pp. 305-330.

FREE91 R. S. Freedman, "Testability of Software Components," IEEE Trans. on Software Engineering, vol. 17, no. 6, June 1991, pp. 553-564.

FRVO95 M. Friedman and J. Voas, Software Assessment: Reliability, Safety, and Testability, Wiley, 1995.

FRWE88 P. G. Frankl and E. J. Weyuker, "An Applicable Family of Data Flow Testing Criteria," IEEE Trans. Software Engineering, vol. 14, no. 10, Oct. 1988, p. 1483-1498.

FRWE93a P. G. Frankl and E. J. Weyuker, "A Formal Analysis of the Fault-Detecting Ability of Testing Methods," IEEE Trans. Software Engineering, vol. 19, no. 3, Mar. 1993, p. 202-213.

FRWE93b P. G. Frankl and S. N Weiss, "An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing," IEEE Trans. Software Engineering, vol. 19, no. 8, Aug. 1993, pp. 774-787.

FRWE93c P. G. Frankl and E. J. Weyuker, "Provable Improvements on Branch Testing," IEEE Trans. Software Engineering, vol. 19, no. 10, Oct. 1993, pp. 962-976.

FRWE93d P. G. Frankl and S. N Weiss, Correction to "An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing," IEEE Trans. Software Engineering, vol. 19, no. 12, Dec. 1993, p. 1180.

GANA97 M. J. Gallagher and V. L. Narasimhan, "ADTEST: A Test Data Generation Suite for Ada Software Systems," IEEE Trans. Software Engineering, vol. 23, no. 8, Aug. 1997, pp. 473-485.

GEHA83 N. Gehani, ADA: An Advanced Introduction, Prentice-Hall, 1983.

GELL78 M. Geller, "Test Data as an Aid in Proving Program Correctness," Communications of the ACM, vol. 21, no. 5, May 1978, pp. 368-375.

GHSC99 A. Ghosh and M. Schmid, "An Approach to Testing COTS Software for Robustness to Operating System Exceptions and Errors," Proc. of the Tenth International Symposium on Software Reliability Engineering, Los Alamos, CA IEEE Computer Society Press, 1999, pp. 166-174.

GIRG93 M. R. Girgis, Corrigendum for "Constraint-Based Automatic Test Data Generation," IEEE Trans. Software Engineering, vol. 19, no. 6, June 1993, p. 640.

GIVO03 D. D. Givone, Digital Principles and Design, McGraw-Hill, 2003.

GOGE77 J. B. Goodenough and S. L. Gerhart, "Toward a Theory of Testing: Data Selection Criteria," in Current Trends in Programming Methodology, volume II: Program Validation, R. T. Yeh (Ed.), Prentice-Hall, Englewood Cliffs, NJ, 1977, pp. 44-79.

GOUR83 J. Gourlay, "A Mathematical Framework for the investigation of Testing," IEEE Trans. on Software Engineering, vol. SE-9, Nov. 1983, pp. 686-709.

GRAH02 D. Graham, "Requirements and Testing: Seven Missing-Link Myths," IEEE Software, vol. 19, no. 5, Sep./Oct. 2002, pp. 15-17.

GUGU02 N. Gupta and R. Gupta, "Data Flow Testing" in The Compiler Design Handbook: Optimization and Machine Code Generation, Ch. 7, CRC Press, 2002, pp. 247-267.

GUTJ99 W. J. Gutjahr, "Partition Testing vs. Random Testing: The Influency of Uncertainty," IEEE Trans. on Software Engineering, vol.25, no. 5, Sep. 1999, pp. 661-674.

HAKI76 S. L. Hantler and J. C. King, "An Introduction to Proving the Correctness of Programs," ACM Computing Surveys, vol. 8, no. 3, Sept. 1976, pp. 331-353.

HAML77 R. G. Hamlet, "Testing Programs with the Aide of a Compiler," IEEE Trans. Software Engineering, vol. SE-3, No. 4, July 1977, pp. 279-289.

HAML89 R. G. Hamlet, "Theoretical Comparison of Testing Methods," Proc. 3rd Symposium on Software Testing, Analysis, and Verification, Dec. 1989, pp. 28-37.

HARA69 F. Harary, Graph Theory, Addison-Wesley, New York, N.Y., 1969.

HASO91 M. J. Harrold and M. L. Soffa, "Selecting and Using Data for Integration Testing," IEEE Software, vol. 8, no. 2, Mar. 1991, pp. 58-65.

HATA90 D. Hamlet and R. Taylor, "Partition Testing Does Not Inspire Confidence," IEEE Trans. Software Engineering, vol. 16, no. 12, pp. 1402-1411, Dec. 1990.

HATT07 L. Hatton, "The Chimera of Software Quality," IEEE Computer, vol. 40, no. 7, 2007.

HECM02 D. Hendrix, J. H. Cross II, and S. Maghsoodloo, "The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities," IEEE Trans. Software Engineering, vol. 28, no. 5, May 2002, pp. 463-477.

HEND77 P. Henderson, "Structured Program Testing," in Current Trends in Programming Methodology, volume II: Program Validation, R. T. Yeh (Ed.), Prentice-Hall, Englewood Cliffs, N. J., 1977, pp. 1-15.

HETZ73 W. C. Hetzel, Program Test Methods, Prentice-Hall, Englewood Cliffs, N.J., 1973.

HEUL75 M. S. Hecht and J. D. Ullman, "A Simple Algorithm for Global Data Flow Analysis Problems," SIAM J. Computing, vol. 4, Dec. 1975, pp. 519-532.

HEWH02 C. A. Healy and D. B. Whalley, "Automatic Detection and Exploitation of Branch Constraints for Timing Analysis," IEEE Trans. Software Engineering, vol. 28, no. 8, Aug. 2002, pp. 763-781.

HIBO94 T. Higashino and G. V. Bochmann, "Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters," IEEE Trans. Software Engineering, vol. 20, no. 1, Jan. 1994, pp. 29-42.

HMWZ92 J. C. Huang, J. Munoz, H. Watt, and G. Zvara, "ECOS Graphs: A Dataflow Programming Language," Proc. of Symposium on Applied Computing, Mar. 1992.

HOAR69 C. A. R. Hoare, "An axiomatic basis for computer programming," Communications of the ACM, vol. 12, no. 10, Oct. 1969, pp. 576-580.

HOEI77 W. E. Howden and P. Eichhorst, Proving Properties of Programs from Program Traces, CS Report #18, University of California at San Diego, 1977.

HORS96 C. Horstmann, Mastering C++, John Wiley, 1996.

HOSM02 G. J. Holzmann and M. H. Smith, "An Automated Verification Method for Distributed Systems Software Based on Model Extraction," IEEE Trans. Software Engineering, vol. 28, no. 4, Apr. 2002, pp. 364-377.

HOST91 D. M. Hoffman and P. Strooper, "Automated Module Testing in Prolog," IEEE Trans. on Software Engineering, vol. 17, no. 9, Sept. 1991, pp. 934-944.

HOWD75 W. E. Howden, "Methodology for Generation of Program Test Data," IEEE Trans. Computers, vol. TC-24, no. 5, May l975, pp. 554-559.

HOWD76 W. E. Howden, "Reliability of the Path Analysis Testing Strategy," IEEE Trans. Software Engineering, vol. SE-2, no. 3, Sept. 1976, pp. 208-214.

HOWD77 W. E. Howden, "Symbolic Testing and the DISSECT Symbolic Evaluation System," IEEE Trans. Software Engineering, vol. SE-3, no. 4, July 1977, pp. 266-278.

HOWD78a W. E. Howden, "DISSECT -- A Symbolic Evaluation and Program Testing System," IEEE Trans. Software Engineering, vol. SE-4, no. 1, January 1978, pp. 70-73.

HOWD78b W. E. Howden, "A Survey of Dynamic Analysis Methods," in Software Testing and Validation Techniques, E. F. Miller and W. E. Howden (Eds.), IEEE Computer Society, Long Beach, CA, 1978, pp. 184-206.

HOWD78c W. E. Howden, "An Evaluation of the Effectiveness of Symbolic Testing and of Testing on Acutal Data," Software Practice and Exp., vol. 8, 1978, pp. 381-397.

HOWD80a W. E. Howden, "Functional Testing and Design Abstraction," J. Syst. Software, vol. 1, 1980, pp. 307-313.

HOWD80b W. E. Howden, "Functional Program Testing," IEEE Trans. Software Engineering, vol. SE-6, no. 2, March 1980, pp. 162-169.

HOWD80c W. E. Howden, "Applicability of Software Validation Techniques to Scientific Programs," ACM Trans. Programming Language and System, vol. 2, no. 3, July 1980, pp. 307-320.

HOWD82 W. E. Howden, "Validation of Scientific Programs," ACM Computing Surveys, vol. 14, no. 2, June 1982, pp. 193-227.

HOWD87 W. E. Howden, Functional Program Testing and Analysis, McGraw-Hill, 1987.

HUAN75 J. C. Huang, "An Approach to Program Testing," ACM Computing Surveys, vol. 7, no. 3, Sept. 1975, pp. 113-128.

HUAN76 J. C. Huang, "A Method for Program Analysis and its Applications to Program-Correctness Problems," International Journal of Computer Mathematics, vol. 5, no. 4, 1976, pp. 203-227.

HUAN77a J. C. Huang, "Principles of Software Validation," Proc. 1977 Summer Computer Simulation Conference, Chicago, Ill., 1977, pp. 705-708.

HUAN77b J. C. Huang, "Error Detection Through Program Testing," in Current Trends in Programming Methodology, volume II: Program Validation, R. T. Yeh Ed.), Prentice-Hall, Englewood Cliffs, N. J., 1977, pp. 16-43.

HUAN78a J. C. Huang, "Program Instrumentation and Software Testing," Computer, vol. 11, no. 4, April 1978, pp. 25-32.

HUAN78b J. C. Huang, "Program Instrumentation: a Tool for Software Testing," Proc. INFOTECH State of the Art Conference on Software Testing, London, England, 1978.

Also in INFOTECH State of the Art Report: Software Testing, Volume 2: Invited Papers, Infotech International, England, 1979, pp. 147-159.

HUAN79 J. C. Huang, "Detection of Data Flow Anomaly through Program Instrumentation," IEEE Trans. Software Engineering, vol. SE-5, no. 3, May 1979.

HUAN80a J. C. Huang, "A New Verification Rule and its Applications," IEEE Trans. Software Engineering, vol. SE-6, no. 5, Sept. 1980, pp. 480-484.

HUAN80b J. C. Huang, "Instrumenting Programs for Symbolic-Trace Generation," IEEE Computer, vol. 13, no. 12, Dec. 1980, pp. 17-23.

HUAN82 J. C. Huang, "Experience with Use of Program Instrumentation in Software Testing," Proc. National Security Industrial Assoc. National Conf. on Software Technology and Management, Alexandria, VA, Oct. 1981.

HUAN87 J. C. Huang, "A Depth-First and Tool-Supportable Programming Strategy," Software -- Practice and Experience, vol. 17, no. 2, Feb., 1987, pp. 159-163.

HUAN90 J. C. Huang, "State Constraints and Pathwise Decomposition of Programs," IEEE Trans. on Software Engineering, vol. 16, no. 8, Aug. 1990, pp. 880-896.

HUAN98 J. C. Huang, "Measuring the Effectiveness of a Test Case," Proc. 1998 IEEE Workshop on Application Specific Software Engineering and Technology, Mar. 1998, pp. 157-159.

HUAN08 J. C. Huang, Path-Oriented Program Analysis, Cambridge University Press, New York, 2008.

HUHL84 J. C. Huang, M. Ho, and T. Law, "A Simulator for Real-Time Software Debugging and Testing," Software Practice and Experience, vol. 14, no. 9, Sept. 1984, pp. 845-855.

HULE99 J. C. Huang and T. Leng, "Generalized Loop-Unrolling: A Method for Program Speedup" Proc. 1999 IEEE Workshop on Application-Specific Software Engineering and Technology, Mar. 1999, pp. 244-248.

HURL83 R. B. Hurley, Decision Tables in Software Engineering, Van Nostrand Reinhold, 1983.

HUVY84 J. C. Huang, P. Valdes, and R. T. Yeh, "A Tool-Based Approach to Software Validation and Testing," Proc. National Computer Conference, July 1984.

HUYE75 J. C. Huang and R. T. Yeh, "A Method of Test-Case Generation," Proc. Second US-Japan Computer Conference, Tokyo, Japan, 1975, pp. 585-589.

JAAG84 J. Jachner and V. K. Agarwal, "Data Flow Anomaly Detection," IEEE Transactions on Software Engineering, vol. SE-10, no. 4, July 1984, pp. 432-437.

JARZ98 S. Jarzabek, "Design of Flexible Static Program Analyzers with PQL," IEEE Trans. Software Engineering, vol. 24, no. 3, Mar. 1998, pp. 197-215.

JORG02 P. Jorgensen, Software Testing: A Craftsman's Approach, CRC Press, 2002.

JVCS07 J. Jacky, M. Veanes, C. Campbell, and W. Schulte, Model-Based Software Testing and Analysis with C#, Cambridge University Press, 2007.

JVSJ06 P. Jalote, V. Vangala, T. Singh, and P. Jain, "Program partitioning: a framework for combining static and dynamic analysis", in Proc. of the 2006 international workshop on Dynamic systems analysis, 2006, pp.11--16, Shanghai, China.

KABP01 C. Kaner, J. Bach, and B. Pettichord, Lessons Learned in Software Testing, Wiley, 2001.

KAFN99 C. Kaner, J. Falk, H. Q. Nguyen, Testing Computer Software (2nd ed.), Wiley, New York, 1999.

KALA00 M. S. Kalambi, Development of a Graphical Software Analysis Tool Using Software Engineering Concepts for Corporate-Wide System Engineering, MS Thesis, Department of Computer Science, University of Houston, Houston, Texas, 2000.

KEPI99 B. W. Kernighan and R. Pike, The Practice of Programming, Addison-Wesley, Reading, MA, 1999.

KEPL74 B. W. Kernighan and P. J. Plaugher, The Elements of Programming Style, McGraw-Hill, New York, N.Y., 1974.

KERI88 B. W. Kernighan and D. M. Ritchie, The C Programming Language, 2nd ed., Prentice-Hall, 1988.

KIFI95 E. Kit and S. Finzi, Software Testing in the Real World: Improving the Process, Addison-wesley, 1995.

KING75 J. C. King, "A New Approach to Program Testing," Proc. of 1975 International Conference on Reliable Software, Los Angeles, Calif., 1975.

KING76 J. C. King, "Symbolic Execution and Program Testing," Communications of the ACM, vol. 19, no. 7, July 1976, pp. 385-394.

KIOF91 K. King and A. J. Offut, "A Fortran Language System for Mutation-Based Software Testing," Software Practice and Experience, vol. 21, no. 7, 1991, pp. 685-718.

KOCT02 P. V. Koppol, R. H. Carver, and K. -C, Tai, "Incremental Integration Testing of Concurrent Programs," IEEE Trans. on Software Engineering, vol. 28, no. 6, Aug. 2002, pp. 607-623.

KORF66 R. R. Korfhage, Logic and Algorithms, John Wiley & Sons, Inc., New York, 1966.

KOVA88 W. Kobrosly and S. Vassiliadis, "A Survey of Software Functional Testing Techniques," IEEE (Cat. No. 88TH0220), 1988, pp. 127-134.

KRMR91 E. W. Krauser, A. P. Mathur, and V. J. Rego, "High Performance Software Testing on SIMD Machines," IEEE Trans. on Software Engineering, vol. 17, no. 6, May 1991, pp. 403-423.

KRSG73 K. W. Krause, R. W. Smith, and M. A. Goodwin, "Optimal Software Test Planning through Automated Network Analysis," Proc. IEEE Symp. on Computer Software Reliability, 1973.

KUHG98 D. C. Kung, P. Hsia, and J. Gao, Testing Object-Oriented Software, IEEE Computer Society, 1998. (ISBN 0-8186-8520-4)

KUWG04 D. R. Kuhn, D. R. Wallace, and A. M. Gallo Jr., "Software Fault Interactions and Implications for Software Testing," IEEE Trans. of Software Engineering, vol. 30, no. 6., Jun. 2004, pp. 418-421.

LAKO83 J. W. Laski and B. Korel, "A Data Flow Oriented Program Testing Strategy," IEEE Trans. Software Engineering, vol. SE-9, no. 3, May 1983, pp. 347-354.

LAMP79 L. Lamport, "A New Approach to Proving the Correctness of Multiprocessor Programs," TOPLAS, vol. 1, no. 1, July 1979, pp. 84-97.

LARU93 J. R. Larus, "Efficient Program Tracing," IEEE Computer, vol. 26, no. 5, May 1993, pp. 52-61.

LAVI97 G. Lanubile and G. Visaggio, "Extracting Reusable Functions by Flow Graph-Based Program Slicing," IEEE Trans. on Software Engineering, vol. 23, No. 4, April 1997, pp. 246-259.

LEBL99 T. P. LeBlanc, Selection of Test Cases to Cost-Effectively Reduce the Risk of Failure of a Rule-Based Scheduling Engine, MS Thesis, Department of Computer Science, University of Houston, Houston, TX, May 1999.

LECA06 Y. Lei and R. H. Carver, "Reachability Testing of Concurrent Programs," IEEE Trans. on Software Engineering, vol. 32, no. 6, Jun. 2006, pp. 382-404.

LELE88 W. Leler, Constraint Programming Languages, Addison-Wesley, 1988.

LIEN83 B. P. Lientz, "Issues in Software Maintenance," ACM Computing Surveys, vol. 15, no. 3, 1983, pp. 271-278.

LIJE88 T. E. Lindquist and J. R. Jenkins, "Test-Case Generation with IOGen," IEEE Software, vol. 5, no. 1, Jan. 1988, pp. 72-79.

LIWR97 B. Littlewood and D. Wright, "Some Conservative Stopping Rules for the Operational Testing of Safty-Critical Software," IEEE Trans. Software Engineering, vol. 23, no. 11, Nov. 1997, pp. 673-683.

LMPS04 S. Loveland, G. Miller, R. Prewitt, and M. Shannon, Software Testing Techniques: Finding the Defects that Matter, Charles River Media, 2004.

LOND77 R. L. London, "Perspectives on Program Verification," in Current Trends in Programming Methodology, R. T. Yeh (Ed.), Prentice-Hall, Englewood Cliffs, N. J., 1977, pp. 151-172.

LUDB94 G. Luo, A. Das, and G. v. Bochmann, "Software Testing Based on SDL Specifications with Save," IEEE Trans. Software Engineering, vol. 20, no. 1, Jan. 1994, pp. 72-87.

LUNT65 A. G. Lunts, "A Method of Analysis of Finite Automata," Soviet Physics - Doklady, vol. 10, 1965, pp. 102-103.

LUSU79 D. C. Luckham and N. Suzuki, "Verification of Array, Record, and Pointer Operations in Pascal," TOPLAS, vol. 1, no. 2, Oct. 1979, pp. 226-244.

MACE05 M. Mock, D. C. Atkinson, C. Chambers, and S. J. Eggers, "Program Slicing with Dynamic Points-To Sets," IEEE Trans. Software Engineering, vol. 31, no. 8, Aug. 2005, pp. 657-678.

MANN74 Z. Manna, Mathematical Theory of Computation, McGraw-Hill, 1974.

MANN02 C. C.Mann, "Why Software Is So Bad," MIT Technology Review, Jul./Aug. 2002, pp. 32-39.

MARI95 B. Marick, The Craft of Software Testing, Prentice-Hall, Upper Saddle River, New Jersey, 1995.

MAWU93 Z. Manna and R. Wuldinger, The Deductive Foundations of Computer Programming, Addion-Wesley, 1993.

MCCA76 T. J. McCabe, "A Complexity Measure," IEEE Trans. Software Engineering, vol. SE-2, no. 4, Dec. 1976, pp. 308-320.

MCGA83 P. R. McMullin and J. D. Gannon, "Combining Testing with Formal Specifications: A Case Study," IEEE Trans. Software Engineering, vol. SE-9, no. 3, May 1983, pp. 328-334.

MENS02 T. Mens, "A State-of-the-Art Survey on Software Merging," IEEE Trans. Software Engineering, vol. 28, no. 5, May 2002, pp. 449-462.

MEXI05 A. M. Memon and Q. Xie, "Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software," IEEE Trans. Software Engineering, vol. 31, no. 10, Oct. 2005, pp. 884-896.

MEYE08 B. Meyer, "Seven Principles of Software Testing," IEEE Computer, vol. 41, no. 8, pp. 99-101.

MIHO81 E. Miller and W. E. Howden, Tutorial: Software Testing and Validation Technique, IEEE Computer Society Press, IEEE Catalog No. EHO 180-0, 1981.

MILL74 E. F. Miller, "Structurally Based Automatic Program Testing," Proc. EASCON-74, Washington, D.C., 1974.

MIME75 E. F. Miller and R. A. Melton, "Automated Generation of Test-Case Datasets," Proc. 1975 Int. Conf. on Reliable Software, Los Angeles, California, April 1975.

MIMS01 C. C. Michael, G. McGraw, and M. A. Schatz, "Generating Software Test Data by Evolution," IEEE Trans. on Software Engineering, vol. 27, no. 12, Dec. 2001, pp. 1085-1110.

MIYI04 J. Miller and Z. Yin, "A Cognitive-Based Mechanism for Constructing Software Inspection Team, " IEEE Trans. Software Engineering, vol. 30, no. 11, Nov. 2004, pp. 811-825.

MMNP92 K. W. Miller, L. J. Morell, R. E. Noonan, S. K. Park, D. M. Nicol, B. W. Murrill, and J. M. Voas, "Estimating the Probability of Failure When Testing Reveals No Failures," IEEE Trans. Software Engineering, vol. 18, no. 1, Jan. 1992, pp. 33-43.

MORI79 M. S. Moriconi, "A Designer/Verifier's Assistant," IEEE Trans. on Software Engineering, vol. SE-5, no. 4, July 1979, pp. 387-401.

MOWE77 J. H. Morris, Jr. and B. Wegbreit, "Program Verification by Subgoal Induction," in Current Trends in Programming Methodology, Vol. II: Program Validation, R. T. Yeh, Ed., Prentice-Hall, 1977, pp. 197-227.

MUIO87 J. D. Musa, A. Iannino, and K. Okumoro, Software Reliability: Measurement, Prediction, Application, McGraw-Hill, 1987.

MUSA93 J. D. Musa, "Operational Profiles in Software-Reliability Engineering," IEEE Software, pp. 14-23, 1993.

MUSA96 J. D. Musa, "Software Reliability Engineered Testing," IEEE Computer, vol. 29, no. 11, Nov. 1996, pp. 61-68.

MYER79 G. F. Myers, The Art of Software Testing, Wiley-Interscience, 1979.

NAIK07 S. Naik, Software Testing and Quality Assurance, Wiley, 2007.

NTAF84 S. C. Ntafos, "An Evaluation of Required Element Testing Strategies," IEEE Trans. on Software Engineering, vol. SE-10, no. 6, Nov. 1984.

NTHA79 S. C. Ntafos and S. L. Hakimi, "On Path Cover Problems in Digraphs and Applications to Program Testing," IEEE Trans. on Software Engineering, vol. SE-5, no. 5, Sept. 1979, pp. 520-529.

OFLE94 A. J. Offutt and S. D. Lee, "An Empirical Evaluation of Weak Mutation," IEEE Trans. on Software Engineering, vol. 20, no. 5, May 1994, pp. 337-344.

OCBA88 T. J. Ostrand and M. J. Balcer, "The Category-Partition Method for Specifying and Generating Functional Tests," Communications of the ACM, vol. 31, no. 6, Jun. 1988, pp. 676-686.

OSFO76 L. J. Osterweil and L. D. Fosdick, "DAVE - A Validation, Error Detection, and Documentation System for FORTRAN Programs," Software Practice and Experience, vol. 6, 1976, pp. 473-486.

OSWB05 T. J. Ostrand, E. J. Weyuker, and R. M. Bell, "Predicting the Location and Number of Faults in Large Software Systems," IEEE Trans. on Software Engineering, vol. 31, no. 4, Apr. 2005, pp. 340-355.

PABC93 A. S. Parrish, R. B. Borie, and D. W. Cordes, “Automated Flow Graph-Based Testing of Object-Oriented Software Modules”, Journal of Systems and Software, Volume 23, 1993, pages 95-109.

PABE74 M. R. Paige and J. P. Benson, "The Use of Software Probes in Testing FORTRAN Programs," Computer, vol. 7, July 1974, pp. 40-47.

PALA03 D. L. Parnas and M. Lawford, "The Role of Inspection in Software Quality Assurance," IEEE Trans. on Software Engineering, vol. 29, no. 8, Aug. 2003, pp. 674-676.

PAZW91 A. S. Parrish and S. H. Zweben, "Analysis and Refinement of Software Test Data Adequacy Properties," IEEE Trans. Software Engineering, vol. 17, no. 6, June 1991, pp. 565-581.

PAZW93 A. S. Parrish and S. H. Zweben, "Clarifying Some Fundamental Concepts in Software Testing," IEEE Trans. Software Engineering, vol. 19, no. 7, Jul. 1993, pp. 687-697.

PEPA98 D. K. Peters and D. L. Parnas, "Using Test Oracles Generated from Program Documentation," IEEE Trans. on Software Engineering, vol. 24, no. 3, Mar. 1998, pp. 161-173.

POLA79 W. Polak, "An Exercise in Automatic Program Verification," IEEE Trans. on Software Engineering, vol. SE-5, no. 5, Sept. 1979, pp. 453-458.

PRAK99 S. Prakash, Design and Development of a Software Analysis Tool, Master Thesis, Department of Computer Science, University of Houston, Houston, Texas, 1999.

RAHC76 C. V. Ramamoorthy, S. F. Ho, and W. T. Chen, "On the Automated Generation of Program Test Data," IEEE Trans. Software Engineering, vol. SE-2, no. 4, Dec. 1976, pp. 293-300.

PEPA98 D. K. Peters and D. L. Parnas, "Using Test Oracles Generated from Program Documentation," IEEE Trans. Software Engineering, vol. 24, no. 3, Mar. 1998, pp. 161-173.

RAHO77 C. V. Ramamoorthy and S. F. Ho, "Testing Large Software with Automated Software Evaluation Systems," in Current Trends in Programming Methodology, volume II: Program Validation, R. T. Yeh (Ed.), Prentice-Hall, 1977, pp. 112-150.

RAKC75 C. V. Ramamoorthy, K. H. Kim, and W. T. Chen, "Optimal Placement of Software Monitors Aiding Systematic Testing," IEEE Trans. Software Engineering, vol. SE-1, no. 4, Dec. 1975, pp. 403-410.

RAWE85 S. Rapps and E. Weyuker, "Selecting Software Test Data Using Data Flow Information," IEEE Trans. Software Engineering, vol. SE-11, no. 4, Apr. 1985, pp. 367-375.

RESN70 M. D. Resnik, Elementary Logic, McGraw-Hill, New York, 1970.

RITH93 D. J. Richardson and M. C. Thompson, "An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection," IEEE Trans. Software Engineering, vol. 19, no. 6, June 1993, pp. 533-553.

ROHA93 G. Rothermel and M. J. Harrold, "A Safe, Efficient Algorithm for Regression Test Selection," Proc. of the IEEE Software Maintenance Conference, 1993, pp. 358-367.

ROHA96 G. Rothermel and M. J. Harrold, "Analyzing Regression Test Selection Techniques," IEEE Trans. Software Engineering, vol. 22, no. 8, Aug. 1996, pp. 529-551.

RUES69 E. C. Russell and G. Estrin, "Measurement Based Automatic Analysis of Fortran Programs," Proc. SJCC, 1969, pp. 723-732.

SAMA93 S. Sankar and M. Mandal, "Concurrent Runtime Monitoring of Formally Specified Programs," IEEE Computer, vol. 26, no. 3, Mar. 1993, pp. 32-43.

SEBB87 R. Selby, V. R. Basili, and T. Baker, "Cleanroom Software Development: An Empirical Evaluation," IEEE Trans. on Software Engineering, vol. 13, no. 9, pp. 1027-1037, Sept. 1987.

SCHA08 S. R. Schach, Object-Oriented Software Engineering, McGraw-Hill, 2008, pp.430-439.

SHER91 S. A. Sherer, "A Cost-Effective Approach to Testing," IEEE Software, vol. 8, no. 2, Mar. 1991, pp. 34-40.

SHER92 S. A. Sherer, Software Failure Risk, Plenum Press, New York, NY, 1992.

SHER92 M. J. Sherman, Development of Software Tools for Program Analysis, MS Thesis, Department of Computer Science, University of Houston, Houston, Texas, 1992.

SHIP83 E. Y. Shapiro, Algorithmic Program Debugging, MIT Press, 1983.

SLOA72 N. J. A. Sloane, "On Finding the Paths Through a Network," Bell System Technical Journal, vol. 51, no. 2, Feb. 1972, pp. 371-390.

SORO93 J. A. Solheim and J. H. Rowland, "An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems," IEEE Trans. Software Engineering, vol. 19, no. 10, Oct. 1993, pp. 941-949.

SSGP07 S. Sampath, S. Sprenkle, E. Gibson, L. Pollock, and A. S., Greenwald, "Applying Concept Analysis to User-Session-Based Testing of Web Applications," IEEE Trans. on Software Engineering, vol. 33, no. 10, Oct. 2007, pp. 643-658.

STFO75 L. G. Stucki and G. L. Foshee, "New Assertion Concepts for Self-Metric Software Validation," Proc. 1975 International Conf. on Reliable Software, l975, pp. 59-71.

STUC73 L. G. Stucki, "Automatic Generation of Self-Metric Software," Proc. IEEE Symposium on Computer Software Reliability, 1973, pp. 94-100.

STUC77 L. G. Stucki, "New Directions in Automated Tools for Improving Software Quality," in Current Trends in Programming Methodology, volume II: Program Validation, R. T. Yeh (Ed.), Prentice-Hall, Englewood Cliffs, N. J., 1977, pp. 80-111.

SURI91 J. Su and P. Ritter, "Experience in Testing the Motif Interface," IEEE Software, vol. 8, no. 2, Mar. 1991, pp. 26-33.

SZJG89 S. H. Zweben and J. S. Gourlay, "On the Adequacy of Weyuker's Test Data Adequacy Axioms," IEEE Trans. on Software Engineering, vol. SE-15, no. 4, 1989, pp. 496-500.

TAIK80 K. -C. Tai, "Program Testing Complexity and Test Criteria," IEEE Trans. on Software Engineering, vol. SE-6, no. 6, 1980, pp. 531-538.

TAIK96 K. -C. Tai, "Theory of Fault-Based Predicate Testing for Computer Programs," IEEE Trans. Software Engineering, vol. 22, no. 8, Aug. 1996, pp. 552-562.

TALK92 R. N. Taylor, D. L. Levine, and C. D. Kelly, "Structural Testing of Concurrent Programs," IEEE Trans. Software Engineering, vol. 18, no. 3, Mar. 1992, pp. 206-215.

TAOS78 R. N. Taylor and L. J. Osterweil, "A Facility for Verification of Concurrent Process Software," Proc. of COMPSAC 78, Chicago, Ill., Nov. 1978, pp. 36-41.

TAYL83 R. N. Taylor, "A General Purpose Algorithm for Analyzing Concurrent Programs," Communications of the ACM, vol. 26, no. 5, May 1983, pp. 362-376.

THRW03 T. Thelin, P. Runeson, and C. Wohlin, "An Experimental Comparison of Usage-Based and Checklist Based Reading," IEEE Trans. on Software Engineering, vol. 29, no. 8, Aug. 2003, pp. 687-704.

TSDN93 M. Z. Tsoukalas, J. W. Duran, and S. C. Ntafos, "On Some Reliability Estimation Problems in Random and Partition Testing," IEEE Trans. Software Engineering, vol. 19, no. 7, Jul. 1993, pp. 687-697.

TSVK90 W. T. Tsai, D. Volovik, and T. F. Keefe, "Automated Test Case Generation for Programs Specified by Relational Algebra Queries," IEEE Trans. on Software Engineering, vol. 16, no. 3, Mar. 1990, pp. 316-324.

TYZP05 W. T. Tsai, L. Yu, F. Zhu, and R. Paul, "Rapid Embedded System Testing Using Verification Pattern," IEEE Software, vol. 22, no. 4, Jul./Aug. 2005, pp. 68-75.

VANE79 M. H. van Emden, "Programming with Verification Condition," IEEE Trans. on Software Engineering, vol. SE-5, no. 2, March 1979, pp. 148-159.

VEDA95 S. Venkatesan and B. Dathan, "Testing and Debugging Distributed Programs Using Global Predicates," IEEE Trans. on Software Engineering, vol. 21, no. 2, Feb. 1995, pp. 163-177.

VOMC98 J. Voas and G. McGraw, Software Fault Injection: Inoculating Programs Against Errors, Wiley, 1998.

VOMM91 J. Voas, L. Morrel, and K. Miller, "Predicting Where Faults Can Hide from Testing," IEEE Software, vol. 8, no. 2, Mar. 1991, pp. 41-48.

WATE79 R. C. Waters, "A Method for Analyzing Loop Programs," IEEE Trans. on Software Engineering, vol. SE-5, no. 3, May 1979, pp. 237-247.

WEGB74 B. Wegbreit, "The Synthesis of Loop Predicates," Communications of the ACM, vol. 17, no. 2, Feb. 1974, pp. 102-112.

WEGS94 E. Weyuker, T. Goradia, and A. Singh, "Automatically Generating Test Data from a Boolean Specification," IEEE Trans. on Software Engineering, vol. 20, no. 5, May 1994, pp. 353-363.

WEIS84 M. Weiser, "Program Slicing," IEEE Trans. on Software Engineering, vol. SE-10, no. 4, July 1984, pp. 352-357.

WEJE91 E. J. Weyuker and B. Jeng, "Analyzing Partition Testing Strategies," IEEE Trans. on Software Engineering, vol. 17, no. 7, July 1991, pp. 703-711.

WELL81 R. Welland, Decision Tables and Computer Programming, Heyden, 1981.

WEOS80 E. J. Weyuker and T. J. Ostrand, "Theory of Program Testing and the Application of Revealing Subdomains," IEEE Trans. on Software Engineering, vol. SE-6, no. 3, May 1980, pp. 236-246.

WEWH91 E. J. Weyuker, S. Weiss, and R. Hamlet, "Comparison of Program Testing Strategies," Proc. 4th Symp. on Testing, Analysis, and Verification, Oct. 1991, pp. 1-10.

WEYU82 E. J. Weyuker, "On Testing Non-Testable Programs," Computer Journal, vol. 25, no. 4, Nov. 1982, pp. 465-470.

WEYU83 E. J. Weyuker, "Assessing Test Data Adequacy Through Program Inference," ACM Trans. on Programming Languages and Systems, vol. 5, no. 4, Oct. 1983, pp. 641-655.

WEYU86 E. J. Weyuker, "Axiomatizing Software Test Data Adequacy," IEEE Trans. on Software Engineering, vol. SE-12, no. 12, Dec. 1986, pp. 1128-1138.

WEYU88 E. J. Weyuker, "The Evaluation of Program-Based Software Test Data Adequacy Criteria," Communications of the ACM, vol. 31, no. 6, June 1988, pp. 668-675.

WEYU93 E. J. Weyuker, "More Experience with Data Flow Testing," IEEE Trans. Software Engineering, vol. 19, no. 9, Sept. 1993, pp. 912-919.

WHCO80 L. J. White and E. I. Cohen, "A Domain Strategy for Computer Program Testing," IEEE Trans. Software Engineering, vol. SE-6, no. 3, May 1980, pp. 247-257.

WHIT00 J. A. Whittaker, "What is Software Testing, and Why Is It So Hard?" IEEE Software, vol. 17, no. 1, Jan.-Feb. 2000, pp. 70-79.

WHIT02 J. A. Whittaker, How to Break Software, Addison-Wesley, Boston, 2003.

WHTH94 J. A. Whittaker and M. G. Thomason, "A Markov Chain Model for Statistical Software Testing," IEEE Trans. on Software Engineering, vol. 20, no. 10, Oct. 1994, pp. 812-824.

WIRT77a N. Wirth, "Toward a Discipline of Real-Time Programming," Communications of the ACM, vol. 20, no. 8, August 1977, pp. 577-583.

XINO05 T. Xie and D. Notkin, "Checking Inside the Black Box: Regression Testing by Comparing Value Spectra," IEEE Trans. Software Engineering, vol. 31, no. 10, Oct. 2005, pp. 869-883.

XUXU03 J. Xu, "On Inspection and Verification of Software with Timing Requirements," IEEE Trans. on Software Engineering, vol. 29, no. 8, Aug. 2003, pp. 705-720.

YEHR77 R. T. Yeh, "Verification of Programs by Predicate Transformation," in Current Trends in Programming Methodology, volume II: Program Validation, R. T. Yeh (Ed.), Prentice-Hall, Englewood Cliffs, N. J., 1977, pp. 228-247.

ZEIL83 S. J. Zeil, "Testing for Perturbations of Program Statements," IEEE Trans. Software Engineering, vol. SE-9, no. 3, May 1983, pp. 335-346.

ZEIL89 S. J. Zeil, "Perturbation Techniques for Detecting Domain Errors," IEEE Trans. Software Engineering, vol. 15, no. 6, June 1989, pp. 737-746.

ZWGO89 S. Zweben and J. Gourlay, "On the Adequacy of Weyuker's Test Data Adequacy Axioms," IEEE Trans. Software Engineering, vol. 15, no. 4, Apr. 1989, pp. 496-500.

ZWHK92 S. Zweben, W. Heym, and J. Kimich, “Systematic Testing of Data Abstractions Based on Software Specifications”, J. Software Testing, Verification, and Reliability, no. 1, 1992, pp. 39 – 55.