Sciweavers

484 search results - page 12 / 97
» Improving Validation Activities in a Global Software Develop...
Sort
View
ILP
2007
Springer
14 years 2 months ago
Structural Statistical Software Testing with Active Learning in a Graph
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
Nicolas Baskiotis, Michèle Sebag
HASE
2002
IEEE
14 years 1 months ago
The Concept and Practice of Software Quality Assurance in Japan in the Global Era
The Japanese computer industry in 1990s was hit with two major shocks at the same time. One shock was the drastic reform of computers and of network. The other shock was from the ...
Katsuyuki Yasuda, Shigeru Yamada
RE
2007
Springer
14 years 2 months ago
Tracing and Validating Goal Aspects
Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects iden...
Yijun Yu, Nan Niu, Bruno González-Baixauli,...
VMCAI
2005
Springer
14 years 2 months ago
An Overview of Semantics for the Validation of Numerical Programs
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
Matthieu Martel
CIDR
2003
103views Algorithms» more  CIDR 2003»
13 years 10 months ago
Active Server Availability Feedback
The current software development process in common use within industry is inefficient, in that the time required to incorporate results from competitive, beta, and previous releas...
James R. Hamilton