ASE A*

94 papers

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