Sciweavers

6187 search results - page 31 / 1238
» Practical Software Measurement
Sort
View
ISSTA
2006
ACM
15 years 12 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 4 months 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
ESEM
2009
ACM
16 years 14 days ago
Measuring the interplay of security principles in software architectures
Koen Buyens, Riccardo Scandariato, Wouter Joosen
METRICS
1996
IEEE
15 years 10 months ago
Measuring software evolution
John C. Munson, Darrell S. Werries