14 search results - page 1 / 3 » Tool-assisted unit-test generation and selection based on op... |
KBSE
2003
IEEE
13 years 10 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...
ASE
2006
13 years 4 months ago
2006
PC
2007
13 years 4 months ago
2007
Abstract. In this paper, we focus on MPI collective algorithm selection process and explore the applicability of the quadtree encoding method to this problem. During the algorithm ...
EPS
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. In Neo-Darwinism, mutation can be considered to be unaffected by selection pressure. This is the metaphor generally used by the genetic algorithm for its treatment of the...
UTP
2010
13 years 2 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...