3/27/2023 0 Comments Scratchpad hd![]() Chosho, Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing, IEEE Transaction on Software Engineering 13, 509–517(1987). Schwarz, Computer Algebra and Differential Equations, GMD Report, to appear. Schwarz, An Algorithm for Solving Determining Systems, GMD Report, to appear.į. Schwarz, Symmetries of Differential Equations: From Sophus Lie to Computer Algebra, to appear in SIAM Review.į. Lichtman, Generation and Consistency Checking of Design and Program Structures, IEEE Transactions on Software Engineering 12, 172(1986).į. Yau, Design Stability Measures for Software Maintenance, IEEE Transactions on Software Engineering 11, 849(1985) Wirth, On the Composition of Well-Structured Programs, Computing Surveys 6, 247–259 (1974). Guttag, Abstraction and Specification in Program Development, The MIT Press, Cambridge, 1986. Beizer, Software Testing Techniques, Van Nostrand Company, New York, 1983.ī. Myers, The Art of Software Testing, John Wiley
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |