2774 search results - page 339 / 555 » Query-Driven Program Testing |
106
click to vote
KI
2001
Springer
15 years 6 months ago
2001
Springer
High-level controllers that operate robots in dynamic, uncertain domains are concerned with at least two reasoning tasks dealing with the effects of noisy sensors and effectors: T...
114
click to vote
SIGSOFT
2000
ACM
15 years 6 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
120
click to vote
ICFP
1999
ACM
15 years 6 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
105
click to vote
STOC
1999
ACM
15 years 6 months ago
1999
ACM
We propose the first combinatorial solution to one of the most classic problems in combinatorial optimization: the generalized minimum cost flow problem (flow with losses and g...
121
click to vote
ISSTA
1998
ACM
15 years 6 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...