Automated Software Engineering Conference
On-line Bibliography (ASE-OLB)
The original motivation for this on-line bibliography is to serve
as a reference for potential contributors to examples of papers that
are considered good conference papers. It also contains seminal
papers and papers that help define the field.
The ASE conference began as the Knowledge-Based Software Assistant
project meeting (KBSA) in 1986. KBSA was funded by the US Air Force
Rome Laboratory (then RADC). The
meeting became an open conference in 1989, and in 1990 changed names
to the Knowledge-Based Software Engineering Conference (KBSE),
established a steering committee, an international program committee,
and a proceedings published by
IEEE Computer Society
Press. The conference was still fully funded by Rome Laboratory
until 1997, when the conference changed names to Automated Software
Engineering (ASE), and became a self-sufficient conference governed
by the
steering
committee and sponsored by the
IEEE Computer Society.
Except where noted, all the papers below have been published in
either a KBSE or ASE conference, and are copyright IEEE Computer
Society Press. Most of the papers listed were candidates for the best
paper award, and longer versions of most of them have appeared in
special issues of
The Journal
of Automated Software Engineering.
The proceedings, beginning with ASE-97, are available on-line to
subscribers to the IEEE CS Digital Library. Access to the abstracts
via the IEEE CS DL is freely available to anyone starting from
KBSE-96.
Reference: Feather, M. ,Goedicke,M. eds., Proceedings of
ASE-2001: The 16th IEEE Conference on Automated Software
Engineering. IEEE CS Press. November, 2001. Coronado, CA,USA.
[Ordering
Info]
- Neelam Gupta, Praveen Rao
- Program Execution Based Module Cohesion
Measurement[PDF 252K]
- Paul Graunke,Shriram Krishnamurthi, Robert Bruce Findler,
Matthias Felleisen
- Automatically Restructuring Programs for the Web
[PDF 113K]
- Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein
- Static Consistency Checking for Distributed Specifications
[PDF 266K]
- Twan Basten, Dragan Bosnacki
- Enhancing Partial-Order Reduction via Process Clustering
[PDF 87K]
- John Grundy, Yuhong Cai, Anna Liu
- Generation of Distributed System Test-beds from High-level
Software Architecture Descriptions [PDF
316K]
- Darko Marinov, Sarfraz Khurshid
- TestEra: A Novel Framework for Automated Testing of Java
Programs [PDF 144K]
Reference: Alexander, P. and Flener, P., eds., Proceedings of
ASE-2000: The 15th IEEE Conference on Automated Software
Engineering. IEEE CS Press. September, 2000. Grenoble, France.
[Ordering
Info]
- Guido Malpohl, James Hunt, and Walter Tichy
- Renaming Detection [PS 638K]
- Philippe Boinot, Renauld Marlet, Jacques Noye, Gilles Muller,
and Charles Consel
- A Declarative Approach for Designing and Developing Adaptive
Components [PS 137K]
- Robert Hall
- Upgrading Legacy Instance of Reactive Systems
[PS 143K]
- H.M. Harmain and R. Gaizauskas
- CM_Builder: An Automated NL-based CASE Tool
[PS 165K]
- Willem Visser, Klaus Havelund, Guillaume Brat, and SeungJoon
Park
- Model Checking Programs [PS 112K]
- Shahrul Azman Noah and Michael Williams
- Exploring and Validating the Contributions of Real-World
Knowledge to the Diagnostic Performance of Automated Database
Design Tools [PS 678K]
- Raul Monroy
- The Use of Abduction and Recursion-Editor Techniques for the
Correction of Faulty Conjectures [PS
123K]
- J. Michael Moore and Frank M. Shipman III
- A Comparison of Questionnaire-Based and GUI-Based Requirements
Gathering [PDF 143K]
Reference: Hall, R., and Tyugu, E., eds., Proceedings of
ASE-99: The 14th IEEE Conference on Automated Software
Engineering. IEEE CS Press. October, 1999. Cocoa Beach, Florida.
[Ordering
Info]
[Online
Proceedings]
- Lance Tokuda, Don Batory
- Evolving Object-Oriented Designs with Refactorings
[PS 214K]
- Keith Williamson, Michael Healy
- Industrial Applications of Software Synthesis via Category
Theory [PS 629K]
- David S. Wile
- AML: an Architecture Meta-Language [PDF
66K]
- Arthur Alexander Reyes, Debra J. Richardson
- Siddhartha: A Technique for Building Domain-Specific Test
Synthesizers [PS 590K]
- Martin S. Feather and Ben Smith
- Automatic Generation of Test Oracles - From Pilot Studies to
Application [PDF 166K]
- Jon Whittle, Alan Bundy, Richard Boulton and Helen Lowe
- An ML Editor Based on Proofs-as-Programs
[PDF 127K]
- Hassen Saidi
- Modular and Incremental Analysis of Concurrent Software
Systems [PDF 150K]
Reference: Redmiles, D. and Nuseibeh, B., eds., Proceedings of
ASE-98: The 13th IEEE Conference on Automated Software
Engineering. IEEE CS Press. October, 1998. Honolulu, Hawaii.
[Ordering
Info]
[Online
Proceedings]
- Bernd Fischer
- Specification-Based Browsing of Software Component Libraries
[PDF 145K]
- Kurt Stirewalt, Spencer Rugaber
- Automating UI Generation by Model Composition
[PDF 95K]
- Robert J. Hall
- Explanation-based Scenario Generation for Reactive System
Models [PDF 278K]
- Barbara J. Czerny, Mats P.E. Heimdahl
- Automated Integrative Analysis of State-Based Requirements
[PDF 88K]
- Armando M. Haeberer and Thomas S. E. Maibaum
- The Very Idea of Software Development Environments: A
Conceptual Architecture for the ARTS Environment Paradigm
[PDF 298K]
- Raúl Monroy, Alan Bundy, and Ian Green
- Planning Equational Verification in CCS
[PDF 744K]
Reference: Lowry, M. and Ledru, Y., eds., Proceedings of
ASE-97: The 12th IEEE Conference on Automated Software
Engineering. IEEE CS Press. November, 1997. Lake Tahoe, Nevada.
[Ordering
Info]
[Online
Proceedings]
- Scott Henninger
- Tools Supporting the Creation and Evolution of Software
Development Knowledge [GZIPd PS
197K]
- Alessandro Armando, Alan Smaill, and Ian Green
- Automatic Synthesis of Recursive Programs: The Proof-Planning
Paradigm [GZIPd PS 53K]
- Sandrine Blazy and Philippe Facon
- Application of formal methods to the development of a software
maintenance tool [GZIPd PS 1.15MB]
- Jean-Francois Girard, Rainer Koschke, and Georg Schied
- A Metric-based Approach to Detect Abstract Data Types and
State Encapsulations [GZIPd PS 52K]
- Renaud Marlet, Scott Thibault, and Charles Consel
- Mapping Software Architectures to Efficient Implementations
via Partial Evaluation [GZIPd PS 43K]
- Huari A. Sahraoui, Walcelio Melo, Hakim Lounis, and Francois
Dumont
- Applying Concept Formation Methods to Object Identification in
Procedural Code [GZIPd PS 144K]
Reference: Welty, C., ed., Proceedings of KBSE-96: The 11th
Conference on Knowledge-Based Software Engineering. IEEE CS
Press. September, 1996. Syracuse, New York.
[Ordering
Info]
[Online
Abstracts]
- Thomas Ellman and Takahiro Murata
- Deductive Synthesis of Numerical Simulation Programs from
Networks of Algebraic and Ordinary Differential Equations
[PS 170K]
- Jason E. Robbins, David M. Hilbert, and David F. Redmiles
- Extending Design Environments to Software Architecture Design
[PS 879K] [PDF
132K]
- Alex Quilici, Qiang Yang, and Steve Woods
- Applying Plan Recognition Algorithms to Program Understanding
[PS 90K]
- Terence J. Harmer, Patrick J. McParland and James M. Boyle.
- Using Knowledge-Based Transformations to Reverse-Engineer
COBOL Programs
Reference: Setliff, D., ed., Proceedings of KBSE-95: The 10th
Conference on Knowledge-Based Software Engineering. IEEE CS
Press. November, 1995. Boston, Mass.
- W. Lewis Johnson and Ali Erdem
- Interactive Explanation of Software Systems.
[GZIPd PS 140K]
- Chris Welty
- Towards an Epistemology for Software Representations.
[GZIPd PS 31K]
[PDF 77K]
[HTML]
- Yves Ledru
- Specification and Animation of a Bank Transfer.
[GZIPd PS 49K]
- Michael Lowry and Jeff Van Baalen
- Meta-Amphion: Synthesis of Efficient Domain-Specific Program
Synthesis Systems. [GZIPd PS 57K]
[PDF]
Compiled by
Chris
Welty
Return to the ASE
home page