2312 search results - page 161 / 463 » Invariance in Property Testing |
141
Voted
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
120
click to vote
DSN
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
141
click to vote
AIIDE
2009
15 years 5 months ago
2009
Early-stage game prototypes need to be informative without requiring excessive commitments. Paper prototypes are frequently used as a way of trying out core mechanics while leavin...
122
click to vote
APPROX
2005
Springer
15 years 10 months ago
2005
Springer
A string α ∈ Σn is called p-periodic, if for every i, j ∈ {1, . . . , n}, such that i ≡ j mod p, αi = αj, where αi is the i-th place of α. A string α ∈ Σn is said t...
149
click to vote
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
The design of a test response compactor called a Block Compactor is given. Block Compactors belong to a new class of compactors called Finite Memory Compactors. Different from spa...