Sciweavers

714 search results - page 32 / 143
» Verification and Compliance Testing
Sort
View
ASPDAC
2006
ACM
141views Hardware» more  ASPDAC 2006»
13 years 11 months ago
Depth-driven verification of simultaneous interfaces
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
Ilya Wagner, Valeria Bertacco, Todd M. Austin
SIGMOD
2009
ACM
121views Database» more  SIGMOD 2009»
14 years 7 months ago
Query-aware shrinking test databases
Keeping the test databases as small as possible leads to faster execution of tests and facilitates the task of completing the test cases and evaluating the actual outputs against ...
Claudio de la Riva, Javier Tuya, María Jos&...
OOPSLA
2005
Springer
14 years 1 months ago
AutAT: an eclipse plugin for automatic acceptance testing of web applications
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...
Christian Schwarz, Stein Kåre Skytteren, Tro...
ISQED
2000
IEEE
131views Hardware» more  ISQED 2000»
13 years 12 months ago
Low Power Testing of VLSI Circuits: Problems and Solutions
Power and energy consumption of digital systems may increase significantly during testing. This extra power consumption due to test application may give rise to severe hazards to ...
Patrick Girard
ADAEUROPE
1997
Springer
13 years 11 months ago
Systematic Unit-Testing of Ada Programs
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
Joachim Wegener, Ines Fey