Sciweavers

1682 search results - page 205 / 337
» Applying Conventional Testing Techniques for Class Testing
Sort
View
ICSE
2010
IEEE-ACM
15 years 8 months ago
STORM: static unit checking of concurrent programs
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
Zvonimir Rakamaric
ECCV
2006
Springer
15 years 8 months ago
Robust 3D Segmentation of Multiple Moving Objects Under Weak Perspective
A scene containing multiple independently moving, possibly occluding, rigid objects is considered under the weak perspective camera model. We obtain a set of feature points tracke...
Levente Hajder, Dmitry Chetverikov
ISSTA
2010
ACM
15 years 6 months ago
Causal inference for statistical fault localization
This paper investigates the application of causal inference methodology for observational studies to software fault localization based on test outcomes and profiles. This methodo...
George K. Baah, Andy Podgurski, Mary Jean Harrold
ECCV
2008
Springer
15 years 6 months ago
A Statistical Confidence Measure for Optical Flows
Confidence measures are crucial to the interpretation of any optical flow measurement. Even though numerous methods for estimating optical flow have been proposed over the last thr...
Claudia Kondermann, Rudolf Mester, Christoph S. Ga...
DAGSTUHL
2007
15 years 5 months ago
Convergence of iterative aggregation/disaggregation methods based on splittings with cyclic iteration matrices
Iterative aggregation/disaggregation methods (IAD) belong to competitive tools for computation the characteristics of Markov chains as shown in some publications devoted to testing...
Ivo Marek, Ivana Pultarová, Petr Mayer