3090 search results - page 62 / 618 » On Testing Answer-Set Programs |
171
click to vote
GECCO
2005
Springer
15 years 11 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...
160
click to vote
SNPD
2004
15 years 7 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...
150
click to vote
ICFEM
2004
Springer
15 years 11 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...
167
click to vote
GLOBE
2009
Springer
15 years 10 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...
