Sciweavers

205 search results - page 16 / 41
» Test Case Prioritization Based on Analysis of Program Struct...
Sort
View
AOSE
2007
Springer
15 years 4 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
BMCBI
2011
14 years 5 months ago
Predicting functionally important SNP classes based on negative selection
Background: With the advent of cost-effective genotyping technologies, genome-wide association studies allow researchers to examine hundreds of thousands of single nucleotide poly...
Mark A. Levenstien, Robert J. Klein
BMCBI
2007
123views more  BMCBI 2007»
14 years 10 months ago
PedGenie: meta genetic association testing in mixed family and case-control designs
Background-: PedGenie software, introduced in 2006, includes genetic association testing of cases and controls that may be independent or related (nuclear families or extended ped...
Karen Curtin, Jathine Wong, Kristina Allen-Brady, ...
86
Voted
SAS
2010
Springer
140views Formal Methods» more  SAS 2010»
14 years 8 months ago
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
Christophe Alias, Alain Darte, Paul Feautrier, Lau...
TSE
2010
151views more  TSE 2010»
14 years 8 months ago
The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
George K. Baah, Andy Podgurski, Mary Jean Harrold