Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering
ASE, 2009.

@proceedings{ASE-2009,
	address       = "Auckland, New Zealand",
	isbn          = "978-0-7695-3891-4",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering}",
	year          = 2009,
}

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

Contents (89 items)

17 ×#automation
13 ×#testing
11 ×#named
9 ×#requirements
9 ×#using
8 ×#generative
7 ×#approach
7 ×#modelling
6 ×#analysis
6 ×#detection

ASE-2009-WimmerKSKRS #debugging #petri net #qvt

A Petri Net Based Debugging Environment for QVT Relations (MW, GK, JS, AK, WR, WS), pp. 3–14.

ASE-2009-RayMACSM #using #validation #verification

Validating Automotive Control Software Using Instrumentation-Based Verification (AR, IM, CA, RC, CPS, CM), pp. 15–25.

ASE-2009-GuldaliFJSE #automation #clustering #requirements #testing #using

Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering (BG, HF, MJ, SS, GE), pp. 29–39.

ASE-2009-Hall #algorithm #quantum #re-engineering

A Quantum Algorithm for Software Engineering Search (RJH), pp. 40–51.

ASE-2009-GreenMWE #comprehension #re-engineering

Understanding the Value of Software Engineering Technologies (PGI, TM, SW, OER), pp. 52–61.

ASE-2009-MunkbyS #fault tolerance #predict #type inference

Type Inference for Soft-Error Fault-Tolerance Prediction (GM, SS), pp. 65–75.

ASE-2009-AliADW #fault #locality

Evaluating the Accuracy of Fault Localization Techniques (SA, JHA, TD, WW), pp. 76–87.

ASE-2009-AbreuZG #fault #locality #multi

Spectrum-Based Multiple Fault Localization (RA, PZ, AJCvG), pp. 88–99.

ASE-2009-WegrzynowiczS #design pattern #detection #testing #towards

Towards a Comprehensive Test Suite for Detectors of Design Patterns (PW, KS), pp. 103–110.

ASE-2009-KawrykowR #api #automation #detection

Improving API Usage through Automatic Detection of Redundant Code (DK, MPR), pp. 111–122.

ASE-2009-NguyenNPAN #configuration management

Clone-Aware Configuration Management (TTN, HAN, NHP, JMAK, TNN), pp. 123–134.

ASE-2009-CordeiroFM #bound #embedded #model checking #smt

SMT-Based Bounded Model Checking for Embedded ANSI-C Software (LCC, BF, JMS), pp. 137–148.

ASE-2009-SaebjoernsenJQS #c #metaprogramming #preprocessor #validation

Static Validation of C Preprocessor Macros (AS, LJ, DJQ, ZS), pp. 149–160.

ASE-2009-BurnimJSS #detection #infinity #lightweight #named #runtime

Looper: Lightweight Detection of Infinite Loops at Runtime (JB, NJ, CS, KS), pp. 161–169.

ASE-2009-WongC #analysis #dependence #logic #modelling #performance

Improving the Efficiency of Dependency Analysis in Logical Decision Models (SW, YC), pp. 173–184.

ASE-2009-NistorH #development

Explicit Concern-Driven Development with ArchEvol (ECN, AvdH), pp. 185–196.

ASE-2009-WongCVSS #design #development #parallel

Design Rule Hierarchies and Parallelism in Software Development Tasks (SW, YC, GV, GS, KS), pp. 197–208.

ASE-2009-HewettK #automation #component #generative #integration #order #testing

Automated Test Order Generation for Software Component Integration Testing (RH, PK), pp. 211–220.

ASE-2009-LinTCZ #adaptation #approach #java #random testing #source code #testing

A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs (YL, XT, YC, JZ), pp. 221–232.

ASE-2009-JiangZCT #adaptation #random testing #testing

Adaptive Random Test Case Prioritization (BJ, ZZ, WKC, THT), pp. 233–244.

ASE-2009-GrunbacherRDL #case study #deployment #experience #industrial #modelling #tool support

Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences (PG, RR, DD, ML), pp. 247–256.

ASE-2009-WangM #approach #configuration management #requirements #self

Self-Repair through Reconfiguration: A Requirements Engineering Approach (YW, JM), pp. 257–268.

ASE-2009-LauenrothPT #model checking #product line

Model Checking of Domain Artifacts in Product Line Engineering (KL, KP, ST), pp. 269–280.

ASE-2009-ThummalapentaX #detection #mining #named

Alattin: Mining Alternative Patterns for Detecting Neglected Conditions (ST, TX), pp. 283–294.

ASE-2009-WasylkowskiZ #mining #specification

Mining Temporal Specifications from Object Usage (AW, AZ), pp. 295–306.

ASE-2009-ZhongZXM #api #documentation #natural language #specification

Inferring Resource Specifications from Natural Language API Documentation (HZ, LZ, TX, HM), pp. 307–318.

ASE-2009-BookBGH #interface #internet #specification

Specification and Control of Interface Responses to User Input in Rich Internet Applications (MB, TB, VG, MH), pp. 321–331.

ASE-2009-HanWM #code completion

Code Completion from Abbreviated Input (SH, DRW, RCM), pp. 332–343.

ASE-2009-Maalej #integration #revisited #tool support

Task-First or Context-First? Tool Integration Revisited (WM), pp. 344–355.

ASE-2009-LoM #mining #specification

Mining Hierarchical Scenario-Based Specifications (DL, SM), pp. 359–370.

ASE-2009-PradelG #automation #generative #scalability #specification

Automatic Generation of Object Usage Specifications from Large Method Traces (MP, TRG), pp. 371–382.

ASE-2009-ChenMJR #independence #monitoring #parametricity #performance

Efficient Formalism-Independent Monitoring of Parametric Properties (FC, POM, DJ, GR), pp. 383–394.

ASE-2009-HolmesRRW #automation #recommendation #reuse

Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks (RH, TR, MPR, RJW), pp. 397–408.

ASE-2009-AcharyaK #health #mining #modelling #monitoring #performance

Mining Health Models for Performance Monitoring of Services (MA, VK), pp. 409–420.

ASE-2009-VakilianDBOAJ #summary

Inferring Method Effect Summaries for Nested Heap Regions (MV, DD, RLBJ, JO, VSA, REJ), pp. 421–432.

ASE-2009-DanielJDM #named #testing

ReAssert: Suggesting Repairs for Broken Unit Tests (BD, VJ, DD, DM), pp. 433–444.

ASE-2009-ArthoLHTY #branch #linear #model checking

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time (CA, WL, MH, YT, MY), pp. 447–458.

ASE-2009-TaleghaniA #estimation

State-Space Coverage Estimation (AT, JMA), pp. 459–467.

ASE-2009-LauterburgDMA #framework #source code

A Framework for State-Space Exploration of Java-Based Actor Programs (SL, MD, DM, GAA), pp. 468–479.

ASE-2009-DeshmukhES #analysis #concurrent #library

Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients (JVD, EAE, SS), pp. 480–491.

ASE-2009-KimYS #concurrent #detection #heuristic #memory management #model checking #precise #using

Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking (KK, TYK, BAS), pp. 495–499.

ASE-2009-ZhangGTL #probability #sequence chart #syntax

A Formal Syntax for Probabilistic Timed Property Sequence Charts (PZ, LG, AT, BL), pp. 500–504.

ASE-2009-AletiGMM #deployment #optimisation

Let the Ants Deploy Your Software — An ACO Based Deployment Optimisation Strategy (AA, LG, IM, IM), pp. 505–509.

ASE-2009-LedruPB #string #testing #using

Using String Distances for Test Case Prioritisation (YL, AP, SB), pp. 510–514.

ASE-2009-LiXTHS #automation #generative #named #regular expression #source code #testing #using

Reggae: Automated Test Generation for Programs Using Complex Regular Expressions (NL, TX, NT, JdH, WS), pp. 515–519.

ASE-2009-Balagtas-FernandezH #analysis #framework #mobile #usability

A Methodology and Framework to Simplify Usability Analysis of Mobile Applications (FTBF, HH), pp. 520–524.

ASE-2009-KiS #approach #development #open source

An Open Source-Based Approach to Software Development Infrastructures (YK, MS), pp. 525–529.

ASE-2009-SardinhaCWGR #aspect-oriented #automation #detection #named #requirements

EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements (AS, RC, NW, PG, AR), pp. 530–534.

ASE-2009-LalanneMOCMG #approach #automation #testing

An Automated Passive Testing Approach for the IMS PoC Service (FL, SM, EMdO, ARC, WM, AG), pp. 535–539.

ASE-2009-KimLHK #documentation #java

Adding Examples into Java Documents (JK, SL, SwH, SK), pp. 540–544.

ASE-2009-RoseKPP #automation #consistency #metamodelling #nondeterminism

Enhanced Automation for Managing Model and Metamodel Inconsistency (LMR, DSK, RFP, FACP), pp. 545–549.

ASE-2009-DallmeierZM #behaviour #generative

Generating Fixes from Object Behavior Anomalies (VD, AZ, BM), pp. 550–554.

ASE-2009-AthanasopoulosZI #revisited

Service Substitution Revisited (DA, AZ, VI), pp. 555–559.

ASE-2009-DenneyF #approach #documentation #traceability

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software (ED, BF), pp. 560–564.

ASE-2009-LiaskosMM #modelling #requirements #towards

Towards Augmenting Requirements Models with Preferences (SL, SAM, JM), pp. 565–569.

ASE-2009-BoccuzzoG #automation #comprehension

Automated Comprehension Tasks in Software Exploration (SB, HCG), pp. 570–574.

ASE-2009-KhatchadourianGRX #aspect-oriented #evolution

Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software (RK, PG, AR, G(X), pp. 575–579.

ASE-2009-LemonRMPDCPPLP #agile #development #simulation

Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development (BL, AR, TM, JP, JD, RC, TP, FP, HL, DP), pp. 580–584.

ASE-2009-GonzalezCD #analysis #automation #implementation #workflow

Automating the Implementation of Analysis Concerns in Workflow Applications (OG, RC, DD), pp. 585–589.

ASE-2009-AnCF #ruby #static typing #type system

Static Typing for Ruby on Rails (Jh(A, AC, JSF), pp. 590–594.

ASE-2009-CassellAGN #automation #clustering #towards #using

Towards Automating Class-Splitting Using Betweenness Clustering (KC, PA, LG, JN), pp. 595–599.

ASE-2009-ShivajiWAK #debugging #predict

Reducing Features to Improve Bug Prediction (SS, EJWJ, RA, SK), pp. 600–604.

ASE-2009-YuAB #analysis #generative #source code #string #using

Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses (FY, MA, TB), pp. 605–609.

ASE-2009-WangC #context-sensitive grammar #testing #weaving

Weaving Context Sensitivity into Test Suite Construction (HW, WKC), pp. 610–614.

ASE-2009-SiddiquiMK #constraints #optimisation #performance #theorem proving

Optimizing a Structural Constraint Solver for Efficient Software Checking (JHS, DM, SK), pp. 615–619.

ASE-2009-MalikGEK #automation #data type #debugging #using

A Case for Automated Debugging Using Data Structure Repair (MZM, KG, BE, SK), pp. 620–624.

ASE-2009-BiermannEEH #eclipse #framework #generative #modelling #simulation

Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework (EB, KE, CE, JH), pp. 625–629.

ASE-2009-WeiglhoferFW #fault #locality #testing #using

Using Spectrum-Based Fault Localization for Test Case Grouping (MW, GF, FW), pp. 630–634.

ASE-2009-BarnatBS #clustering #ltl #model checking

Cluster-Based I/O-Efficient LTL Model Checking (JB, LB, PS), pp. 635–639.

ASE-2009-DeanPMW #approach #automation #fault #linear #locality #multi #programming

A Linear Programming Approach for Automated Localization of Multiple Faults (BCD, WBP, BAM, AAW), pp. 640–644.

ASE-2009-BalasubramanianJ #semantics

Lost in Translation: Forgetful Semantic Anchoring (DB, EKJ), pp. 645–649.

ASE-2009-PiccioniOMS #evolution #ide #object-oriented

An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software (MP, MO, BM, TS), pp. 650–654.

ASE-2009-SuHH #architecture #documentation #named #visual notation

KaitoroBase: Visual Exploration of Software Architecture Documents (MTS, CH, JGH), pp. 657–659.

ASE-2009-MarasSC #named #web

phpModeler — A Web Model Extractor (JM, MS, IC), pp. 660–661.

ASE-2009-JanssenAG #automation #fault #locality #named #tool support

Zoltar: A Toolset for Automatic Fault Localization (TJ, RA, AJCvG), pp. 662–664.

ASE-2009-CavadaCMMMMPRST #requirements #validation

Supporting Requirements Validation: The EuRailCheck Tool (RC, AC, AM, CM, AM, SM, MP, MR, AS, ST), pp. 665–667.

ASE-2009-KroeningSTTW #named #source code

Loopfrog: A Static Analyzer for ANSI-C Programs (DK, NS, ST, AT, CMW), pp. 668–670.

ASE-2009-GherbiKKHT #generative #validation

A Tool Suite for the Generation and Validation of Configurations for Software Availability (AG, AK, FK, AHL, MT), pp. 671–673.

ASE-2009-SaekiHK #analysis #requirements

A Tool for Attributed Goal-Oriented Requirements Analysis (MS, SH, HK), pp. 674–676.

ASE-2009-ZhangZHZM #named #testing

Jtop: Managing JUnit Test Cases in Absence of Coverage Information (LZ, JZ, DH, LZ, HM), pp. 677–679.

ASE-2009-DeeptimahantiB #automation #generative #modelling #natural language #requirements #uml

An Automated Tool for Generating UML Models from Natural Language Requirements (DKD, MAB), pp. 680–682.

ASE-2009-HokamuraNSUNI #aspect-oriented #framework #named #php

AOWP: Web-Specific AOP Framework for PHP (KH, RN, MS, NU, SN, AI), pp. 683–685.

ASE-2009-Wright #interactive #modelling #web

A Modelling Language for Interactive Web Applications (JMW), pp. 689–692.

ASE-2009-Kamalrudin #automation #consistency #nondeterminism #requirements #tool support

Automated Software Tool Support for Checking the Inconsistency of Requirements (MK), pp. 693–697.

ASE-2009-Meads #approach #mobile

A Holistic Approach to Mobile Service Provisioning (AJDM), pp. 698–702.

ASE-2009-Romero-Mariona #requirements

Secure and Usable Requirements Engineering (JRM), pp. 703–706.

ASE-2009-Jokhio #semantics #testing #web #web service

Goal-Based Testing of Semantic Web Services (MSJ), pp. 707–711.

ASE-2009-Majumdar #aspect-oriented #migration #paradigm #programming

Migration from Procedural Programming to Aspect Oriented Paradigm (DM), pp. 712–715.

ASE-2009-Jenson #component #constraints #dependence #validation #verification

Improving Component Dependency Resolution with Soft Constraints, Validation and Verification (GJ), pp. 716–720.