1399 search results - page 149 / 280 » Verification of Test Suites |
191
click to vote
KBSE
2005
IEEE
16 years 16 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
179
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Inspections can be made more cost-effective by using capturerecapture methods to estimate post-inspection defects. Previous capture-recapture studies of inspections used relativel...
193
click to vote
FC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
187
Voted
PDPTA
2000
15 years 8 months ago
2000
Code Mobility brings the possibility of building distributed systems better suited to a range of application areas. While platforms supporting Code Mobility are already in use, su...
182
Voted
USENIX
1996
15 years 8 months ago
1996
lmbench is a micro-benchmark suite designed to focus attention on the basic building blocks of many common system applications, such as databases, simulations, software developmen...