678 search results - page 4 / 136 » An evaluation of combination strategies for test case select... |
ICTAC
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
COMPSAC
2003
IEEE
14 years 19 days ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
ACSD
2003
IEEE
13 years 11 months ago
2003
IEEE
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...
ENTER
2008
Springer
13 years 9 months ago
2008
Springer
Recommender systems (RS) are employed to personalize user interaction with (e.g. tourism) web-sites, supporting both navigation through large service assortments and the configura...
BMCBI
2007
13 years 7 months ago
2007
Background: The design of long oligonucleotides for spotted DNA microarrays requires detailed attention to ensure their optimal performance in the hybridization process. The main ...