198 search results - page 2 / 40 » Synthesizing racy tests |
CAV
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
LPAR
2012
Springer
12 years 28 days 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...
ICGA
1997
13 years 6 months ago
1997
A methodology is described for synthesizing signal processing networks, which are used to solve a low-cost medical signal processing problem. The approach makes use of genetic alg...
ASPDAC
2006
ACM
13 years 11 months ago
2006
ACM
- We propose a hardware performance estimation flow for fast design space exploration, based on worst-case execution time analysis algorithms for software analysis. Test cases on s...
ICASSP
2010
IEEE
13 years 5 months ago
2010
IEEE
Data sparseness is an ever dominating problem in automatic emotion recognition. Using artificially generated speech for training or adapting models could potentially ease this: t...