481 search results - page 43 / 97 » Differential symbolic execution |
104
click to vote
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
96
Voted
ICPR
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we propose a forward spotting scheme that executes gesture segmentation and recognition simultaneously by detecting start point. By using competitive differential o...
101
click to vote
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
109
Voted
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
120
Voted
TOOLS
2000
IEEE
15 years 5 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...