10715 search results - page 188 / 2143 » Proofs from Tests |
109
click to vote
DICTA
2003
15 years 2 months ago
2003
Abstract. Curve detection is viewed as a process of hypothesis generation and hypothesis testing. Of the two, hypothesis generation has received much attention and many sophisticat...
218
Voted
LPAR
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
130
click to vote
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
111
click to vote
TAICPART
2006
IEEE
15 years 6 months ago
2006
IEEE
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...
74
Voted
FATES
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...