979 search results - page 78 / 196 » Automated Environment Generation for Software Model Checking |
LOPSTR
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
ENTCS
2010
13 years 9 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
Distributed infrastructures are becoming more and more diverse in nature. An application may often need to be redeployed in various scenarios. Ideally, given an application design...