Sciweavers

4107 search results - page 67 / 822
» The Generalized Lambda Test
Sort
View
ITC
2003
IEEE
327views Hardware» more  ITC 2003»
15 years 6 months ago
Case Study - Using STIL as Test Pattern Language
This paper describes the implementation of a test pattern language using STIL [1], the IEEE Standard Test Interface Language (1450-1999), in a next generation, open architecture A...
Daniel Fan, Steve Roehling, Rusty Carruth
PTS
2000
99views Hardware» more  PTS 2000»
15 years 2 months ago
Verification of Test Suites
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...
Claude Jard, Thierry Jéron, Pierre Morel
SIGSOFT
2004
ACM
15 years 7 months ago
Using an SQL coverage measurement for testing database applications
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...
María José Suárez Cabal, Javi...
HICSS
2003
IEEE
136views Biometrics» more  HICSS 2003»
15 years 6 months ago
Increasing Understanding of the Modern Testing Perspective in Software Product Development Projects
Testing can be difficult to integrate into software development. Approaches to software testing in relation to implementing software are based on the V-model of testing. The softw...
Maaret Pyhäjärvi, Kristian Rautiainen, J...
CIKM
2007
Springer
15 years 5 months ago
Hypothesis testing with incomplete relevance judgments
Information retrieval experimentation generally proceeds in a cycle of development, evaluation, and hypothesis testing. Ideally, the evaluation and testing phases should be short ...
Ben Carterette, Mark D. Smucker