2774 search results - page 325 / 555 » Query-Driven Program Testing |
CCS
2001
ACM
15 years 6 months ago
2001
ACM
We describe a software self-checking mechanism designed to improve the tamper resistance of large programs. The mechanism consists of a number of testers that redundantly test for ...
98
Voted
ACSC
2005
IEEE
15 years 4 months ago
2005
IEEE
Gradiance On-Line Accelerated Learning GOAL is a system for creating and automatically grading homeworks, programming laboratories, and tests. Through the concept of root questi...
111
Voted
SYRCODIS
2008
15 years 3 months ago
2008
In this paper we offer several models of reference sequences (traces of references) using Markov chains for testing of the replacement policies in caching systems. These models en...
136
click to vote
WAE
2001
15 years 3 months ago
2001
Geometric algorithms are based on geometric objects such as points, lines and circles. The term Kernel refers to a collection of representations for constant-size geometric objects...
103
click to vote
CCCG
1996
15 years 3 months ago
1996
We present a heuristic approach to the geometric motion planning problem with the aim to quickly solve intuitively simple problems. It is based on a divide-and-conquer path search...