173 search results - page 35 / 35 » Data Flow Testing as Model Checking |
ICAC
2009
IEEE
14 years 1 days ago
2009
IEEE
The complexity of large computer systems has raised unprecedented challenges for system management. In practice, operators often collect large volume of monitoring data from system...
ICDCS
2010
IEEE
13 years 9 months ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...
AGTIVE
2003
Springer
13 years 10 months ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...