Abstract is missing.
- Validating Programs without SpecificationsWilliam E. Howden. 2-9 [doi]
- Real-Time Interval Logic for Reasoning about Executions of Real-Time ProgramsRami R. Razouk, Michael M. Gorlick. 10-19 [doi]
- Verified Compilation in micro-GypsyWilliam D. Young. 20-26 [doi]
- Theoretical Comparison of Testing MethodsRichard G. Hamlet. 28-37 [doi]
- Some Observations on Partition TestingBingchiang Jeng, Elaine J. Weyuker. 38-47 [doi]
- Reducing the Effects of Infeasible Paths in Branch TestingDerek F. Yates, Nicos Malevris. 48-54 [doi]
- PMothra: Scheduling Mutants for Execution on a HypercubeB. Choi, A. Mathur, B. Pattison. 58-65 [doi]
- Cesar: A Static Sequencing Constraint AnalyzerKurt M. Olender, Leon J. Osterweil. 66-74 [doi]
- Automating Software Analysis and Testing Using a Program Transformation SystemGordon Kotik, Lawrence Markosian. 75-84 [doi]
- Approaches to Specification-Based TestingDebra J. Richardson, T. Owen O Malley, C. Tittle. 86-96 [doi]
- Module Test Case GenerationDaniel Hoffman, C. Brealey. 97-102 [doi]
- A Practical Approach to Semantic Configuration ManagementMark Moriconi. 103-113 [doi]
- Experiments in Automated Analysis of Concurrent Software SystemsGeorge S. Avrunin, Jack C. Wileden, Laura K. Dillon. 124-130 [doi]
- The Coupling Effect: Fact or FictionA. Jefferson Offutt. 131-140 [doi]
- Experimental Comparison of Three System Test Strategies Preliminary ReportJohn H. Rowland, Y. Zuyuan. 141-149 [doi]
- Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer SystemsSusan L. Gerhart. 152-155 [doi]
- Interprocedual Data Flow TestingMary Jean Harrold, Mary Lou Soffa. 158-167 [doi]
- The Implications of Program Dependencies for Software Testing, Debugging, and MaintenanceAndy Podgurski, Lori A. Clarke. 168-178 [doi]
- Estimating the Number of Test Cases Required to Satisfy the All-du-paths Testing CriterionJames M. Bieman, J. Schultz. 179-186 [doi]
- Testing the Correctness of Tasking Supervisors with TSL SpecificationsDavid S. Rosenblum, David C. Luckham. 187-196 [doi]
- Integrated Concurrency Analysis in a Software Development EnviornmentMichal Young, Richard N. Taylor, K. Forester, Debra Brodbeck. 200-209 [doi]
- Automatic Generation of Test Scripts from Formal Test SpecificationsMarc J. Balcer, William M. Hasling, Thomas J. Ostrand. 210-218 [doi]
- Integrating Testing Techniques Through Process ProgrammingDebra J. Richardson, Stephanie Leif Aha, Leon J. Osterweil. 219-228 [doi]