183 search results - page 7 / 37 » Exploiting Symmetries to Test Programs |
SPW
2005
Springer
14 years 5 days ago
2005
Springer
Abstract. Many users routinely log in to their system with system administrator privileges. This is especially true of home users. The advantage of this setup is that these users c...
SI3D
2005
ACM
14 years 8 days ago
2005
ACM
We present a sampling strategy and rendering framework for intersectable models, whose surface is implicitly defined by a black box intersection test that provides the location a...
VLSISP
2008
13 years 6 months ago
2008
This paper describes a novel system for real-time video texture analysis. The system utilizes hardware to extract 2nd -order statistical features from video frames. These features ...
ISQED
2002
IEEE
13 years 11 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
SIGMOD
2012
ACM
11 years 9 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...