2419 search results - page 65 / 484 » A Formal Approach to Software Testing |
GECCO
2003
Springer
15 years 4 months ago
2003
Springer
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled...
ICSEA
2009
IEEE
15 years 5 months ago
2009
IEEE
—In this paper, an integrated approach for cross platform automated software builds and the implementation of a test framework is described. The system introduced here utilizes s...
DAC
2005
ACM
15 years 1 months ago
2005
ACM
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...
APSEC
2005
IEEE
15 years 4 months ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Testing of polymorphism in object-oriented software may require coverage of all possible bindings of receiver classes and target methods at call sites. Tools that measure this cove...