1414 search results - page 3 / 283 » Automated Metamorphic Testing |
QSIC
2005
IEEE
14 years 1 months ago
2005
IEEE
COMPSAC
2002
IEEE
14 years 17 days ago
2002
IEEE
ADAEUROPE
2007
Springer
14 years 1 months ago
2007
Springer
The testing of programs in wireless sensor networks (WSN) is an important means to assure quality but is a challenging process. As pervasive computing has been identified as a not...
CLEF
2009
Springer
13 years 8 months ago
2009
Springer
In biological sequence processing, Multiple Sequence Alignment (MSA) techniques capture information about long-distance dependencies and the three-dimensional structure of protein ...
TSE
2011
13 years 2 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...