6293 search results - page 97 / 1259 » Information Flow Testing |
114
Voted
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
We discuss a new synthesis flow, which offers the ability to do easy delay testing almost free in terms of its impact on speed and area as compared to corresponding implementation...
137
click to vote
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
100
Voted
VTS
2006
IEEE
2006
IEEE
Combining Linear and Non-Linear Test Vector Compression Using Correlation-Based Rectangular Encoding
15 years 8 months ago
A technique is presented here for improving the compression achieved with any linear decompressor by adding a small non-linear decoder that exploits bit-wise and pattern-wise corr...
153
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...