Sciweavers

747 search results - page 21 / 150
» Test Oracles Using Statistical Methods
Sort
View
APSEC
2004
IEEE
13 years 11 months ago
JAOUT: Automated Generation of Aspect-Oriented Unit Test
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...
Guoqing Xu, Zongyuan Yang, Haitao Huang, Qian Chen...
CAV
2004
Springer
202views Hardware» more  CAV 2004»
14 years 28 days ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
PAMI
2010
210views more  PAMI 2010»
13 years 6 months ago
Multi-Object Analysis of Volume, Pose, and Shape Using Statistical Discrimination
Abstract— One goal of statistical shape analysis is the discrimination between two populations of objects. In this paper, we present results of discriminant analysis on multi-obj...
Kevin Gorczowski, Martin Styner, Ja-Yeon Jeong, J....
ICIP
2008
IEEE
14 years 9 months ago
General-purpose reduced-reference image quality assessment based on perceptually and statistically motivated image representatio
Divisive normalization has been recognized as a successful approach to model the perceptual sensitivity of biological vision. It also provides a useful image representation that i...
Qiang Li, Zhou Wang
BMCBI
2004
100views more  BMCBI 2004»
13 years 7 months ago
Handling multiple testing while interpreting microarrays with the Gene Ontology Database
Background: The development of software tools that analyze microarray data in the context of genetic knowledgebases is being pursued by multiple research groups using different me...
Michael V. Osier, Hongyu Zhao, Kei-Hoi Cheung