Sciweavers

6800 search results - page 8 / 1360
» Testing with Functions as Specifications
Sort
View
BMCBI
2008
101views more  BMCBI 2008»
13 years 7 months ago
Term-tissue specific models for prediction of gene ontology biological processes using transcriptional profiles of aging in dros
Background: Predictive classification on the base of gene expression profiles appeared recently as an attractive strategy for identifying the biological functions of genes. Gene O...
Wensheng Zhang, Sige Zou, Jiuzhou Song
CORR
2010
Springer
211views Education» more  CORR 2010»
13 years 7 months ago
Studying the Feasibility and Importance of Software Testing: An Analysis
Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. Software testing is the process of tes...
S. S. Riaz Ahamed
AGILEDC
2006
IEEE
14 years 1 months ago
Executable Acceptance Tests for Communicating Business Requirements: Customer Perspective
Using an experimental method, we found that customers, partnered with an IT professional, are able to use executable acceptance test (storytest)-based specifications to communicat...
Grigori Melnik, Frank Maurer, Mike Chiasson
ESOP
2010
Springer
14 years 5 months ago
Testing Polymorphic Properties
Abstract. This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas par...
Jean-Philippe Bernardy, Patrik Jansson and Koen Cl...
CALCO
2007
Springer
135views Mathematics» more  CALCO 2007»
13 years 11 months ago
Specification-Based Testing for CoCasl's Modal Specifications
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...
Delphine Longuet, Marc Aiguier