1079 search results - page 44 / 216 » Predictive testing: amplifying the effectiveness of software... |
IPL
2006
14 years 9 months ago
2006
This paper proposes a set of new software test-diversity measures based on control oscillations of test suites. Oscillation Diversity uses conversion, inversion, and phase transfo...
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
—A random testing strategy can be effective at finding faults, but may leave some routines entirely untested if it never gets to call them on objects satisfying their preconditi...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and ...
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
Following the agile philosophy that all core features of a system need an automated test harness, performance requirements also need such a check when they are essential for the s...
ICFEM
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...