Sciweavers

1399 search results - page 85 / 280
» Verification of Test Suites
Sort
View
SIGMOD
2010
ACM
259views Database» more  SIGMOD 2010»
15 years 8 months ago
An extensible test framework for the Microsoft StreamInsight query processor
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...
Alex Raizman, Asvin Ananthanarayan, Anton Kirilov,...
SIGSOFT
2010
ACM
15 years 2 months ago
Representation dependence testing using program inversion
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ga...
SIGSOFT
2004
ACM
16 years 5 months ago
Testing static analysis tools using exploitable buffer overflows from open source code
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
Misha Zitser, Richard Lippmann, Tim Leek
VTS
1997
IEEE
86views Hardware» more  VTS 1997»
15 years 8 months ago
Methods to reduce test application time for accumulator-based self-test
Accumulators based on addition or subtraction can be used as test pattern generators. Some circuits, however, require long test lengths if the parameters of the accumulator are no...
Albrecht P. Stroele, Frank Mayer
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
15 years 8 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden