3335 search results - page 276 / 667 » Grid result checking |
166
click to vote
TSE
2002
15 years 6 months ago
2002
The Inequality Necessary Condition Analyzer (INCA) is a finite-state verification tool that has been able to check properties of some very large concurrent systems. INCA checks a p...
195
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
168
click to vote
B
2007
Springer
16 years 22 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
171
click to vote
IEEEPACT
2005
IEEE
16 years 4 days ago
2005
IEEE
We describe the design, generation and compression of the extended whole program path (eWPP) representation that not only captures the control flow history of a program execution...
154
click to vote
ISSRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...