572 search results - page 4 / 115 » Functional Test Generation using Constraint Logic Programmin... |
223
Voted
LPAR
2012
Springer
13 years 8 months 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...
117
Voted
TSE
2010
14 years 11 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
132
Voted
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
119
Voted
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
110
Voted
CODES
2008
IEEE
15 years 2 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...