An Experiment in the Generation of Executable Test Sequences for the Inres Protocol.

Anthony Chung Tao Huang

Published in: SNPD (2003)

Keyphrases

test sequences
test cases
bit rate
video sequences
mutation testing
lightweight
generation process
test generation
formal analysis
computer vision
image processing
three dimensional
high level
open source
formal specification
communication protocol