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
- Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Swarm Verification.
1-6

- Cliff B. Jones:
Reflections on, and Predictions for, Support Systems for the Development of Programs.
7-8

- Matthew Jorde, Sebastian G. Elbaum, Matthew B. Dwyer:
Increasing Test Granularity by Aggregating Unit Tests.
9-18

- James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu:
Random Test Run Length and Effectiveness.
19-28

- Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz:
Program Analysis with Dynamic Precision Adjustment.
29-38

- Andrea De Lucia, Rocco Oliveto, Genoveffa Tortora:
IR-Based Traceability Recovery Processes: An Empirical Comparison of "One-Shot" and Incremental Processes.
39-48

- Patrick Mäder, Orlena Gotel, Ilka Philippow:
Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to Models.
49-58

- 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

- Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher:
Automated Verification of Multi-Agent Programs.
69-78

- Robert J. Hall:
Validating Real Time Specifications using Real Time Event Queue Modeling.
79-88

- Zvonimir Rakamaric, Alan J. Hu:
Automatic Inference of Frame Axioms Using Static Analysis.
89-98

- Alexander Egyed, Emmanuel Letier, Anthony Finkelstein:
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models.
99-108

- David Lo, Shahar Maoz:
Mining Scenario-Based Triggers and Effects.
109-118

- Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking.
119-127

- Wolfgang Mayer, Markus Stumptner:
Evaluating Models for Model-Based Debugging.
128-137

- Ciera Jaspan, Trisha Quan, Jonathan Aldrich:
Error Reporting Logic.
138-147

- Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu:
Efficient Monitoring of Parametric Context-Free Patterns.
148-157

- Andrea Zisman, George Spanoudakis, James Dooley:
A Framework for Dynamic Service Discovery.
158-167

- George Edwards, Nenad Medvidovic:
A Methodology and Framework for Creating Domain-Specific Development Infrastructures.
168-177

- Rajesh Hegde, Prasun Dewan:
Connecting Programming Environments to Support Ad-Hoc Collaboration.
178-187

- Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges:
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking.
188-197

- Moonzoo Kim, Yunho Kim, Hotae Kim:
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker.
198-207

- Rafael Capilla, Francisco Nava, Carlos Carrillo:
Effort Estimation in Capturing Architectural Knowledge.
208-217

- Raúl A. Santelices, Pavan Kumar Chittimalli, Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold:
Test-Suite Augmentation for Evolving Software.
218-227

- Matthew B. Dwyer, Madeline Diep, Sebastian G. Elbaum:
Reducing the Cost of Path Property Monitoring Through Sampling.
228-237

- Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, Sarfraz Khurshid:
Query-Aware Test Generation Using a Relational Constraint Solver.
238-247

- Neil Walkinshaw, Kirill Bogdanov:
Inferring Finite-State Models with Temporal Constraints.
248-257

- Christian Kästner, Sven Apel:
Type-Checking Software Product Lines - A Formal Approach.
258-267

- Daniel Port, Alexy Olkov, Tim Menzies:
Using Simulation to Investigate Requirements Prioritization Strategies.
268-277

- Danfeng Zhang, Yao Guo, Xiangqun Chen:
Automated Aspect Recommendation through Clustering-Based Fan-in Analysis.
278-287

- Pallavi Joshi, Koushik Sen:
Predictive Typestate Checking of Multithreaded Java Programs.
288-296

- Kobi Inkumsah, Tao Xie:
Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution.
297-306

- Elad Yom-Tov, Rachel Tzoref, Shmuel Ur, Shlomo Hoory:
Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections.
307-316

- Romain Robbes, Michele Lanza:
How Program History Can Improve Code Completion.
317-326

- Suresh Thummalapenta, Tao Xie:
SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web.
327-336

- Jesper Andersen, Julia L. Lawall:
Generic Patch Inference.
337-346

- Hendrik Post, Carsten Sinz:
Configuration Lifting: Verification meets Software Configuration.
347-350

- Paul Grünbacher, Rick Rabiser, Deepak Dhungana:
Product Line Tools are Product Lines Too: Lessons Learned from Developing a Tool Suite.
351-354

- Carsten Köllmann, Michael Goedicke:
A Specification Language for Static Analysis of Student Exercises.
355-358

- Maxim Shevertalov, Spiros Mancoridis:
A Case Study on the Automatic Composition of Network Application Mashups.
359-362

- Brett Daniel, Marat Boshernitsan:
Predicting Effectiveness of Automatic Testing Tools.
363-366

- Haifeng Shen, Siyuan Liu, Steven Xia, Chengzheng Sun:
Distributed Constraints Maintenance in Collaborative UML Modeling Environments.
367-370

- Andreas S. Andreou, Efi Papatheocharous:
Software Cost Estimation using Fuzzy Decision Trees.
371-374

- Guozheng Ge, E. James Whitehead Jr.:
Rhizome: A Feature Modeling and Generation Platform.
375-378

- J. Michael Moore, Frank M. Shipman III:
Combining the Analysis of Spatial Layout and Text to Support Design Exploration.
379-382

- Rahmat Adnan, Bas Graaf, Arie van Deursen, Joost Zonneveld:
Using Cluster Analysis to Improve the Design of Component Interfaces.
383-386

- Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie:
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates.
387-390

- Mustafa Ispir, Aysu Betin Can:
An Assume Guarantee Verification Methodology for Aspect-Oriented Programming.
391-394

- Celina Gibbs, Jennifer Baldwin, Nieraj Singh, Maja D'Hondt, Yvonne Coady:
Living with the Law: Can Automation give us Moore with Less?
395-398

- Antonia Bertolino, Guglielmo De Angelis, Antonino Sabetta:
VCR: Virtual Capture and Replay for Performance Testing.
399-402

- Bruno Cabral, Paulo Marques:
A Case for Automatic Exception Handling.
403-406

- Kunal Taneja, Tao Xie:
DiffGen: Automated Regression Unit-Test Generation.
407-410

- David A. Turner, Moonju Park, Jaehwan Kim, Jinseok Chae:
An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach.
411-414

- Jeffrey Fischer, Rupak Majumdar, Francesco Sorrentino:
The Consistency of Web Conversations.
415-418

- Eduardo Cunha de Almeida, Gerson Sunyé, Yves Le Traon, Patrick Valduriez:
Testing Peers' Volatility.
419-422

- Seojin Kim, Sungjin Park, Jeonghyun Yun, Younghoo Lee:
Automated Continuous Integration of Component-Based Software: An Industrial Experience.
423-426

- Ricardo Martinho, João Varajão, Dulce Domingos:
A Two-Step Approach for Modelling Flexibility in Software Processes.
427-430

- Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut:
A Generic Approach for Class Model Normalization.
431-434

- 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

- Hwa-You Hsu, James A. Jones, Alessandro Orso:
Rapid: Identifying Bug Signatures to Support Debugging Activities.
439-442

- Jacob Burnim, Koushik Sen:
Heuristics for Scalable Dynamic Test Generation.
443-446

- Rick Salay, John Mylopoulos, Steve M. Easterbrook:
Managing Models through Macromodeling.
447-450

- Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen:
Cleman: Comprehensive Clone Group Evolution Management.
451-454

- Franck Chauvel, Olivier Barais, Isabelle Borne, Jean-Marc Jézéquel:
Composition of Qualitative Adaptation Policies.
455-458

- Hiroaki Fukuda, Yoshikazu Yamamoto:
A System for Supporting Development of Large Scaled Rich Internet Applications.
459-462

- Beat Fluri, Emanuel Giger, Harald Gall:
Discovering Patterns of Change Types.
463-466

- Abizer Khambati, John C. Grundy, James Warren, John G. Hosking:
Model-Driven Development of Mobile Personal Health Care Applications.
467-470

- Johan Brichau, Andy Kellens, Kim Mens:
Enforcing Structural Regularities in Source Code using IntensiVE.
471-472

- Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi:
QuARS Express - A Tool Demonstration.
473-474

- Nicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel:
MTSA: The Modal Transition System Analyser.
475-476

- Richard 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

- Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie:
PtYasm: Software Model Checking with Proof Templates.
479-480

- Reid Holmes, Robert J. Walker:
Semi-Automating Pragmatic Reuse Tasks.
481-482

- Ivano Malavolta, Henry Muccini, Patrizio Pelliccione:
DUALLY: A framework for Architectural Languages and Tools Interoperability.
483-484

- Mirko Morandini, Loris Penserini, Anna Perini:
Automated Mapping from Goal Models to Self-Adaptive Systems.
485-486

- Rafael Capilla, Francisco Nava, Jesús Montes, Carlos Carrillo:
ADDSS: Architecture Design Decision Support System Tool.
487-488

- Diego Ordóñez Camacho, Kim Mens:
APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars.
489-490

- Matteo Bordin, Marco Panunzio, Stefano Puri:
Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems.
491-492

- 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

- Daniel Gaffé, Annie Ressouche:
The Clem Toolkit.
495-496

- Johann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett:
Tool Support for Parametric Analysis of Large Software Simulation Systems.
497-498

- Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham:
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements.
499-500

- Naoyasu Ubayashi, Genya Otsubo, Kazuhide Noda, Jun Yoshida, Tetsuo Tamai:
AspectM: UML-Based Extensible AOM Language.
501-502

- Yijun Yu, Jan Jürjens, Jörg Schreck:
Tools for Traceability in Secure Software Development.
503-504

- Nicolas Frisby:
Unifying Analysis Tools with Rosetta.
505-508

- Florence T. Balagtas-Fernandez, Heinrich Hussmann:
Model-Driven Development of Mobile Applications.
509-512

- Martin Pinzger:
Automated Web Performance Analysis.
513-516

- Virginia Papailiopoulou:
Automatic Test Generation for LUSTRE/SCADE Programs.
517-520

- Alma L. Juarez Dominguez:
Feature Interaction Detection in the Automotive Domain.
521-524

- Asem Eltaher:
Towards Good Enough Testing: A Cognitive-Oriented Approach Applied to Infotainment Systems.
525-528

- 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

- Imed Hammouda, Jan Bosch, Mehdi Jazayeri, Tommi Mikkonen:
First International Workshop on Social Software Engineering and Applications (SoSEA 2008).
531-532

- Michel Wermelinger, Paul Wernick, Ciarán Bryce:
4th International ERCIM Workshop on Software Evolution and Evolvability (Evol'08).
533-534

Last update Thu May 23 02:38:36 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page