6704 search results - page 316 / 1341 » Testing Scenario-Based Models |
169
click to vote
USS
2008
15 years 9 months ago
2008
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
160
click to vote
WSC
2007
15 years 9 months ago
2007
This paper aims to demonstrate the potential for using the system dynamics computer simulation methodology to gain insight into the evolution of insurgencies. In particular, it ex...
206
click to vote
I3E
2001
15 years 8 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
127
click to vote
ANOR
2007
15 years 6 months ago
2007
This paper describes a stochastic programming model that was developed for asset liability management of a Finnish pension insurance company. In many respects the model resembles t...
176
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...