23. ASE 2008:
L'Aquila,
Italy
23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L'Aquila, Italy.
IEEE 2008 BibTeX
- Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Swarm Verification.
1-6
Electronic Edition (link) BibTeX
- Cliff B. Jones:
Reflections on, and Predictions for, Support Systems for the Development of Programs.
7-8
Electronic Edition (link) BibTeX
- Matthew Jorde, Sebastian G. Elbaum, Matthew B. Dwyer:
Increasing Test Granularity by Aggregating Unit Tests.
9-18
Electronic Edition (link) BibTeX
- James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu:
Random Test Run Length and Effectiveness.
19-28
Electronic Edition (link) BibTeX
- Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz:
Program Analysis with Dynamic Precision Adjustment.
29-38
Electronic Edition (link) BibTeX
- Andrea De Lucia, Rocco Oliveto, Genoveffa Tortora:
IR-Based Traceability Recovery Processes: An Empirical Comparison of "One-Shot" and Incremental Processes.
39-48
Electronic Edition (link) BibTeX
- Patrick Mäder, Orlena Gotel, Ilka Philippow:
Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to Models.
49-58
Electronic Edition (link) BibTeX
- Hsinyi Jiang, Tien N. Nguyen, Ing-Xiang Chen, Hojun Jaygarl, Carl K. Chang:
Incremental Latent Semantic Indexing for Automatic Traceability Link Evolution Management.
59-68
Electronic Edition (link) BibTeX
- Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher:
Automated Verification of Multi-Agent Programs.
69-78
Electronic Edition (link) BibTeX
- Robert J. Hall:
Validating Real Time Specifications using Real Time Event Queue Modeling.
79-88
Electronic Edition (link) BibTeX
- Zvonimir Rakamaric, Alan J. Hu:
Automatic Inference of Frame Axioms Using Static Analysis.
89-98
Electronic Edition (link) BibTeX
- Alexander Egyed, Emmanuel Letier, Anthony Finkelstein:
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models.
99-108
Electronic Edition (link) BibTeX
- David Lo, Shahar Maoz:
Mining Scenario-Based Triggers and Effects.
109-118
Electronic Edition (link) BibTeX
- Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking.
119-127
Electronic Edition (link) BibTeX
- Wolfgang Mayer, Markus Stumptner:
Evaluating Models for Model-Based Debugging.
128-137
Electronic Edition (link) BibTeX
- Ciera Jaspan, Trisha Quan, Jonathan Aldrich:
Error Reporting Logic.
138-147
Electronic Edition (link) BibTeX
- Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu:
Efficient Monitoring of Parametric Context-Free Patterns.
148-157
Electronic Edition (link) BibTeX
- Andrea Zisman, George Spanoudakis, James Dooley:
A Framework for Dynamic Service Discovery.
158-167
Electronic Edition (link) BibTeX
- George Edwards, Nenad Medvidovic:
A Methodology and Framework for Creating Domain-Specific Development Infrastructures.
168-177
Electronic Edition (link) BibTeX
- Rajesh Hegde, Prasun Dewan:
Connecting Programming Environments to Support Ad-Hoc Collaboration.
178-187
Electronic Edition (link) BibTeX
- Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges:
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking.
188-197
Electronic Edition (link) BibTeX
- Moonzoo Kim, Yunho Kim, Hotae Kim:
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker.
198-207
Electronic Edition (link) BibTeX
- Rafael Capilla, Francisco Nava, Carlos Carrillo:
Effort Estimation in Capturing Architectural Knowledge.
208-217
Electronic Edition (link) BibTeX
- Raúl A. Santelices, Pavan Kumar Chittimalli, Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold:
Test-Suite Augmentation for Evolving Software.
218-227
Electronic Edition (link) BibTeX
- Matthew B. Dwyer, Madeline Diep, Sebastian G. Elbaum:
Reducing the Cost of Path Property Monitoring Through Sampling.
228-237
Electronic Edition (link) BibTeX
- Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, Sarfraz Khurshid:
Query-Aware Test Generation Using a Relational Constraint Solver.
238-247
Electronic Edition (link) BibTeX
- Neil Walkinshaw, Kirill Bogdanov:
Inferring Finite-State Models with Temporal Constraints.
248-257
Electronic Edition (link) BibTeX
- Christian Kästner, Sven Apel:
Type-Checking Software Product Lines - A Formal Approach.
258-267
Electronic Edition (link) BibTeX
- Dan Port, Alexy Olkov, Tim Menzies:
Using Simulation to Investigate Requirements Prioritization Strategies.
268-277
Electronic Edition (link) BibTeX
- Danfeng Zhang, Yao Guo, Xiangqun Chen:
Automated Aspect Recommendation through Clustering-Based Fan-in Analysis.
278-287
Electronic Edition (link) BibTeX
- Pallavi Joshi, Koushik Sen:
Predictive Typestate Checking of Multithreaded Java Programs.
288-296
Electronic Edition (link) BibTeX
- Kobi Inkumsah, Tao Xie:
Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution.
297-306
Electronic Edition (link) BibTeX
- Elad Yom-Tov, Rachel Tzoref, Shmuel Ur, Shlomo Hoory:
Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections.
307-316
Electronic Edition (link) BibTeX
- Romain Robbes, Michele Lanza:
How Program History Can Improve Code Completion.
317-326
Electronic Edition (link) BibTeX
- Suresh Thummalapenta, Tao Xie:
SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web.
327-336
Electronic Edition (link) BibTeX
- Jesper Andersen, Julia L. Lawall:
Generic Patch Inference.
337-346
Electronic Edition (link) BibTeX
- Hendrik Post, Carsten Sinz:
Configuration Lifting: Verification meets Software Configuration.
347-350
Electronic Edition (link) BibTeX
- Paul Grünbacher, Rick Rabiser, Deepak Dhungana:
Product Line Tools are Product Lines Too: Lessons Learned from Developing a Tool Suite.
351-354
Electronic Edition (link) BibTeX
- Carsten Köllmann, Michael Goedicke:
A Specification Language for Static Analysis of Student Exercises.
355-358
Electronic Edition (link) BibTeX
- Maxim Shevertalov, Spiros Mancoridis:
A Case Study on the Automatic Composition of Network Application Mashups.
359-362
Electronic Edition (link) BibTeX
- Brett Daniel, Marat Boshernitsan:
Predicting Effectiveness of Automatic Testing Tools.
363-366
Electronic Edition (link) BibTeX
- Haifeng Shen, Siyuan Liu, Steven Xia, Chengzheng Sun:
Distributed Constraints Maintenance in Collaborative UML Modeling Environments.
367-370
Electronic Edition (link) BibTeX
- Andreas S. Andreou, Efi Papatheocharous:
Software Cost Estimation using Fuzzy Decision Trees.
371-374
Electronic Edition (link) BibTeX
- Guozheng Ge, E. James Whitehead Jr.:
Rhizome: A Feature Modeling and Generation Platform.
375-378
Electronic Edition (link) BibTeX
- J. Michael Moore, Frank M. Shipman III:
Combining the Analysis of Spatial Layout and Text to Support Design Exploration.
379-382
Electronic Edition (link) BibTeX
- Rahmat Adnan, Bas Graaf, Arie van Deursen, Joost Zonneveld:
Using Cluster Analysis to Improve the Design of Component Interfaces.
383-386
Electronic Edition (link) BibTeX
- Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie:
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates.
387-390
Electronic Edition (link) BibTeX
- Mustafa Ispir, Aysu Betin Can:
An Assume Guarantee Verification Methodology for Aspect-Oriented Programming.
391-394
Electronic Edition (link) BibTeX
- Celina Gibbs, Jennifer Baldwin, Nieraj Singh, Maja D'Hondt, Yvonne Coady:
Living with the Law: Can Automation give us Moore with Less?
395-398
Electronic Edition (link) BibTeX
- Antonia Bertolino, Guglielmo De Angelis, Antonino Sabetta:
VCR: Virtual Capture and Replay for Performance Testing.
399-402
Electronic Edition (link) BibTeX
- Bruno Cabral, Paulo Marques:
A Case for Automatic Exception Handling.
403-406
Electronic Edition (link) BibTeX
- Kunal Taneja, Tao Xie:
DiffGen: Automated Regression Unit-Test Generation.
407-410
Electronic Edition (link) BibTeX
- David A. Turner, Moonju Park, Jaehwan Kim, Jinseok Chae:
An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach.
411-414
Electronic Edition (link) BibTeX
- Jeffrey Fischer, Rupak Majumdar, Francesco Sorrentino:
The Consistency of Web Conversations.
415-418
Electronic Edition (link) BibTeX
- Eduardo Cunha de Almeida, Gerson Sunyé, Yves Le Traon, Patrick Valduriez:
Testing Peers' Volatility.
419-422
Electronic Edition (link) BibTeX
- Seojin Kim, Sungjin Park, Jeonghyun Yun, Younghoo Lee:
Automated Continuous Integration of Component-Based Software: An Industrial Experience.
423-426
Electronic Edition (link) BibTeX
- Ricardo Martinho, João Varajão, Dulce Domingos:
A Two-Step Approach for Modelling Flexibility in Software Processes.
427-430
Electronic Edition (link) BibTeX
- Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut:
A Generic Approach for Class Model Normalization.
431-434
Electronic Edition (link) BibTeX
- Wiwat Ruengmee, Roberto Silveira Silva Filho, Sushil Krishna Bajracharya, David F. Redmiles, Cristina Videira Lopes:
XE (eXtreme Editor) - Bridging the Aspect-Oriented Programming Usability Gap.
435-438
Electronic Edition (link) BibTeX
- Hwa-You Hsu, James A. Jones, Alessandro Orso:
Rapid: Identifying Bug Signatures to Support Debugging Activities.
439-442
Electronic Edition (link) BibTeX
- Jacob Burnim, Koushik Sen:
Heuristics for Scalable Dynamic Test Generation.
443-446
Electronic Edition (link) BibTeX
- Rick Salay, John Mylopoulos, Steve M. Easterbrook:
Managing Models through Macromodeling.
447-450
Electronic Edition (link) BibTeX
- Tung Thanh Nguyen, Hoan A. Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen:
Cleman: Comprehensive Clone Group Evolution Management.
451-454
Electronic Edition (link) BibTeX
- Franck Chauvel, Olivier Barais, Isabelle Borne, Jean-Marc Jézéquel:
Composition of Qualitative Adaptation Policies.
455-458
Electronic Edition (link) BibTeX
- Hiroaki Fukuda, Yoshikazu Yamamoto:
A System for Supporting Development of Large Scaled Rich Internet Applications.
459-462
Electronic Edition (link) BibTeX
- Beat Fluri, Emanuel Giger, Harald Gall:
Discovering Patterns of Change Types.
463-466
Electronic Edition (link) BibTeX
- Abizer Khambati, John C. Grundy, James Warren, John G. Hosking:
Model-Driven Development of Mobile Personal Health Care Applications.
467-470
Electronic Edition (link) BibTeX
- Johan Brichau, Andy Kellens, Kim Mens:
Enforcing Structural Regularities in Source Code using IntensiVE.
471-472
Electronic Edition (link) BibTeX
- Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi:
QuARS Express - A Tool Demonstration.
473-474
Electronic Edition (link) BibTeX
- Nicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel:
MTSA: The Modal Transition System Analyser.
475-476
Electronic Edition (link) BibTeX
- Lei Li, John G. Hosking, John C. Grundy:
MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation.
477-478
Electronic Edition (link) BibTeX
- Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie:
PtYasm: Software Model Checking with Proof Templates.
479-480
Electronic Edition (link) BibTeX
- Reid Holmes, Robert J. Walker:
Semi-Automating Pragmatic Reuse Tasks.
481-482
Electronic Edition (link) BibTeX
- Ivano Malavolta, Henry Muccini, Patrizio Pelliccione:
DUALLY: A framework for Architectural Languages and Tools Interoperability.
483-484
Electronic Edition (link) BibTeX
- Mirko Morandini, Loris Penserini, Anna Perini:
Automated Mapping from Goal Models to Self-Adaptive Systems.
485-486
Electronic Edition (link) BibTeX
- Rafael Capilla, Francisco Nava, Jesus Montes, Carlos Carrillo:
ADDSS: Architecture Design Decision Support System Tool.
487-488
Electronic Edition (link) BibTeX
- Diego Ordonez Camacho, Kim Mens:
APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars.
489-490
Electronic Edition (link) BibTeX
- Matteo Bordin, Marco Panunzio, Stefano Puri:
Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems.
491-492
Electronic Edition (link) BibTeX
- Séverine Sentilles, Paul Pettersson, Ivica Crnkovic, John Håkansson:
Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems.
493-494
Electronic Edition (link) BibTeX
- Daniel Gaffé, Annie Ressouche:
The Clem Toolkit.
495-496
Electronic Edition (link) BibTeX
- Johann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett:
Tool Support for Parametric Analysis of Large Software Simulation Systems.
497-498
Electronic Edition (link) BibTeX
- Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham:
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements.
499-500
Electronic Edition (link) BibTeX
- Naoyasu Ubayashi, Genya Otsubo, Kazuhide Noda, Jun Yoshida, Tetsuo Tamai:
AspectM: UML-Based Extensible AOM Language.
501-502
Electronic Edition (link) BibTeX
- Yijun Yu, Jan Jürjens, Jörg Schreck:
Tools for Traceability in Secure Software Development.
503-504
Electronic Edition (link) BibTeX
- Nicolas Frisby:
Unifying Analysis Tools with Rosetta.
505-508
Electronic Edition (link) BibTeX
- Florence T. Balagtas-Fernandez, Heinrich Hussmann:
Model-Driven Development of Mobile Applications.
509-512
Electronic Edition (link) BibTeX
- Martin Pinzger:
Automated Web Performance Analysis.
513-516
Electronic Edition (link) BibTeX
- Virginia Papailiopoulou:
Automatic Test Generation for LUSTRE/SCADE Programs.
517-520
Electronic Edition (link) BibTeX
- Alma L. Juarez Dominguez:
Feature Interaction Detection in the Automotive Domain.
521-524
Electronic Edition (link) BibTeX
- Asem Eltaher:
Towards Good Enough Testing: A Cognitive-Oriented Approach Applied to Infotainment Systems.
525-528
Electronic Edition (link) BibTeX
- Mauro Caporuscio, Antinisca Di Marco, Leonardo Mariani, Henry Muccini, Andrea Polini, Onn Shehory:
ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems.
529-530
Electronic Edition (link) BibTeX
- Imed Hammouda, Jan Bosch, Mehdi Jazayeri, Tommi Mikkonen:
First International Workshop on Social Software Engineering and Applications (SoSEA 2008).
531-532
Electronic Edition (link) BibTeX
- Michel Wermelinger, Paul Wernick, Ciarán Bryce:
4th International ERCIM Workshop on Software Evolution and Evolvability (Evol'08).
533-534
Electronic Edition (link) BibTeX
Copyright © Thu Jan 8 20:16:44 2009
by Michael Ley (ley@uni-trier.de)
