Sciweavers

1776 search results - page 226 / 356
» Hypothesis Testing for Module Test in Software Development
Sort
View
135
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
Debugging reinvented: asking and answering why and why not questions about program behavior
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
Andrew Jensen Ko, Brad A. Myers
118
Voted
KBSE
2009
IEEE
15 years 9 months ago
A Framework for State-Space Exploration of Java-Based Actor Programs
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul...
PTS
2008
100views Hardware» more  PTS 2008»
15 years 4 months ago
Model-Based Generation of Testbeds for Web Services
Abstract. A Web Service is commonly not an independent software entity, but plays a role in some business process. Hence, it depends on the services provided by external Web Servic...
Antonia Bertolino, Guglielmo De Angelis, Lars Fran...
127
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
What makes a good bug report?
In software development, bug reports provide crucial information to developers. However, these reports widely differ in their quality. We conducted a survey among developers and u...
Nicolas Bettenburg, Sascha Just, Adrian Schrö...
FPGA
2007
ACM
124views FPGA» more  FPGA 2007»
15 years 6 months ago
Efficient hardware checkpointing: concepts, overhead analysis, and implementation
Progress in reconfigurable hardware technology allows the implementation of complete SoCs in today's FPGAs. In the context design for reliability, software checkpointing is a...
Dirk Koch, Christian Haubelt, Jürgen Teich