1399 search results - page 252 / 280 » Verification of Test Suites |
CIVR
2009
Springer
14 years 5 months ago
2009
Springer
Uploading tourist photographs is a popular activity on photo sharing platforms. The manual annotation of these images is a tedious process and the users often upload their images ...
SIGUCCS
2004
ACM
14 years 4 months ago
2004
ACM
Designing computing equipment for a computer laboratory is not easy. In a class in a computer laboratory, it is not unusual that all students do the same thing simultaneously. Tre...
TAPIA
2009
ACM
14 years 3 months ago
2009
ACM
According to Computing Research Association, during each year between 2003 and 2007, fewer than 3% of the US’s Ph.D.s graduates in computer science and computer engineering were...
SMA
1999
ACM
14 years 3 months ago
1999
ACM
Accurate prediction of the swept volume of a cutting tool is essential in NC verification algorithms for detecting deficiencies in a proposed tool path, such as gouging, undercutt...
AMOST
2007
ACM
14 years 3 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...