Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering
ASE, 2008.

SE
DBLP
Scholar
Full names Links ISxN
@proceedings{ASE-2008,
	address       = "L'Aquila, Italy",
	publisher     = "{IEEE}",
	title         = "{Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering}",
	year          = 2008,
}

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

Contents (90 items)

ASE-2008-HolzmannJG #verification
Swarm Verification (GJH, RJ, AG), pp. 1–6.
ASE-2008-Jones #development #predict #source code
Reflections on, and Predictions for, Support Systems for the Development of Programs (CBJ), pp. 7–8.
ASE-2008-JordeED #testing
Increasing Test Granularity by Aggregating Unit Tests (MJ, SGE, MBD), pp. 9–18.
ASE-2008-AndrewsGWX #effectiveness #random testing
Random Test Run Length and Effectiveness (JHA, AG, MW, RGX), pp. 19–28.
ASE-2008-BeyerHT #precise #program analysis
Program Analysis with Dynamic Precision Adjustment (DB, TAH, GT), pp. 29–38.
ASE-2008-LuciaOT #comparison #empirical #incremental #process #traceability
IR-Based Traceability Recovery Processes: An Empirical Comparison of “One-Shot” and Incremental Processes (ADL, RO, GT), pp. 39–48.
ASE-2008-MaderGP #automation #development #maintenance #modelling #process #traceability
Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to Models (PM, OG, IP), pp. 49–58.
ASE-2008-JiangNCJC #automation #evolution #incremental #semantics #traceability
Incremental Latent Semantic Indexing for Automatic Traceability Link Evolution Management (HJ, TNN, IXC, HJ, CKC), pp. 59–68.
ASE-2008-BordiniDFF #automation #multi #source code #verification
Automated Verification of Multi-Agent Programs (RHB, LAD, BF, MF), pp. 69–78.
ASE-2008-Hall #modelling #queue #realtime #specification #using #validation
Validating Real Time Specifications using Real Time Event Queue Modeling (RJH), pp. 79–88.
ASE-2008-RakamaricH #automation #axiom #static analysis #using
Automatic Inference of Frame Axioms Using Static Analysis (ZR, AJH), pp. 89–98.
ASE-2008-EgyedLF #consistency #design #generative #modelling #nondeterminism #uml
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models (AE, EL, AF), pp. 99–108.
ASE-2008-LoM #mining
Mining Scenario-Based Triggers and Effects (DL, SM), pp. 109–118.
ASE-2008-PradellaMP #bound #realtime #satisfiability #specification
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking (MP, AM, PSP), pp. 119–127.
ASE-2008-MayerS #debugging #modelling
Evaluating Models for Model-Based Debugging (WM, MS), pp. 128–137.
ASE-2008-JaspanQA #fault #logic
Error Reporting Logic (CJ, TQ, JA), pp. 138–147.
ASE-2008-MeredithJCR #monitoring #parametricity #performance
Efficient Monitoring of Parametric Context-Free Patterns (POM, DJ, FC, GR), pp. 148–157.
ASE-2008-ZismanSD #framework
A Framework for Dynamic Service Discovery (AZ, GS, JD), pp. 158–167.
ASE-2008-EdwardsM #development #framework
A Methodology and Framework for Creating Domain-Specific Development Infrastructures (GE, NM), pp. 168–177.
ASE-2008-HegdeD #ad hoc #collaboration #programming
Connecting Programming Environments to Support Ad-Hoc Collaboration (RH, PD), pp. 178–187.
ASE-2008-PostSKG #abstract interpretation #bound #model checking
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking (HP, CS, AK, TG), pp. 188–197.
ASE-2008-KimKK #memory management #model checking #satisfiability #testing
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker (MK, YK, HK), pp. 198–207.
ASE-2008-CapillaNC #architecture #estimation
Effort Estimation in Capturing Architectural Knowledge (RC, FN, CC), pp. 208–217.
ASE-2008-SantelicesCAOH #evolution #testing
Test-Suite Augmentation for Evolving Software (RAS, PKC, TA, AO, MJH), pp. 218–227.
ASE-2008-DwyerDE #cost analysis #monitoring
Reducing the Cost of Path Property Monitoring Through Sampling (MBD, MD, SGE), pp. 228–237.
ASE-2008-KhalekELK #constraints #generative #relational #testing #theorem proving #using
Query-Aware Test Generation Using a Relational Constraint Solver (SAK, BE, YOL, SK), pp. 238–247.
ASE-2008-WalkinshawB #constraints #finite #modelling
Inferring Finite-State Models with Temporal Constraints (NW, KB), pp. 248–257.
ASE-2008-KastnerA #approach #formal method #product line
Type-Checking Software Product Lines — A Formal Approach (CK, SA), pp. 258–267.
ASE-2008-PortOM #requirements #simulation #using
Using Simulation to Investigate Requirements Prioritization Strategies (DP, AO, TM), pp. 268–277.
ASE-2008-ZhangGC #analysis #automation #clustering #recommendation
Automated Aspect Recommendation through Clustering-Based Fan-in Analysis (DZ, YG, XC), pp. 278–287.
ASE-2008-JoshiS #java #parallel #predict #source code #thread #type system
Predictive Typestate Checking of Multithreaded Java Programs (PJ, KS), pp. 288–296.
ASE-2008-InkumsahX #execution #object-oriented #source code #symbolic computation #testing
Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution (KI, TX), pp. 297–306.
ASE-2008-Yom-TovTUH #automation #concurrent #debugging #random #source code
Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections (EYT, RT, SU, SH), pp. 307–316.
ASE-2008-RobbesL #code completion #how #repository
How Program History Can Improve Code Completion (RR, ML), pp. 317–326.
ASE-2008-ThummalapentaX #detection #framework #mining #named #open source #source code #web
SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web (ST, TX), pp. 327–336.
ASE-2008-AndersenL
Generic Patch Inference (JA, JLL), pp. 337–346.
ASE-2008-PostS #verification
Configuration Lifting: Verification meets Software Configuration (HP, CS), pp. 347–350.
ASE-2008-GrunbacherRD #lessons learnt #product line #tool support
Product Line Tools are Product Lines Too: Lessons Learned from Developing a Tool Suite (PG, RR, DD), pp. 351–354.
ASE-2008-KollmannG #specification #static analysis #student
A Specification Language for Static Analysis of Student Exercises (CK, MG), pp. 355–358.
ASE-2008-ShevertalovM #automation #case study #composition #network
A Case Study on the Automatic Composition of Network Application Mashups (MS, SM), pp. 359–362.
ASE-2008-DanielB #automation #effectiveness #predict #testing #tool support
Predicting Effectiveness of Automatic Testing Tools (BD, MB), pp. 363–366.
ASE-2008-ShenLXS #collaboration #constraints #distributed #maintenance #modelling #uml
Distributed Constraints Maintenance in Collaborative UML Modeling Environments (HS, SL, SX, CS), pp. 367–370.
ASE-2008-AndreouP #estimation #fuzzy #using
Software Cost Estimation using Fuzzy Decision Trees (ASA, EP), pp. 371–374.
ASE-2008-GeW #feature model #framework #generative #modelling #named #platform
Rhizome: A Feature Modeling and Generation Platform (GG, EJWJ), pp. 375–378.
ASE-2008-MooreS #analysis #design #layout
Combining the Analysis of Spatial Layout and Text to Support Design Exploration (JMM, FMSI), pp. 379–382.
ASE-2008-AdnanGDZ #analysis #clustering #component #design #interface #using
Using Cluster Analysis to Improve the Design of Component Interfaces (RA, BG, AvD, JZ), pp. 383–386.
ASE-2008-HartKGCL #abstraction #proving #refinement
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates (TEH, KK, AG, MC, DL), pp. 387–390.
ASE-2008-IspirC #aspect-oriented #programming #verification
An Assume Guarantee Verification Methodology for Aspect-Oriented Programming (MI, ABC), pp. 391–394.
ASE-2008-GibbsBSDC #automation #question
Living with the Law: Can Automation give us Moore with Less? (CG, JB, NS, MD, YC), pp. 395–398.
ASE-2008-BertolinoAS #named #performance #testing
VCR: Virtual Capture and Replay for Performance Testing (AB, GDA, AS), pp. 399–402.
ASE-2008-CabralM #automation #exception
A Case for Automatic Exception Handling (BC, PM), pp. 403–406.
ASE-2008-TanejaX #automation #generative #named #testing
DiffGen: Automated Regression Unit-Test Generation (KT, TX), pp. 407–410.
ASE-2008-TurnerPKC #approach #automation #code generation #process #using #web
An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach (DAT, MP, JK, JC), pp. 411–414.
ASE-2008-FischerMS #consistency #web
The Consistency of Web Conversations (JF, RM, FS), pp. 415–418.
ASE-2008-AlmeidaSTV #testing
Testing Peers’ Volatility (ECdA, GS, YLT, PV), pp. 419–422.
ASE-2008-KimPYL #automation #component #experience #industrial #integration
Automated Continuous Integration of Component-Based Software: An Industrial Experience (SK, SP, JY, YL), pp. 423–426.
ASE-2008-MartinhoVD #approach #flexibility #modelling #process
A Two-Step Approach for Modelling Flexibility in Software Processes (RM, JV, DD), pp. 427–430.
ASE-2008-FalleriHN #approach #normalisation
A Generic Approach for Class Model Normalization (JRF, MH, CN), pp. 431–434.
ASE-2008-RuengmeeFBRL #aspect-oriented #editing #programming #usability
XE (eXtreme Editor) — Bridging the Aspect-Oriented Programming Usability Gap (WR, RSSF, SKB, DFR, CVL), pp. 435–438.
ASE-2008-HsuJO #agile #debugging #identification #named #process
Rapid: Identifying Bug Signatures to Support Debugging Activities (HYH, JAJ, AO), pp. 439–442.
ASE-2008-BurnimS #generative #heuristic #scalability #testing
Heuristics for Scalable Dynamic Test Generation (JB, KS), pp. 443–446.
ASE-2008-SalayME #megamodelling #modelling
Managing Models through Macromodeling (RS, JM, SME), pp. 447–450.
ASE-2008-NguyenNPAN #evolution #named
Cleman: Comprehensive Clone Group Evolution Management (TTN, HAN, NHP, JMAK, TNN), pp. 451–454.
ASE-2008-ChauvelBBJ #adaptation #composition #policy
Composition of Qualitative Adaptation Policies (FC, OB, IB, JMJ), pp. 455–458.
ASE-2008-FukudaY #development #internet #scalability
A System for Supporting Development of Large Scaled Rich Internet Applications (HF, YY), pp. 459–462.
ASE-2008-FluriGG
Discovering Patterns of Change Types (BF, EG, HCG), pp. 463–466.
ASE-2008-KhambatiGWH #development #health #mobile #modelling
Model-Driven Development of Mobile Personal Health Care Applications (AK, JCG, JW, JGH), pp. 467–470.
ASE-2008-BrichauKM #source code #using
Enforcing Structural Regularities in Source Code using IntensiVE (JB, AK, KM), pp. 471–472.
ASE-2008-BucchiaroneGLTF #tool support
QuARS Express — A Tool Demonstration (AB, SG, GL, GT, AF), pp. 473–474.
ASE-2008-DIppolitoFCU #named
MTSA: The Modal Transition System Analyser (ND, DF, MC, SU), pp. 475–476.
ASE-2008-LiHG #code generation #interface #modelling #multi #named #process
MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation (RLL, JGH, JCG), pp. 477–478.
ASE-2008-HartKGCL08a #model checking #named #proving
PtYasm: Software Model Checking with Proof Templates (TEH, KK, AG, MC, DL), pp. 479–480.
ASE-2008-HolmesW #reuse
Semi-Automating Pragmatic Reuse Tasks (RH, RJW), pp. 481–482.
ASE-2008-MalavoltaMP #architecture #framework #named #tool support
DUALLY: A framework for Architectural Languages and Tools Interoperability (IM, HM, PP), pp. 483–484.
ASE-2008-MorandiniPP #adaptation #automation #modelling #self
Automated Mapping from Goal Models to Self-Adaptive Systems (MM, LP, AP), pp. 485–486.
ASE-2008-CapillaNMC #architecture #design #named
ADDSS: Architecture Design Decision Support System Tool (RC, FN, JM, CC), pp. 487–488.
ASE-2008-CamachoM #automation #named #using
APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars (DOC, KM), pp. 489–490.
ASE-2008-BordinPP #agile #modelling #prototype #realtime #verification
Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems (MB, MP, SP), pp. 491–492.
ASE-2008-SentillesPCH #component #development #embedded #ide #named #predict
Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems (SS, PP, IC, JH), pp. 493–494.
ASE-2008-GaffeR #tool support
The Clem Toolkit (DG, AR), pp. 495–496.
ASE-2008-SchumannGPMB #analysis #parametricity #scalability #simulation #tool support
Tool Support for Parametric Analysis of Large Software Simulation Systems (JS, KGB, CSP, TM, TB), pp. 497–498.
ASE-2008-StaatsDRHW #named #requirements
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements (MS, WD, AR, MPEH, KW), pp. 499–500.
ASE-2008-UbayashiONYT #named #uml
AspectM: UML-Based Extensible AOM Language (NU, GO, KN, JY, TT), pp. 501–502.
ASE-2008-YuJS #development #tool support #traceability
Tools for Traceability in Secure Software Development (YY, JJ, JS), pp. 503–504.
ASE-2008-Frisby #analysis #tool support
Unifying Analysis Tools with Rosetta (NF), pp. 505–508.
ASE-2008-Balagtas-FernandezH #development #mobile #modelling
Model-Driven Development of Mobile Applications (FTBF, HH), pp. 509–512.
ASE-2008-Pinzger #analysis #automation #performance #web
Automated Web Performance Analysis (MP), pp. 513–516.
ASE-2008-Papailiopoulou #automation #generative #source code #testing
Automatic Test Generation for LUSTRE/SCADE Programs (VP), pp. 517–520.
ASE-2008-Dominguez #detection #feature model #interactive
Feature Interaction Detection in the Automotive Domain (ALJD), pp. 521–524.
ASE-2008-Eltaher #approach #testing #towards
Towards Good Enough Testing: A Cognitive-Oriented Approach Applied to Infotainment Systems (AE), pp. 525–528.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.