1620 search results - page 35 / 324 » Testing Polymorphic Properties |
ICALP
1990
Springer
15 years 6 months ago
1990
Springer
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...
115
click to vote
TAP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...
118
click to vote
UML
2001
Springer
15 years 6 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
115
click to vote
FORTE
2004
15 years 3 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
121
click to vote
COMPGEOM
1987
ACM
15 years 5 months ago
1987
ACM
Calculating properties of polyhedra given only the set of the locations and neighborhoods of the vertices is easy. Possible properties include volume, surface area, and point cont...