488 search results - page 94 / 98 » ST-Tool: A CASE Tool for Security Requirements Engineering |
GG
2008
Springer
13 years 8 months ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
PLDI
2012
ACM
11 years 9 months ago
2012
ACM
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
CBSE
2004
Springer
14 years 24 days ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
EDBTW
2010
Springer
14 years 2 months ago
2010
Springer
Published data is prone to privacy attacks. Sanitization methods aim to prevent these attacks while maintaining usefulness of the data for legitimate users. Quantifying the trade-...
PAM
2010
Springer
14 years 2 months ago
2010
Springer
Network traces are essential for a wide range of network applications, including traffic analysis, network measurement, performance monitoring, and security analysis. Existing cap...