220 search results - page 3 / 44 » Metamorphic Testing and Beyond |
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
89
Voted
CLEF
2009
Springer
15 years 23 days 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 ...
105
Voted
TSE
2011
14 years 6 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...
COMPSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
Context-sensitive middleware-based software is an emerging kind of ubiquitous computing application. The components of such software communicate proactively among themselves accor...
85
Voted
ISSRE
2007
IEEE
15 years 1 months ago
2007
IEEE
While important efforts are dedicated to system functional testing, very few works study how to test specifically security mechanisms, implementing a security policy. This paper i...