Sciweavers

42 search results - page 4 / 9
» Augmenting data flow criteria for class testing
Sort
View
JSS
2002
101views more  JSS 2002»
14 years 9 months ago
Software requirements validation via task analysis
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai
74
Voted
BMCBI
2007
140views more  BMCBI 2007»
14 years 9 months ago
From genes to functional classes in the study of biological systems
Background: With the popularisation of high-throughput techniques, the need for procedures that help in the biological interpretation of results has increased enormously. Recently...
Fátima Al-Shahrour, Leonardo Arbiza, Hern&a...
MMAS
2010
Springer
14 years 4 months ago
Clustering and Classification through Normalizing Flows in Feature Space
A unified variational methodology is developed for classification and clustering problems, and tested in the classification of tumors from gene expression data. It is based on flu...
J. P. Agnelli, M. Cadeiras, E. G. Tabak, C. V. Tur...
SIGSOFT
2003
ACM
15 years 10 months ago
Consistency techniques for interprocedural test data generation
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
Nguyen Tran Sy, Yves Deville
TAICPART
2006
IEEE
144views Education» more  TAICPART 2006»
15 years 3 months ago
Testing the Implementation of Business Rules Using Intensional Database Tests
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
David Willmor, Suzanne M. Embury