1054 search results - page 19 / 211 » A Formalization of the Turing Test |
TAP
2010
Springer
14 years 9 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
PASTE
2005
ACM
15 years 5 months ago
2005
ACM
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
ICNP
2002
IEEE
15 years 4 months ago
2002
IEEE
CASSIS
2004
Springer
15 years 3 months ago
2004
Springer
