Sciweavers

840 search results - page 39 / 168
» Test suite oscillations
Sort
View
CPHYSICS
2006
103views more  CPHYSICS 2006»
15 years 14 days ago
A band factorization technique for transition matrix element asymptotics
A new method of evaluating transition matrix elements between wave functions associated with orthogonal polynomials is proposed. The technique relies on purely algebraic manipulat...
Emmanuel Perrey-Debain, I. David Abrahams
ENTCS
2010
102views more  ENTCS 2010»
14 years 7 months ago
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion
Porting an application written for personal computer to embedded devices requires conversion of floating-point numbers and operations into fixed-point ones. Testing the conversion...
Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, T...
107
Voted
CICLING
2004
Springer
15 years 5 months ago
Spanish Question Answering Evaluation
This paper reports the most significant issues related to the launching of a Monolingual Spanish Question Answering evaluation track at the Cross Language Evaluation Forum (CLEF 20...
Anselmo Peñas, Felisa Verdejo, Jesús...
85
Voted
DAC
2001
ACM
16 years 1 months ago
Semi-Formal Test Generation with Genevieve
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
Julia Dushina, Mike Benjamin, Daniel Geist
ICSE
2003
IEEE-ACM
16 years 16 days ago
Assessing Test-Driven Development at IBM
In a software development group of IBM Retail Store Solutions, we built a non-trivial software system based on a stable standard specification using a disciplined, rigorous unit t...
E. Michael Maximilien, Laurie A. Williams