1799 search results - page 248 / 360 » The Logic of Correctness in Software Engineering |
151
click to vote
VMCAI
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper addresses the problem of recovering variable-like entities when analyzing executables in the absence of debugging information. We show that variable-like entit...
166
click to vote
COMPSAC
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
170
click to vote
WCRE
2006
IEEE
16 years 15 days ago
2006
IEEE
Current literature on the topic of duplicated (cloned) code in software systems often considers duplication harmful to the system quality and the reasons commonly cited for duplic...
161
click to vote
IUI
2006
ACM
16 years 13 days ago
2006
ACM
Spoken dialog tasks incur many errors including speech recognition errors, understanding errors, and even dialog management errors. These errors create a big gap between user'...
213
click to vote
ADAEUROPE
2005
Springer
16 years 1 days ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...