7213 search results - page 1290 / 1443 » Automated model grouping |
147
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
161
click to vote
ASWEC
2001
IEEE
15 years 9 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...
165
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
175
click to vote
UML
2000
Springer
15 years 9 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
139
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Automated visual tracking of cells from video microscopy has many important biomedical applications. In this paper, we model the problem of cell tracking over pairs of video micro...