979 search results - page 144 / 196 » Automated Environment Generation for Software Model Checking |
FMICS
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
AINA
2008
IEEE
14 years 3 months ago
2008
IEEE
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
CEC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— The next generation of embedded computing systems will have to meet new challenges. The systems are expected to act mainly autonomously, to dynamically adapt to changin...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
SIGSOFT
2006
ACM
14 years 3 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...