191 search results - page 12 / 39 » Generating Heap-Bounded Programs in a Functional Setting |
IASTEDSE
2004
13 years 9 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
TAP
2010
Springer
13 years 5 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 ...
ISSRE
2002
IEEE
14 years 17 days ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
CSSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...
BMCBI
2006
13 years 7 months ago
2006
Background: There have been many algorithms and software programs implemented for the inference of multiple sequence alignments of protein and DNA sequences. The "true" ...