Sign in
Verification of phylogenetic Inference Programs Using Metamorphic Testing.
Md. Shaik Sadi
Fei-Ching Kuo
Joshua Wing Kei Ho
Michael A. Charleston
Tsong Yueh Chen
Published in:
J. Bioinform. Comput. Biol. (2011)
Keyphrases
</>
symbolic execution
test generation
test data generation
formal verification
static analysis
test cases
source code
model checking
face verification
hardware designs
artificial intelligence
software testing
quality assurance
control structures
concurrent programs
set of test cases
object oriented