4079 search results - page 784 / 816 » Differential Testing for Software |
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
101
click to vote
ICMI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract— This paper presents a tactile language for controlling a robot through its artificial skin. This language greatly improves the multimodal human-robot communication by ...
116
click to vote
IPSN
2007
Springer
15 years 8 months ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
117
click to vote
ISW
2007
Springer
15 years 8 months ago
2007
Springer
Malware analysis is the process of determining the behavior and purpose of a given malware sample (such as a virus, worm, or Trojan horse). This process is a necessary step to be a...
111
click to vote
ACSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Comparing the system call sequence of a network application against a sandboxing policy is a popular approach to detecting control-hijacking attack, in which the attacker exploits...