409 search results - page 16 / 82 » How to Design Practical Test Cases |
FATES
2003
Springer
14 years 3 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
DFT
2009
IEEE
14 years 4 months ago
2009
IEEE
Pre-fabrication design verification and post-fabrication chip testing are two important stages in the product realization process. These two stages consume a large part of resourc...
CASES
2006
ACM
14 years 3 months ago
2006
ACM
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...
COLING
2010
13 years 4 months ago
2010
The presentation will mainly cover (1) What is HowNet? HowNet is an on-line common-sense knowledgebase unveiling inter-conceptual relationships and interattribute relationships of...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
Designers of children's technology are often more interested in user motivation than those who design systems for adults. Since children's technology often has aims such...