470 search results - page 57 / 94 » Test Case Generation Based on State and Activity Models |
DSN
2007
IEEE
15 years 6 months ago
2007
IEEE
Attacks exploiting race conditions have been considered rare and “low risk”. However, the increasing popularity of multiprocessors has changed this situation: instead of waiti...
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
121
Voted
MICCAI
1999
Springer
15 years 4 months ago
1999
Springer
We present a new approach for the computation of the deformation field between three dimensional (3D) images. The deformation field minimizes the sum of the squared differences b...
93
Voted
USS
2008
15 years 2 months ago
2008
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
97
Voted
ET
2002
15 years 9 days ago
2002
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...