355 search results - page 6 / 71 » Security Test Generation Using Threat Trees |
COLING
2010
13 years 5 months ago
2010
We present GENSEM, a tool for generating input semantic representations for two sentence generators based on the same reversible Tree Adjoining Grammar. We then show how GENSEM ca...
SEFM
2003
IEEE
14 years 3 months ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
IWSEC
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Attack tree analysis is used to estimate different parameters of general security threats based on information available for atomic subthreats. We focus on estimating the...
IJNSEC
2010
13 years 4 months ago
2010
Chaotic systems have many interesting features such as sensitivity on initial condition and system parameter, ergodicity and mixing properties. In this paper, we exploit these int...
ISSTA
2004
ACM
14 years 3 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...