9 search results - page 1 / 2 » Verified Firewall Policy Transformations for Test Case Gener... |
ICST
2010
IEEE
13 years 8 months ago
2010
IEEE
POLICY
2007
Springer
14 years 5 months ago
2007
Springer
The implementation of network security devices such as firewalls and IDSs are constantly being improved to accommodate higher security and performance standards. Using reliable a...
ENTCS
2008
13 years 11 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
ICWE
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...
MBEES
2010
13 years 9 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...