Sciweavers

8398 search results - page 216 / 1680
» Optimal Software Testing
Sort
View
ISESE
2006
IEEE
16 years 16 days ago
An empirical evaluation of a testing and debugging methodology for Excel
Spreadsheets are one of the most commonly used types of programs in the world, and it is important that they be sufficiently dependable. To help end users who create spreadsheets ...
Jeffrey Carver, Marc Fisher II, Gregg Rothermel
CIBSE
2008
ACM
15 years 8 months ago
Using Refinement Checking as System Testing
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
Cristiano Bertolini, Alexandre Mota
MICRO
2006
IEEE
117views Hardware» more  MICRO 2006»
16 years 16 days ago
PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou, Josep T...
XPU
2004
Springer
15 years 12 months ago
Suitability of FIT User Acceptance Tests for Specifying Functional Requirements: Developer Perspective
Abstract. The paper outlines an experiment conducted in two different academic environments, in which FIT tests were used as a functional requirements specification. Common challen...
Grigori Melnik, Kris Read, Frank Maurer
FATES
2003
Springer
15 years 11 months ago
Automatic Conformance Testing of Internet Applications
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
Harm M. A. van Beek, Sjouke Mauw