FSE 1994

17 papers

1. A Language-Independent Approach to Specification Construction · Nicole Lévy, G. Smith
2. A New Model of Program Dependences for Reverse Engineering · Daniel Jackson, Eugene J. Rollins
3. Automated Support for Encapsulating Abstract Data Types · Robert W. Bowdidge, William G. Griswold
4. CAIS: Collaborative Asynchronous Inspection of Software · Vahid Mashayekhi, Chris Feulner, John Riedl
5. Correctness and Composition of Software Architectures · Mark Moriconi, Xiaolei Qian
6. Data Flow Analysis for Verifying Properties of Concurrent Programs · Matthew B. Dwyer, Lori A. Clarke
7. Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels · Gérard Cécé, Alain Finkel, S. Purushothaman Iyer
8. Exploiting Style in Architectural Design Environments · David Garlan, Robert Allen, John Ockerbloom
9. Foundations of Software Testing: Dependability Theory · Richard G. Hamlet
10. Integrating Status and Event Phenomena in Formal Specifications of Interactive Systems · Gregory D. Abowd, Alan J. Dix
11. LCLint: A Tool for Using Specifications to Check Code · David E. Evans, John V. Guttag, James J. Horning, Yang Meng Tan
12. Oracles for Checking Temporal Properties of Concurrent Systems · Laura K. Dillon, Qing Yu
13. Performing Data Flow Testing on Classes · Mary Jean Harrold, Gregg Rothermel
14. Reengineering a Complex Application Using a Scalable Data Structure Compiler · Don S. Batory, Jeff Thomas, Marty Sirkin
15. Speeding up Slicing · Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay
16. Towards Scalable Compositional Analysis · James C. Corbett, George S. Avrunin
17. Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity · Mark T. Vandevoorde, John V. Guttag