Sciweavers

6014 search results - page 117 / 1203
» Structural Testing with Use Cases
Sort
View
SEFM
2007
IEEE
16 years 20 days 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...
WSE
2003
IEEE
15 years 11 months ago
Considering Browser Interaction in Web Application Testing
As web applications evolves, their structure may become more and more complex. Thus, systematic approaches/methods for web application testing are needed. Existing methods take in...
Giuseppe A. Di Lucca, Massimiliano Di Penta
VLDB
2002
ACM
193views Database» more  VLDB 2002»
15 years 6 months ago
REFEREE: An Open Framework for Practical Testing of Recommender Systems using ResearchIndex
Automated recommendation (e.g., personalized product recommendation on an ecommerce web site) is an increasingly valuable service associated with many databases--typically online ...
Dan Cosley, Steve Lawrence, David M. Pennock
AE
2005
Springer
15 years 12 months ago
An Enhanced Genetic Algorithm for Protein Structure Prediction Using the 2D Hydrophobic-Polar Model
This paper presents an enhanced genetic algorithm for the protein structure prediction problem. A new fitness function, that uses the concept of radius of gyration, is proposed. Al...
Heitor S. Lopes, Marcos P. Scapin
CORR
2008
Springer
114views Education» more  CORR 2008»
15 years 6 months ago
Investigating the Potential of Test-Driven Development for Spreadsheet Engineering
It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and ...
Alan Rust, Brian Bishop, Kevin McDaid