Sciweavers

134
Voted
KBSE
2008
IEEE
15 years 10 months ago
Automated Aspect Recommendation through Clustering-Based Fan-in Analysis
Identifying code implementing a crosscutting concern (CCC) automatically can benefit the maintainability and evolvability of the application. Although many approaches have been p...
Danfeng Zhang, Yao Guo, Xiangqun Chen
114
Voted
KBSE
2008
IEEE
15 years 10 months ago
ADDSS: Architecture Design Decision Support System Tool
This paper describes the ADDSS tool which enables capturing and documenting architectural design decisions in order to avoid knowledge vaporization.
Rafael Capilla, Francisco Nava, Jesus Montes, Carl...
93
Voted
KBSE
2008
IEEE
15 years 10 months ago
Heuristics for Scalable Dynamic Test Generation
Jacob Burnim, Koushik Sen
101
Voted
KBSE
2008
IEEE
15 years 10 months ago
Model-Driven Development of Mobile Applications
Florence T. Balagtas-Fernandez, Heinrich Hussmann
135
Voted
KBSE
2008
IEEE
15 years 10 months ago
A Framework for Dynamic Service Discovery
- Service discovery has been recognised as an important activity for service-based systems. In this paper we describe a framework for dynamic service discovery that supports the id...
Andrea Zisman, George Spanoudakis, James Dooley
KBSE
2008
IEEE
15 years 10 months ago
Effort Estimation in Capturing Architectural Knowledge
Capturing and using design rationale is becoming a hot topic for software architects, as architectural design decisions are now considered first class entities that should be reco...
Rafael Capilla, Francisco Nava, Carlos Carrillo
117
Voted
KBSE
2008
IEEE
15 years 10 months ago
Program Analysis with Dynamic Precision Adjustment
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
104
Voted
KBSE
2008
IEEE
15 years 10 months ago
Predictive Typestate Checking of Multithreaded Java Programs
—Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as...
Pallavi Joshi, Koushik Sen
105
Voted
KBSE
2008
IEEE
15 years 10 months ago
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking
Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...
133
Voted
KBSE
2008
IEEE
15 years 10 months ago
A Case for Automatic Exception Handling
Exception handling mechanisms have been around for more than 30 years. Nevertheless, modern exceptions systems are not very different from the early models. Programming languages ...
Bruno Cabral, Paulo Marques