Proceedings of the 19th IEEE International Conference on Automated Software Engineering
ASE, 2004.

@proceedings{ASE-2004,
	address       = "Linz, Austria",
	isbn          = "0-7695-2131-2",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 19th IEEE International Conference on Automated Software Engineering}",
	year          = 2004,
}

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

Contents (65 items)

15 ×#automation
12 ×#testing
9 ×#framework
9 ×#named
8 ×#generative
8 ×#modelling
6 ×#case study
6 ×#using
5 ×#interactive
4 ×#approach

ASE-2004-ApiwattanapongOH #algorithm #difference #object-oriented #source code

A Differencing Algorithm for Object-Oriented Programs (TA, AO, MJH), pp. 2–13.

ASE-2004-Kloukinas #realtime

Data-Mining Synthesised Schedulers for Hard Real-Time Systems (CK), pp. 14–23.

ASE-2004-RichardsonG #automation #traceability

Automating Traceability for Generated Software Artifacts (JR, JG), pp. 24–33.

ASE-2004-CaiGH #automation #case study #experience #generative #open source #performance #scalability

Experiences Integrating and Scaling a Performance Test Bed Generator with an Open Source CASE Tool (YC, JCG, JGH), pp. 36–45.

ASE-2004-KalinowskiT #framework

Computational Framework for Supporting Software Inspections (MK, GHT), pp. 46–55.

ASE-2004-HallZ #behaviour #requirements #validation

Validating Personal Requirements by Assisted Symbolic Behavior Browsing (RJH, AZ), pp. 56–66.

ASE-2004-ZenmyoKS #automation #framework

Automated Support for Framework Selection and Customization (TZ, TK, MS), pp. 68–77.

ASE-2004-HammoudaKPKM #adaptation #framework #uml

Adaptable Concern-Based Framework Specialization in UML (IH, JK, MP, MK, TM), pp. 78–87.

ASE-2004-McNaughtonCSSRP #design pattern #game studies #generative #named

ScriptEase: Generative Design Patterns for Computer Role-Playing Games (MM, MC, DS, JS, JR, DP), pp. 88–99.

ASE-2004-BookG #automation #modelling

Modeling Web-Based Dialog Flows for Automatic Dialog Control (MB, VG), pp. 100–109.

ASE-2004-PerssonY #automation #case study #experience #industrial #testing

Establishment of Automated Regression Testing at ABB: Industrial Experience Report on “Avoiding the Pitfalls” (CP, NY), pp. 112–121.

ASE-2004-LiWQ #generative #testing #uml

Property-Oriented Test Generation from UML Statecharts (SL, JW, ZCQ), pp. 122–131.

ASE-2004-SampathMSP #approach #concept analysis #scalability #testing #web

Scalable Approach to User-Session based Testing of Web Applications through Concept Analysis (SS, VM, ALS, LLP), pp. 132–141.

ASE-2004-Taghdiri #detection #fault #specification

Inferring Specifications to Detect Errors in Code (MT), pp. 144–153.

ASE-2004-DwyerRTV #interactive #model checking #order

Analyzing Interaction Orderings with Model Checking (MBD, R, OT, WV), pp. 154–163.

ASE-2004-LicataK #interactive #source code #verification #web

Verifying Interactive Web Programs (DRL, SK), pp. 164–173.

ASE-2004-HeimdahlG #modelling #quality #reduction #testing

Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing (MPEH, GD), pp. 176–185.

ASE-2004-MemonX #automation #fault #persistent #testing #using

Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software (AMM, QX), pp. 186–195.

ASE-2004-XieMN #detection #framework #named #object-oriented #testing

Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests (TX, DM, DN), pp. 196–205.

ASE-2004-BossungSGAH #automation #heuristic #interactive #specification

Automated Data Mapping Specification via Schema Heuristics and User Interaction (SB, HS, JCG, RA, JGH), pp. 208–217.

ASE-2004-MarceauCKR #data flow #debugging

Dataflow Language for Scriptable Debugging (GM, GHC, SK, SPR), pp. 218–227.

ASE-2004-HillR #automation

Automatic Method Completion (RH, JR), pp. 228–235.

ASE-2004-RauschmayerKW #consistency #framework #generative #scalability

Consistency Checking in an Infrastructure for Large-Scale Generative (AR, AK, MW), pp. 238–247.

ASE-2004-Betin-CanB #concurrent #programming #using

Verifiable Concurrent Programming Using Concurrency Controllers (ABC, TB), pp. 248–257.

ASE-2004-BlundellFKH #interface #product line #verification

Parameterized Interfaces for Open System Verification of Product Lines (CB, KF, SK, PVH), pp. 258–267.

ASE-2004-CaoGHST #architecture #generative #tool support

An Architecture for Generating Web-Based, Thin-Client Diagramming Tools (SC, JCG, JGH, HS, EDT), pp. 270–273.

ASE-2004-JiXCHCM #fault #statistics

A Statistical Model to Locate Faults at Input Level (JW, XxJ, CL, HyY, CL, MJ), pp. 274–277.

ASE-2004-SilvaF #evaluation #framework #object-oriented

Helping Object-Oriented Framework Use and Evaluation by means of Historical Use Information (RPeS, ECF), pp. 278–281.

ASE-2004-LeowKLS #automation #generative #heuristic #reachability #source code #testing

Heuristic Search with Reachability Tests for Automated Generation of Test Programs (WKL, SCK, THL, VS), pp. 282–285.

ASE-2004-Heuzeroth #adaptation #interactive #named

COMPASS: Tool-Supported Adaptation of Interactions (DH), pp. 286–289.

ASE-2004-WilliamsMM #c #generative #on the fly #testing

On-the-Fly Generation of K-Path Tests for C Functions (NW, BM, PM), pp. 290–293.

ASE-2004-BousquetLMOL #case study #validation

Case Study in JML-Based Software Validation (LdB, YL, OM, CO, JLL), pp. 294–297.

ASE-2004-CompareDMI #automation #design #experience #industrial #performance #validation

Automated Performance Validation of Software Design: An Industrial Experience (DC, AD, ADM, PI), pp. 298–301.

ASE-2004-Reiss #named #specification

CHET: A System for Checking Dynamic Specifications (SPR), pp. 302–305.

ASE-2004-FleureyTB #approach #automation #testing

From Testing to Diagnosis: An Automated Approach (FF, YLT, BB), pp. 306–309.

ASE-2004-BreuK #mining #using

Aspect Mining Using Event Traces (SB, JK), pp. 310–315.

ASE-2004-Andrews #case study #data type #random #testing

Case Study of Coverage-Checked Random Data Structure Testing (JHA), pp. 316–319.

ASE-2004-LuADN #semantics

Mapping Template Semantics to SMV (YL, JMA, NAD, JN), pp. 320–325.

ASE-2004-YuLB #case study #modelling #refactoring

Refactoring Use Case Models on Episodes (WY, JL, GB), pp. 328–331.

ASE-2004-XuRS #aspect-oriented #comprehension

Understanding Aspects via Implicit Invocation (JX, HR, KJS), pp. 332–335.

ASE-2004-RysselbergheD #clone detection #detection #perspective #refactoring

Evaluating Clone Detection Techniques from a Refactoring Perspective (FVR, SD), pp. 336–339.

ASE-2004-HopcroftB #csp #development

Combining the Box Structure Development Method and CSP (PJH, GHB), pp. 340–345.

ASE-2004-KhorG #algorithm #automation #branch #concept analysis #search-based #testing #using

Using a Genetic Algorithm and Formal Concept Analysis to Generate Branch Coverage Test Data Automatically (SK, PG), pp. 346–349.

ASE-2004-KonradCC #analysis #automation #diagrams #uml

Automated Analysis of Timing Information in UML Diagrams (SK, LAC, BHCC), pp. 350–353.

ASE-2004-ChoiH #approach #case study #model checking

Combination Model Checking: Approach and a Case Study (YC, MPEH), pp. 354–357.

ASE-2004-Eusterbrock #certification

Context-Aware Code Certification (JE), pp. 358–361.

ASE-2004-JohannE #incremental #modelling

Instant and Incremental Transformation of Models (SJ, AE), pp. 362–365.

ASE-2004-Alzamil #analysis #named #performance

RCAT: A Performance Analysis Tool (ZA), pp. 366–370.

ASE-2004-MehtaMSA #architecture #behaviour #composition #modelling

Modeling Behavior in Compositions of Software Architectural Primitives (NRM, NM, MS, FA), pp. 371–374.

ASE-2004-JansenB #architecture #evaluation #evolution #tool support

Evaluation of Tool Support for Architectural Evolution (AJ, JB), pp. 375–378.

ASE-2004-SpanoudakisM #calculus #framework #monitoring #requirements #towards

Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus (GS, KM), pp. 379–384.

ASE-2004-McNaughtonCSSRP04a #game studies #generative #named

ScriptEase: Generating Scripting Code for Computer Role-Playing Games (MM, MC, DS, JS, JR, DP), pp. 386–387.

ASE-2004-HotzKW #using

Using a Structure-based Configuration Tool for Product Derivation (LH, TK, KW), pp. 388–391.

ASE-2004-KalinowskiT04a #framework #named #process

ISPIS: A Framework Supporting Software Inspection Processes (MK, GHT), pp. 392–393.

ASE-2004-Lanza #named

CodeCrawler — Polymetric Views in Action (ML), pp. 394–395.

ASE-2004-MikucionisLN #modelling #named #online #realtime #testing

T-UPPAAL: Online Model-based Testing of Real-Time Systems (MM, KGL, BN), pp. 396–397.

ASE-2004-SmithWHDLC #requirements

An Environment for Building a System out of its Requirements (CS, KW, IJH, RGD, PAL, DAC), pp. 398–399.

ASE-2004-Arshad #automation #configuration management #using

Automated Dynamic Reconfiguration using AI Planning (NA), pp. 402–405.

ASE-2004-Ramler #development

Decision Support for Test Management in Iterative and Evolutionary Development (RR), pp. 406–409.

ASE-2004-Haydar #analysis #automation #framework #verification

Formal Framework for Automated Analysis and Verification of Web-Based Applications (MH), pp. 410–413.

ASE-2004-Xie #approach #component #hybrid #verification

Decompositional Verification of Component-based Systems — A Hybrid Approach (GX), pp. 414–417.

ASE-2004-Capuano #interactive #source code #visualisation

Interactive Visualization of Concurrents Programs (RC), pp. 418–421.

ASE-2004-Boulila #collaboration #concurrent #distributed #modelling

Group Support for Distributed Collaborative Concurrent Software Modeling (NB), pp. 422–425.

ASE-2004-Seyff #collaboration #mobile #requirements #tool support

Collaborative Tools for Mobile Requirements Acquisition (NS), pp. 426–429.

ASE-2004-GuoH #mobile #modelling #simulation

Modeling and Simulation of Context-Aware Mobile Systems (PG, RH), pp. 430–433.