3547 search results - page 207 / 710 » Pseudo-Exhaustive Testing for Software |
216
click to vote
IOLTS
2005
IEEE
16 years 24 days ago
2005
IEEE
This paper proposes a new test pattern generator (TPG) which is an enhancement of GLFSR (Galois LFSR). This design is based on certain non–binary error detecting codes, formulat...
215
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
202
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...
185
click to vote
PEPM
2010
ACM
16 years 4 months ago
2010
ACM
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
196
click to vote
ISSTA
2004
ACM
16 years 19 days ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...