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