10715 search results - page 299 / 2143 » Proofs from Tests |
158
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Program analysis and automated test generation have primarily been used to find correctness bugs. We present complexity testing, a novel automated test generation technique to ...
210
click to vote
FGR
2008
IEEE
16 years 1 months ago
2008
IEEE
Partial occlusions in face images pose a great problem for most face recognition algorithms. Several solutions to this problem have been proposed over the years – ranging from d...
172
click to vote
ISVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
189
click to vote
APSEC
2005
IEEE
16 years 11 days ago
2005
IEEE
Testing a large-scale, real-life commercial software application is a very challenging task due to the constant changes in the software, the involvement of multiple programmers an...
197
click to vote
FASE
2005
Springer
16 years 8 days ago
2005
Springer
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...