243 search results - page 4 / 49 » Concolic testing for functional languages |
DAGSTUHL
2004
14 years 7 days ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
ERSHOV
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
HPDC
2010
IEEE
13 years 12 months ago
2010
IEEE
The statistical language R and Bioconductor package are favoured by many biostatisticians for processing microarray data. The amount of data produced by these analyses has reached...
TAP
2008
Springer
13 years 10 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
IFIP
2001
Springer
14 years 3 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...