Sciweavers

3302 search results - page 124 / 661
» Software Is More Than Code
Sort
View
POPL
2007
ACM
14 years 10 months ago
Preferential path profiling: compactly numbering interesting paths
Path profiles provide a more accurate characterization of a program's dynamic behavior than basic block or edge profiles, but are relatively more expensive to collect. This h...
Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi
ICSE
2008
IEEE-ACM
14 years 11 months ago
The influence of organizational structure on software quality: an empirical case study
Often software systems are developed by organizations consisting of many teams of individuals working together. Brooks states in the Mythical Man Month book that product quality i...
Nachiappan Nagappan, Brendan Murphy, Victor R. Bas...
FASE
2012
Springer
12 years 5 months ago
Integration Testing of Software Product Lines Using Compositional Symbolic Execution
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer
POPL
2000
ACM
14 years 2 months ago
A Type System for Expressive Security Policies
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
David Walker
DCC
2003
IEEE
14 years 9 months ago
Compression of RADARSAT Data with Block Adaptive Wavelets
: This paper proposes a new algorithm referred to as the Wavelet Packet-based Embedded Block coding (WPEB) scheme for SAR data compression. This algorithm combines the following pr...
Ian G. Cumming, Jing Wang