IMIX Genome: Specification of Variable Packet Sizes for Additional Testing.

Published in: RFC (2013)

Keyphrases

test cases
high level
test case generation
formal verification
formal specification
sequence data
test set
software testing
specification language
phylogenetic analysis