1492 search results - page 45 / 299 » Testing Properties of Constraint-Graphs |
138
click to vote
FORTE
2003
15 years 4 months ago
2003
The aim of passive testing is to detect faults in a system while observing the system during normal operation, that is, without forcing the system to specialized inputs explicitly ...
115
click to vote
ISSAC
1997
Springer
15 years 7 months ago
1997
Springer
We give a new numerical absolute primality criterion for bivariate polynomials. This test is based on a simple property of the monomials appearing after a generic linear change of...
140
Voted
EVOW
2011
Springer
14 years 6 months ago
2011
Springer
The Strategy Game Description Game Language (SGDL) is intended to become a complete description of all aspects of strategy games, including rules, parameters, scenarios, maps, and ...
156
Voted
ISSTA
2007
ACM
15 years 5 months ago
2007
ACM
Progress in testing requires that we evaluate the effectiveness of testing strategies on the basis of hard experimental evidence, not just intuition or a priori arguments. Random ...
109
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Structural testing techniques, such as statement and branch coverage, play an important role in improving dependability of software systems. However, finding a set of tests which...