Sciweavers

2527 search results - page 294 / 506
» A UML-Based Approach to System Testing
Sort
View
SIGSOFT
2007
ACM
16 years 5 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
EUROSYS
2006
ACM
16 years 1 months ago
Using queries for distributed monitoring and forensics
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
Atul Singh, Petros Maniatis, Timothy Roscoe, Peter...
SP
2006
IEEE
214views Security Privacy» more  SP 2006»
15 years 10 months ago
Automatically Generating Malicious Disks using Symbolic Execution
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar...
CVPR
2001
IEEE
16 years 6 months ago
3D Object Recognition from Range Images using Local Feature Histograms
This paper explores a view-based approach to recognize free-form objects in range images. We are using a set of local features that are easy to calculate and robust to partial occ...
Bastian Leibe, Bernt Schiele, Günter Hetzel, ...
ICPR
2008
IEEE
16 years 5 months ago
Unfolding warping for object recognition
In practice, understanding the spatial relationships between the surfaces of an object, can significantly improve the performance of object recognition systems. In this paper we p...
Jun Xie, Min Hu, Mubarak Shah