3090 search results - page 62 / 618 » On Testing Answer-Set Programs |
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
We present a molecular computing algorithm for evolving DNA-encoded genetic programs in a test tube. The use of synthetic DNA molecules combined with biochemical techniques for va...
SNPD
2004
13 years 11 months ago
2004
The problem of testing programs without test oracles is well known. A commonly used approach is to use special values in testing but this is often insufficient to ensure program c...
ICFEM
2004
Springer
14 years 3 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
GLOBE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
TOOLS
2000
IEEE
14 years 2 months ago
2000
IEEE
