Proceedings of the 17th IEEE International Conference on Automated Software Engineering
ASE, 2002.

@proceedings{ASE-2002,
	address       = "Edinburgh, Scotland, United Kingdom",
	isbn          = "0-7695-1736-6",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 17th IEEE International Conference on Automated Software Engineering}",
	year          = 2002,
}

Event page: http://www.ase-conferences.org/ase/past/ase2002/

Contents (44 items)

13 ×#automation
9 ×#testing
7 ×#component
6 ×#generative
5 ×#using
4 ×#modelling
4 ×#verification
3 ×#adaptation
3 ×#approach
3 ×#concurrent

ASE-2002-GiannakopoulouPB #component #generative #verification

Assumption Generation for Software Component Verification (DG, CSP, HB), pp. 3–12.

ASE-2002-VasconcelosSE #agile #approach #multi #prototype #scalability

An Approach to Rapid Prototyping of Large Multi-Agent Systems (WWV, CS, ME), pp. 13–22.

ASE-2002-MacDonaldSSABT #design pattern #generative

Generative Design Patterns (SM, DS, JS, JA, SB, KT), p. 23–?.

ASE-2002-HeimdahlCW #analysis #model checking

Deviation Analysis Through Model Checking (MPEH, YC, MWW), pp. 37–46.

ASE-2002-GrundyD #aspect-oriented #automation #component #using #validation

Automatic Validation of Deployed J2EE Components Using Aspects (JCG, GD), p. 47–?.

ASE-2002-MaccariRM #automation #on the

On CASE Tool Usage at Nokia (AM, CR, FM), pp. 59–68.

ASE-2002-RoachB #automation #case study #deduction #experience #synthesis

Experience Report on Automated Procedure Construction for Deductive Synthesis (SR, JVB), p. 69–?.

ASE-2002-BatoryLM #generative #product line

Generating Product-Lines of Product-Families (DSB, RELH, JPM), pp. 81–92.

ASE-2002-EllmanDF #animation #knowledge-based #simulation #source code #synthesis

Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation (TE, RD, JF), p. 93–?.

ASE-2002-Hall #concurrent #java #multi #named #profiling #thread

CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications (RJH), pp. 107–116.

ASE-2002-GueheneucDJ #dynamic analysis #java #source code

No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs (YGG, RD, NJ), p. 117–?.

ASE-2002-FenkamGJ #automation #case study #testing

Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing (PF, HCG, MJ), pp. 129–138.

ASE-2002-SchroederFK #automation #black box #generative #testing

Generating Expected Results for Automated Black-Box Testing (PJS, PF, BK), pp. 139–148.

ASE-2002-VisvanathanG #generative #pointer #testing

Generating Test Data for Functions with Pointer Inputs (SV, NG), p. 149–?.

ASE-2002-EgyedG #automation #paradigm #requirements #traceability

Automating Requirements Traceability: Beyond the Record & Replay Paradigm (AE, PG), pp. 163–171.

ASE-2002-BarberGH #architecture #evaluation #non-functional #using

Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation (KSB, TJG, JH), pp. 172–182.

ASE-2002-MenziesRSHT #modelling #testing

Model-Based Tests of Truisms (TM, DR, SoS, YH, ST), p. 183–?.

ASE-2002-LiKF #composition #interface #verification

Interfaces for Modular Feature Verification (HCL, SK, KF), pp. 195–204.

ASE-2002-GibbsMP #automation #c++ #invariant #validation

Automated Validation of Class Invariants in C++ Applications (THG, BAM, JFP), p. 205–?.

ASE-2002-AugustonJU #automation #debugging #framework

A Framework for Automatic Debugging (MA, CJ, SU), pp. 217–222.

ASE-2002-LoerH #analysis #interactive #model checking #towards

Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems (KL, MDH), pp. 223–226.

ASE-2002-CalderM #automation #communication #concurrent #process #verification

Automatic Verification of any Number of Concurrent, Communicating Processes (MC, AM), pp. 227–230.

ASE-2002-Al-DallalS #framework #object-oriented #testing #using

System Testing for Object-Oriented Frameworks Using Hook Technology (JAD, PGS), pp. 231–236.

ASE-2002-OwenMC #finite #modelling #question #what

What Makes Finite-State Models More (or Less) Testable? (DO, TM, BC), pp. 237–240.

ASE-2002-VieiraR #component #dependence #scalability

Analyzing Dependencies in Large Component-Based Systems (MERV, DJR), pp. 241–244.

ASE-2002-DiasR #component #concurrent #identification

Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components (MSD, DJR), pp. 245–248.

ASE-2002-TanL #design #object-oriented #requirements

Systematic Bridging the Gap between Requirements and OO Design (HBKT, WL), pp. 249–252.

ASE-2002-BaudryFJT #adaptation #automation #component #dot-net #optimisation #testing #using

Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component (BB, FF, JMJ, YLT), pp. 253–256.

ASE-2002-MartinezESP #approach #prototype #requirements #user interface

From Early Requirements to User Interface Prototyping: A Methodological Approach (AM, HE, JS, OP), pp. 257–260.

ASE-2002-FraikinL #diagrams #named #sequence chart #testing

SeDiTeC — Testing Based on Sequence Diagrams (FF, TL), pp. 261–266.

ASE-2002-CsertanHMPPV #automation #modelling #named #uml #validation #verification #visual notation

VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models (GC, GH, IM, ZP, AP, DV), pp. 267–270.

ASE-2002-AguirreM #approach #component #configuration management #logic #specification

A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems (NA, TSEM), pp. 271–274.

ASE-2002-AndrewsFL #testing

Adding Value to Formal Test Oracles (JHA, RF, VDL), pp. 275–248.

ASE-2002-Chen #component #configuration management #dependence #distributed

Dependence Management for Dynamic Reconfiguration of Component-Based Distributed Systems (XC), pp. 279–284.

ASE-2002-AzarPBKS #adaptation #algorithm #modelling #predict #quality #search-based

Combining and Adapting Software Quality Predictive Models by Genetic Algorithms (DA, DP, SB, BK, HAS), pp. 285–288.

ASE-2002-RosuW #towards

Towards Certifying Domain-Specific Properties of Synthesized Code (GR, JW), pp. 289–294.

ASE-2002-GrosserSV #predict #reasoning #using

Predicting Software Stability Using Case-Based Reasoning (DG, HAS, PV), p. 295–?.

ASE-2002-Goldmann #development

A Model of Planning and Enactment Support in Complex Software Development Projects (SG), p. 311.

ASE-2002-Crhova #composition #distributed #model checking

Distributed Modular Model Checking (JC), p. 312.

ASE-2002-KetfiBC #adaptation #on the fly

Adapting Applications on the Fly (AK, NB, PYC), p. 313.

ASE-2002-Le #process #tool support

Process Support for Tools Interoperability (ATL), p. 314.

ASE-2002-Stefanescu #automation #distributed #synthesis

Automatic Synthesis of Distributed Systems (AS), p. 315.

ASE-2002-Griche #automation #generative #interprocedural #testing

Automatic Inter-Procedural Test Case Generation (KCG), p. 316.

ASE-2002-Straeten #co-evolution #development #object-oriented #semantics

Semantic Links and Co-Evolution in Object-Oriented Software Development (RVDS), p. 317.