2638 search results - page 200 / 528 » A Framework for Automatic Debugging |
188
Voted
ENTCS
2006
15 years 7 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
183
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
Most recent research work on sports video analysis focuses on broadcast video. The broadcast video is a post-produced video and has much additional editing information inserted. I...
204
Voted
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
245
click to vote
SUTC
2006
IEEE
16 years 29 days ago
2006
IEEE
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
174
click to vote
ISSTA
2006
ACM
16 years 27 days ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...