7167 search results - page 349 / 1434 » A Technique for Invariant Generation |
232
click to vote
MICRO
2009
IEEE
16 years 2 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
217
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
209
click to vote
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
170
click to vote
PTS
2010
15 years 6 months ago
2010
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...
249
click to vote
GW
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we present a Vision-Based Interface guided by the user gestures. The advantage of our system is that it is built over a motion capture system that recovers the body ...