Sciweavers

1051 search results - page 40 / 211
» Protocols in the use of empirical software engineering artif...
Sort
View
WCRE
2002
IEEE
14 years 1 months ago
A Disturbing Result on the Knowledge Used during Software Maintenance
As part of a long term project aiming at empowering software maintainers with knowledge based tools we conducted an empirical study on the knowledge they use when doing maintenanc...
Maria Fernanda N. Ramal, Ricardo de Moura Meneses,...
ISSRE
2008
IEEE
14 years 3 months ago
The Effect of the Number of Defects on Estimates Produced by Capture-Recapture Models
Project managers use inspection data as input to capture-recapture (CR) models to estimate the total number of faults present in a software artifact. The CR models use the number ...
Gursimran Singh Walia, Jeffrey C. Carver
FOSSACS
2009
Springer
14 years 20 days ago
The Calculus of Handshake Configurations
Handshake protocols are asynchronous protocols that enforce several properties such as absence of transmission interference and insensitivity from delays of propagation on wires. W...
Luca Fossati, Daniele Varacca
TSE
2012
11 years 11 months ago
Automated Abstractions for Contract Validation
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
Guido de Caso, Víctor A. Braberman, Diego G...
SIGSOFT
1998
ACM
14 years 1 months ago
Further Empirical Studies of Test Effectiveness
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...
Phyllis G. Frankl, Oleg Iakounenko