Sciweavers

377 search results - page 1 / 76
» Application of heuristic methods for conformance test select...
Sort
View
EOR
2002
65views more  EOR 2002»
13 years 4 months ago
Application of heuristic methods for conformance test selection
Tibor Csöndes, Balázs Kotnyek, J&aacut...
ACSD
2003
IEEE
102views Hardware» more  ACSD 2003»
13 years 8 months ago
Specification Coverage Aided Test Selection
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
Tuomo Pyhälä, Keijo Heljanko
SEFM
2007
IEEE
13 years 11 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
BMCBI
2010
154views more  BMCBI 2010»
13 years 5 months ago
Binary image representation of a ligand binding site: its application to efficient sampling of a conformational ensemble
Background: Modelling the ligand binding site of a protein is an important component of understanding proteinligand interactions and is being actively studied. Even if the side ch...
Edon Sung, Sangsoo Kim, Whanchul Shin
ACTAC
1999
81views more  ACTAC 1999»
13 years 4 months ago
Test Suite Reduction in Conformance Testing
Conformance testing is based on a test suite. Standardization committees release standard test suites, which consist of hundreds of test cases. The main problem of conformance tes...
Tibor Csöndes, Sarolta Dibuz, Balázs K...