Sciweavers

6187 search results - page 31 / 1238
» Practical Software Measurement
Sort
View
ISSTA
2006
ACM
15 years 8 months ago
Coverage metrics for requirements-based testing
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
Michael W. Whalen, Ajitha Rajan, Mats Per Erik Hei...
SPIN
2010
Springer
15 years 26 days ago
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric
85
Voted
ESEM
2009
ACM
15 years 9 months ago
Measuring the interplay of security principles in software architectures
Koen Buyens, Riccardo Scandariato, Wouter Joosen
METRICS
1996
IEEE
15 years 6 months ago
Measuring software evolution
John C. Munson, Darrell S. Werries