10715 search results - page 68 / 2143 » Proofs from Tests |
IICAI
2007
13 years 10 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
IIWAS
2008
13 years 10 months ago
2008
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...
LREC
2008
13 years 10 months ago
2008
The Spoken Document Processing Working Group, which is part of the special interest group of spoken language processing of the Information Processing Society of Japan, is developi...
ICST
2009
IEEE
14 years 3 months ago
2009
IEEE
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Defect density and defect size distributions (DDSDs) are key parameters used in IC yield loss predictions. Traditionally, memories and specialized test structures have been used t...