2419 search results - page 142 / 484 » A Formal Approach to Software Testing |
133
click to vote
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
116
Voted
HASE
1998
IEEE
15 years 7 months ago
1998
IEEE
Residual defects is one of the most important factors that allow one to decide if a piece of software is ready to be released. In theory, one can find all the defects and count th...
133
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
125
click to vote
HVC
2005
Springer
15 years 9 months ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
70
Voted
CSDA
2010
15 years 3 months ago
2010
This paper considers tests for cointegration with allowance for structural breaks, using the extrema of residual-based tests over subsamples of the data. One motivation for the ap...