1034 search results - page 57 / 207 » Cooperative work in software testing |
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
It is labor-intensive to manually verify the outputs of a large set of tests that are not equipped with test oracles. Test selection helps to reduce this cost by selecting a small...
DATE
2002
IEEE
15 years 2 months ago
2002
IEEE
In this paper, we analyze the use of UML as a starting point to go from design issues to end of production testing of complex embedded systems. The first point is the analysis of ...
119
click to vote
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
USS
2008
15 years 7 days ago
2008
Optical scan electronic voting machines employ software components that are customized for each specific election. Such software components are critical from a security and integr...
GROUP
1999
ACM
15 years 2 months ago
1999
ACM
This paper reports on a study of clinicians who care for diabetic patients, and on the design of an application to support their work. The clinicians' long-term activity is r...