572 search results - page 65 / 115 » Functional Test Generation using Constraint Logic Programmin... |
110
click to vote
AAAI
1998
15 years 3 months ago
1998
This paper discusses the design and implementation of ESSPL, an expert system which generates security plans for alarm systems (Figure 1). Security planning is the task of determi...
143
click to vote
CAISE
2004
Springer
15 years 7 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
119
Voted
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
124
Voted
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Attackers often take advantage of vulnerabilities in benign software, and the authors of benign software must search their code for bugs in hopes of finding vulnerabilities before...
174
click to vote
AAIP
2009
15 years 3 months ago
2009
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming ...