285 search results - page 24 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
112
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
Many reconfigurable architectures offer partial dynamic configurability, but current system-level tools cannot guarantee feasible implementations when exploiting this feature. We ...
127
click to vote
SP
2010
IEEE
15 years 5 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
CCGRID
2008
IEEE
15 years 3 months ago
2008
IEEE
Multi-agent based simulation (MABS) is a discrete event simulation technique used to study complex systems with entities having social and autonomous behavior. MABS applications a...
127
click to vote
DSN
2002
IEEE
15 years 6 months ago
2002
IEEE
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
ICESS
2007
Springer
15 years 7 months ago
2007
Springer
Conventional mission-critical systems cannot prevent mission failure in dynamic battlefield environments in which the execution situations or missions change abruptly. To solve th...