BibSLEIGH — Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering

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

@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.

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

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

Contents (90 items)

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