1414 search results - page 258 / 283 » Automated Metamorphic Testing |
SIGSOFT
2006
ACM
14 years 8 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...
SIGSOFT
2002
ACM
14 years 8 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
PLDI
2009
ACM
14 years 8 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...
CIVR
2009
Springer
14 years 2 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 ...