Sciweavers

ICSE
2010
IEEE-ACM
15 years 3 months ago
SOFAS: software analysis services
Giacomo Ghezzi
116
Voted
ICSE
2010
IEEE-ACM
15 years 3 months ago
SMT-based bounded model checking for multi-threaded software in embedded systems
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
Lucas Cordeiro
84
Voted
ICSE
2010
IEEE-ACM
15 years 3 months ago
EMFStore: a model repository for EMF models
Models need to be put under version control to facilitate collaboration and to control change. EMFStore is a Software Configuration Management system tailored to the specific re...
Maximilian Koegel, Jonas Helming
139
Voted
ICSE
2010
IEEE-ACM
15 years 3 months ago
Supporting developers with natural language queries
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
Michael Würsch, Giacomo Ghezzi, Gerald Reif, ...
114
Voted
ICSE
2010
IEEE-ACM
15 years 3 months ago
An exploratory study of fault-proneness in evolving aspect-oriented programs
This paper presents the results of an exploratory study on the fault-proneness of aspect-oriented programs. We analysed the faults collected from three evolving aspect-oriented sy...
Fabiano Cutigi Ferrari, Rachel Burrows, Otá...
97
Voted
ICSE
2010
IEEE-ACM
15 years 3 months ago
Measuring complexity, effectiveness and efficiency in software course projects
This paper discusses results achieved in measuring complexity, effectiveness and efficiency, in a series of related software course projects, spanning a period of seven years. We ...
Wilson Padua
ICSE
2010
IEEE-ACM
15 years 3 months ago
Precise calling context encoding
William N. Sumner, Yunhui Zheng, Dasarath Weeratun...
92
Voted
ICSE
2010
IEEE-ACM
15 years 3 months ago
Linking e-mails and source code artifacts
E-mails concerning the development issues of a system constitute an important source of information about high-level design decisions, low-level implementation concerns, and the s...
Alberto Bacchelli, Michele Lanza, Romain Robbes
101
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
STORM: static unit checking of concurrent programs
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
Zvonimir Rakamaric
ICSE
2010
IEEE-ACM
15 years 5 months ago
Zenet: generating and enforcing real-time temporal invariants
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
Chris Lewis