6167 search results - page 1120 / 1234 » Can Refinement be Automated |
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
LCN
2008
IEEE
14 years 4 months ago
2008
IEEE
—Networked sensors and actuators for purposes from production monitoring and control to home automation are in increasing demand. Until recently, the main focus laid on wired sys...
NDSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Protocol reverse engineering is the process of extracting application-level specifications for network protocols. Such specifications are very helpful in a number of security-re...
ICAC
2007
IEEE
14 years 4 months ago
2007
IEEE
System-S is a stream processing infrastructure which enables program fragments to be distributed and connected to form complex applications. There may be potentially tens of thous...
ICSM
2007
IEEE
14 years 4 months ago
2007
IEEE
Recent software systems usually feature an automated failure reporting component, with which a huge number of failures are collected from software end-users. With a proper support...