Abstract is missing.
- A New Model of Program Dependences for Reverse EngineeringDaniel Jackson, Eugene J. Rollins. 2-10 [doi]
- Speeding up SlicingThomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay. 11-20 [doi]
- CAIS: Collaborative Asynchronous Inspection of SoftwareVahid Mashayekhi, Chris Feulner, John Riedl. 21-34 [doi]
- Duplication, Insertion and Lossiness Errors in Unreliable Communication ChannelsGérard Cécé, Alain Finkel, S. Purushothaman Iyer. 35-43 [doi]
- Integrating Status and Event Phenomena in Formal Specifications of Interactive SystemsGregory D. Abowd, Alan J. Dix. 44-52 [doi]
- Towards Scalable Compositional AnalysisJames C. Corbett, George S. Avrunin. 53-61 [doi]
- Data Flow Analysis for Verifying Properties of Concurrent ProgramsMatthew B. Dwyer, Lori A. Clarke. 62-75 [doi]
- A Language-Independent Approach to Specification ConstructionNicole Lévy, G. Smith. 76-86 [doi]
- LCLint: A Tool for Using Specifications to Check CodeDavid Evans, John V. Guttag, James J. Horning, Yang Meng Tan. 87-96 [doi]
- Automated Support for Encapsulating Abstract Data TypesRobert W. Bowdidge, William G. Griswold. 97-110 [doi]
- Reengineering a Complex Application Using a Scalable Data Structure CompilerDon S. Batory, Jeff Thomas, Marty Sirkin. 111-120 [doi]
- Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of ModularityMark T. Vandevoorde, John V. Guttag. 121-127 [doi]
- Foundations of Software Testing: Dependability TheoryRichard G. Hamlet. 128-139 [doi]
- Oracles for Checking Temporal Properties of Concurrent SystemsLaura K. Dillon, Qing Yu. 140-153 [doi]
- Performing Data Flow Testing on ClassesMary Jean Harrold, Gregg Rothermel. 154-163 [doi]
- Correctness and Composition of Software ArchitecturesMark Moriconi, Xiaolei Qian. 164-174 [doi]
- Exploiting Style in Architectural Design EnvironmentsDavid Garlan, Robert Allen, John Ockerbloom. 175-188 [doi]