| 1999 | A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. Samuel Devulder, Jean-Luc Lambert |
| 1999 | A Formal Ontology for Re-Use of Software Architecture Documents. Christopher A. Welty, David A. Ferrucci |
| 1999 | A Metric Based Technique for Design Flaws Detection and Correction. Thierry Miceli, Houari A. Sahraoui, Robert Godin |
| 1999 | A Visualization Tool for Constraint Program Debugging. Frédéric Goualard, Frédéric Benhamou |
| 1999 | AML: An Architecture Meta-Language. David S. Wile |
| 1999 | Advanced Modelling and Verification Techniques Applied to a Cluster File System. Charles Pecheur |
| 1999 | An Approach to Automatic Code Generation for Safety-Critical Systems. Michael W. Whalen, Mats Per Erik Heimdahl |
| 1999 | An Approach to Software Requirements Elicitation Using the Precepts from Activity Theory. Luiz Eduardo Galvão Martins, Beatriz Mascia Daltrini |
| 1999 | An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. Cédric Besse, Ana R. Cavalli, David Lee |
| 1999 | An Integration of Deductive Retrieval into Deductive Synthesis. Bernd Fischer, Jon Whittle |
| 1999 | An ML Editor Based on Proofs-As-Programs. Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe |
| 1999 | An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software. Lydie du Bousquet, Nicolas Zuanon |
| 1999 | Applying Test Automation to Type Acceptance Testing of Telecom Networks: A Case Study with Customer Participation. Dieter Kreuer |
| 1999 | Architectural Element Matching Using Concept Analysis. Robert Waters, Spencer Rugaber, Gregory D. Abowd |
| 1999 | Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN. Prasanta K. Bose |
| 1999 | Automatic Generation of Test Oracles-From Pilot Studies to Application. Martin S. Feather, Benjamin D. Smith |
| 1999 | Automatic Proofs of Properties of Simple C Carine Fédèle, Emmanuel Kounalis |
| 1999 | Automatic Software Clustering via Latent Semantic Analysis. Jonathan I. Maletic, Naveen Valluri |
| 1999 | Automatic Synthesis of Control Software for an Industrial Automation Control System. Enrico Tronci |
| 1999 | Automatically Detecting Mismatches During Component-based and Model-based Development. Alexander Egyed, Cristina Gacek |
| 1999 | Automatically Structuring Textual Requirement Scenarios. Andreas Becks, Jörg Köller |
| 1999 | Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties. John J. Kyaruzi, Jan van Katwijk |
| 1999 | Can Model Checking Scale to Software? (Panel). David F. Redmiles |
| 1999 | Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model. Ali Mili, Bojan Cukic, T. Xia, Rahma Ben Ayed |
| 1999 | Component-based Systems as an Aid to Design Validation. Peter Henderson, Robert John Walters |
| 1999 | Controlled Natural Language Can Replace First-Order Logic. Norbert E. Fuchs, Uta Schwertel, Sunna Torge |
| 1999 | Data Mining Library Reuse Patterns in User-Selected Applications. Amir Michail |
| 1999 | Deductive Synthesis of Event-Based Software Architectures. John Penix |
| 1999 | Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications. Thomas Emerson, Mark H. Burstein |
| 1999 | Dynamic Accommodation of Change: Automated Architecture Configuration of Distributed Systems. Gabriele Taentzer, Michael Goedicke, Torsten Meyer |
| 1999 | Enhancing Annotation Visibility for Software Inspection. Michael V. Stein, Mats Per Erik Heimdahl, John Riedl |
| 1999 | Evaluation of Automated Software Engineering Systems? (Panel). John Penix |
| 1999 | Evolving Object-Oriented Designs with Refactorings. Lance Tokuda, Don S. Batory |
| 1999 | Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties. Michael A. Copenhafer, Kevin J. Sullivan |
| 1999 | Fixing Some Transformation Problems. Ted J. Biggerstaff |
| 1999 | Implementing Effective Automatic Cryptographic Protocol Analysis. Stephen H. Brackin |
| 1999 | Industrial Applications of Software Synthesis via Category Theory. Keith E. Williamson, Michael Healy |
| 1999 | Modular and Incremental Analysis of Concurrent Software Systems. Hassen Saïdi |
| 1999 | NAVCo: Negotiation-based Adaptive View Coordination. Prasanta K. Bose, Mark G. Matthews |
| 1999 | Retrenchment: Extending the Reach of Refinement. Michael Poppleton, Richard Banach |
| 1999 | Rule-Based Strategic Reflection: Observing and Modifying Behavior at the Architectural Level. Walter Cazzola, Andrea Savigni, Andrea Sosio, Francesco Tisato |
| 1999 | Separating Concerns in Direct Manipulation User Interfaces. Kurt Stirewalt |
| 1999 | Siddhartha: A Method for Developing Domain-Specific Test Driver Generators. Arthur Alexander Reyes, Debra J. Richardson |
| 1999 | Software Test Generation Using Refinement Types. Dimitur Nikolaev Krustev |
| 1999 | System for Automated Validation of Embedded Software in Multiple Operating Configurations. Sridevi Lingamarla, Gautam B. Singh, John Limburg, Mary Watson, Gary Edwards, Scott Gobrogge |
| 1999 | The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999 |
| 1999 | Towards Adaptive Web Agents. J. William Murdock, Ashok K. Goel |
| 1999 | Towards Automatic Imperative Program Synthesis Through Proof Planning. Jamie Stark, Andrew Ireland |
| 1999 | Towards Discovery, Specification, and Verification of Component Usage. Chang Liu, Debra J. Richardson |
| 1999 | UMLAUT: An Extendible UML Transformation Framework. Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h |
| 1999 | UNA Based Iterative Test Data Generation and Its Evaluation. Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa |
| 1999 | Verification of Picture Generated Code. Colin O'Halloran, Alf Smith |
| 1999 | vUML: A Tool for Verifying UML Models. Johan Lilius, Ivan Paltor |