10870 search results - page 100 / 2174 » Model Checking Programs |
106
click to vote
HASE
2008
IEEE
15 years 8 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
134
Voted
ERLANG
2009
ACM
15 years 6 months ago
2009
ACM
110
click to vote
FLOPS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...