Sciweavers

110
Voted
ICSE
2011
IEEE-ACM
14 years 5 months ago
Program abstractions for behaviour validation
Guido de Caso, Víctor A. Braberman, Diego G...
133
Voted
ICSE
2011
IEEE-ACM
14 years 5 months ago
Leveraging software architectures to guide and verify the development of sense/compute/control applications
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
Damien Cassou, Emilie Balland, Charles Consel, Jul...
136
Voted
ICSE
2011
IEEE-ACM
14 years 5 months ago
Configuring global software teams: a multi-company analysis of project productivity, quality, and profits
In this paper, we examined the impact of project-level configurational choices of globally distributed software teams on project productivity, quality, and profits. Our analysis u...
Narayan Ramasubbu, Marcelo Cataldo, Rajesh Krishna...
123
Voted
ICSE
2011
IEEE-ACM
14 years 5 months ago
The quamoco tool chain for quality modeling and assessment
Continuous quality assessment is crucial for the long-term success of evolving software. On the one hand, code analysis tools automatically supply quality indicators, but do not p...
Florian Deissenboeck, Lars Heinemann, Markus Herrm...
114
Voted
ICSE
2011
IEEE-ACM
14 years 5 months ago
Inferring better contracts
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand M...
118
Voted
ICSE
2011
IEEE-ACM
14 years 5 months ago
Always-available static and dynamic feedback
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
Michael Bayne, Richard Cook, Michael D. Ernst
85
Voted
ICSE
2011
IEEE-ACM
14 years 5 months ago
LIME: a framework for debugging load imbalance in multi-threaded execution
Jungju Oh, Christopher J. Hughes, Guru Venkatarama...
142
Voted
ICSE
2011
IEEE-ACM
14 years 5 months ago
Pragmatic prioritization of software quality assurance efforts
A plethora of recent work leverages historical data to help practitioners better prioritize their software quality assurance efforts. However, the adoption of this prior work in p...
Emad Shihab
77
Voted
ICSE
2011
IEEE-ACM
14 years 5 months ago
Permission-based programming languages: NIER track
Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, ...
ICSE
2011
IEEE-ACM
14 years 5 months ago
A framework for automated testing of javascript web applications
Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for feedback-directed a...
Shay Artzi, Julian Dolby, Simon Holm Jensen, Ander...