| 1998 | A Configurable Automatic Instrumentation Tool for ANSI C. Kevin Templer, Clinton L. Jeffery |
| 1998 | A Coordination System Approach to Software Workflow Process Evolution. Jean-Marc Andreoli, Christer Fernström, Jean-Luc Meunier |
| 1998 | A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL. Hans-Arno Jacobsen, Bernd J. Krämer |
| 1998 | A Tool for Automated System Analysis based on Modular Specifications. Angelo Morzenti, Pierluigi San Pietro, Sandro Morasca |
| 1998 | A Visualization Concept for Hierarchical Object Models. Stefan Berner, Stefan Joos, Martin Glinz, Martin Arnold |
| 1998 | ADLscope: An Automated Specification-based Unit Testing Tool. Juei Chang, Debra J. Richardson |
| 1998 | ASSISTing Exit Decisions in Software Inspection. James Miller, Fraser MacDonald |
| 1998 | An Automated Approach for Supporting Software Reuse via Reverse Engineering. Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng |
| 1998 | An Automated Framework for Structural Test-Data Generation. Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid |
| 1998 | An Empirical Study of the Evolution of a Software System. Robert Mark Greenwood, Brian Warboys, Rachel Harrison, Peter Henderson |
| 1998 | Automated Integrative Analysis of State-based Requirements. Barbara J. Czerny, Mats Per Erik Heimdahl |
| 1998 | Automated Knowledge Acquisition and Application for Software Development Projects. E. Baisch, T. Liedtke |
| 1998 | Automated Software Test Data Generation for Complex Programs. Christoph C. Michael, Gary McGraw |
| 1998 | Automating UI Generation by Model Composition. Kurt Stirewalt, Spencer Rugaber |
| 1998 | Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse Engineering. Terence J. Harmer, James M. Boyle |
| 1998 | Component-based Software Process Support. Kevin Gary, Timothy E. Lindquist, Harry Koehnemann, Jean-Claude Derniame |
| 1998 | Detection of Exclusive OR Global Predicates. Eunjung Lee, Chang-Soon Park, Dan-Hyung Lee |
| 1998 | Developing the Designer's Toolkit with Software Comprehension Models. Andrew Walenstein |
| 1998 | Development, Assessment, and Reengineering of Language Descriptions. M. P. A. Sellink, Chris Verhoef |
| 1998 | Don't Verify, Abstract! Colin O'Halloran, Alf Smith |
| 1998 | Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts. Richard Clayton, Spencer Rugaber, Linda M. Wills |
| 1998 | Explaining Synthesized Software. Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger |
| 1998 | Explanation-based Scenario Generation for Reactive System Models. Robert J. Hall |
| 1998 | From Z to BON/Eiffel. Richard F. Paige, Jonathan S. Ostroff |
| 1998 | Identifying Pre-Conditions with the Z/EVES Theorem Prover. Yves Ledru |
| 1998 | Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach. Amir Michail, David Notkin |
| 1998 | Management of Evolving Specifications using Category Theory. Virginie Wiels, Steve M. Easterbrook |
| 1998 | On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance Evaluation. Michael Goedicke, Torsten Meyer, Christian Piwetz |
| 1998 | Parameterising (Algebraic) Specifications on Diagrams. Theodosis Dimitrakos |
| 1998 | Planning Equational Verification in CCS. Raúl Monroy, Alan Bundy, Ian Green |
| 1998 | Planware - Domain-Specific Synthesis of High-Performance Schedulers. Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold |
| 1998 | Programmatic Testing of the Standard Template Library Containers. Jason McDonald, Daniel Hoffman, Paul A. Strooper |
| 1998 | Requirements Engineering and Verification using Specification Animation. Daniel Hazel, Paul A. Strooper, Owen Traynor |
| 1998 | Reusability Hypothesis Verification using Machine Learning Techniques: A Case Study. Yida Mao, Houari A. Sahraoui, Hakim Lounis |
| 1998 | Schema-Guided Synthesis of Constraint Logic Programs. Pierre Flener, Hamza Zidoum, Brahim Hnich |
| 1998 | Specification-based Browsing of Software Component Libraries. Bernd Fischer |
| 1998 | Specification-based Testing of Ada Units with Low Encapsulation. Arthur Alexander Reyes, Debra J. Richardson |
| 1998 | Statically Checkable Design Level Traits. Joseph Gil, Y. Eckel |
| 1998 | Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. Stefan Leue, Lars Mehrmann, Mohammad Reza Mousavi |
| 1998 | Task Oriented Software Understanding. Ali Erdem, W. Lewis Johnson, Stacy Marsella |
| 1998 | Testing using Log File Analysis: Tools, Methods, and Issues. James H. Andrews |
| 1998 | The Thirteenth IEEE Conference on Automated Software Engineering, ASE 1998, Honolulu, Hawaii, USA, October 13-16, 1998 |
| 1998 | The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. Armando Martin Haeberer, T. S. E. Maibaum |
| 1998 | Towards a Theory for Integration of Mathematical Verification and Empirical Testing. Michael R. Lowry, M. Boyd, D. Kulkarni |
| 1998 | Towards the Automated Debugging and Maintenance of Logic-based Requirements Models. Thomas Leo McCluskey, Margaret Mary West |