4880 search results - page 71 / 976 » Manuals as Structured Programs |
109
click to vote
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
GG
2008
Springer
15 years 28 days ago
2008
Springer
High-level conditions are well-suited for expressing structural properties. They can describe the precondition and the postcondition for a high-level program, but they cannot descr...
ICML
2007
IEEE
16 years 20 days ago
2007
IEEE
Structural alignments are the most widely used tools for comparing proteins with low sequence similarity. The main contribution of this paper is to derive various kernels on prote...
112
click to vote
IUI
2012
ACM
13 years 7 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
187
click to vote
PADL
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...