1620 search results - page 61 / 324 » Testing Polymorphic Properties |
127
Voted
JAR
2010
14 years 9 months ago
2010
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulas with equality. We first prove the existence of an ide...
129
Voted
SOSE
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...
140
click to vote
TAP
2010
Springer
15 years 12 days ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
126
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
131
Voted
TSE
2010
15 years 27 days ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...