14 search results - page 3 / 3 » Model-Based Firewall Conformance Testing |
EMSOFT
2005
Springer
13 years 10 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
TACAS
2005
Springer
13 years 10 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
BMCBI
2008
13 years 5 months ago
2008
Background: Recent approaches for predicting the three-dimensional (3D) structure of proteins such as de novo or fold recognition methods mostly rely on simplified energy potentia...
BIOINFORMATICS
2011
12 years 8 months ago
2011
Motivation: Proteins of all kinds can self-assemble into highly ordered β-sheet aggregates known as amyloid fibrils, important both biologically and clinically. However, the spe...