| 1993 | "...And Nothing Else Changes": The Frame Problem in Procedure Specifications. Alexander Borgida, John Mylopoulos, Raymond Reiter |
| 1993 | A Bi-Level Language for Software Process Modeling. Gail E. Kaiser, Steven S. Popovich, Israel Ben-Shaul |
| 1993 | A Comprehensive Process Model for Studying Software Process Papers. Rudolf K. Keller, Richard Lajoie, Nazim H. Madhavji, Tilmann F. W. Bruckhaus, Kamel Toubache, Won-Kook Hong, Khaled El Emam |
| 1993 | A High Level Language for Specifying Graph Based Languages and Their Programming Environments. Michael F. Kleyn, James C. Browne |
| 1993 | A Process for Consolidating and Reusing Design Knowledge. Guillermo Arango, Eric Schoen, Robert Pettengill |
| 1993 | Adding Implicit Invocation to Rraditional Programming Languages. David Garlan, Curtis M. Scott |
| 1993 | An Analysis of SEI Software Process Assessment Results: 1987-1991. David H. Kitson, Stephen M. Masters |
| 1993 | An Analytical Comparison of the Fault-Detecting Ability of Data Flow Testing Techniques. Phyllis G. Frankl, Elaine J. Weyuker |
| 1993 | An Examination of the Current State of IPSE Technology. Alan W. Brown |
| 1993 | An Experimental Evaluation of Selective Mutation. A. Jefferson Offutt, Gregg Rothermel, Christian Zapf |
| 1993 | Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding. Sougata Mukherjea, John T. Stasko |
| 1993 | Approach and Case Study of Requirement Analysis Where End Users Take an Active Role. José M. Drake, W. W. Xie, Wei-Tek Tsai, Imran A. Zualkernan |
| 1993 | Automating the Detection of Reusable Parts in Existing Software. Michael F. Dunn, John C. Knight |
| 1993 | Building, Modifying and Using Component Generators. Stephen B. Ornburn, Richard J. LeBlanc |
| 1993 | Cleanroom Software Engineering for Zero-Defect Software. Richard C. Linger |
| 1993 | Computational Reflection in Software Process Modeling: The SLANG Approach. Sergio Bandinelli, Alfonso Fuggetta |
| 1993 | Coverage Measurement Experience During Function Test. Paul Piwowarski, Mitsuru Ohba, Joseph M. Caruso |
| 1993 | Developing Initial OOA Models. Mitchell D. Lubars, Colin Potts, Charles Richter |
| 1993 | Documentation for Safety Critical Software. Pierre-Jacques Courtois, David Lorge Parnas |
| 1993 | Domain Modeling - Overview & Ongoing Research at EDS. Neil Iscoe |
| 1993 | Dynamic Mutation Testing in Integrated Regression Analysis. Janusz W. Laski, Wojciech Szermer, Piotr Luczycki |
| 1993 | Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation. Farokh B. Bastani, Giuseppe DiMarco, Alberto Pasquini |
| 1993 | Exploring Dataflow Testing of Arrays. Richard G. Hamlet, Bruce Gifford, Borislav Nikolik |
| 1993 | Expressing the Relationships Between Multiple Views in Requirements Specification. Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein |
| 1993 | Generalized Behavior-Based Retrieval. Robert J. Hall |
| 1993 | Inter-item Correlations among Function Points. Barbara A. Kitchenham, Kari Känsälä |
| 1993 | Model Based Process Assessments. Clement L. McGowan, Shawn A. Bohner |
| 1993 | Modeling Software for Accurate Data Flow Representation. Hasan Ural, Bo Yang |
| 1993 | Modeling and Managing Risk Early in Software Development. Lionel C. Briand, William M. Thomas, Christopher J. Hetmanski |
| 1993 | Observations on Industrial Practice Using Formal Methods. Susan L. Gerhart, Dan Craigen, Ted Ralston |
| 1993 | Post-Process Feedback With and Without Attribute Focusing: A Comparative Evaluation. Inderpal S. Bhandari, Norman Roth |
| 1993 | Predicate-Based Test Generation for Computer Programs. Kuo-Chung Tai |
| 1993 | Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993. Victor R. Basili, Richard A. DeMillo, Takuya Katayama |
| 1993 | Program and Interface Slicing for Reverse Engineering. Jon Beck, David Eichmann |
| 1993 | Programming Heterogeneous Transactions for Software Development Environments. Peri L. Tarr, Stanley M. Sutton Jr. |
| 1993 | Prototyping a Process Monitoring Experiment. Mark G. Bradac, Dewayne E. Perry, Lawrence G. Votta |
| 1993 | Prototyping in Industrial Software Projects - Bridging the Gap Between Theory and Practice. Horst Lichter, Matthias Schneider-Hufschmidt, Heinz Züllighoven |
| 1993 | RECAST: Reverse Engineering from COBOL to SSADM Specification. Helen M. Edwards, Malcolm Munro |
| 1993 | Reliable Software and Communication: Software Quality, Reliability, and Safety. Siddhartha R. Dalal, Joseph R. Horgan, Jon R. Kettenring |
| 1993 | Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking. Tetsuo Tamai, Akito Itou |
| 1993 | Rule-Based Approach to Computing Module Cohesion. Arun Lakhotia |
| 1993 | Simulating the Behaviour of Software Modules by Trace Rewriting. Yabo Wang, David Lorge Parnas |
| 1993 | Software Components in a Data Structure Precompiler. Marty Sirkin, Don S. Batory, Vivek Singhal |
| 1993 | Software Improvements in an International Company. Harvey Wohlwend, Susan Rosenbaum |
| 1993 | Software Process Maturity: Measuring Its Impact on Productivity and Quality. Howard A. Rubin |
| 1993 | Test Templates: A Specification-Based Testing Framework. Phil Stocks, David A. Carrington |
| 1993 | The Concept Assignment Problem in Program Understanding. Ted J. Biggerstaff, Bharat G. Mitbander, Dallas E. Webster |
| 1993 | The Graft-Host Method for Design Change. Guillermo Arango, Eric Schoen, Robert Pettengill, Josiah C. Hoskins |
| 1993 | Use of an Environment Classification Model. Marvin V. Zelkowitz |