GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton.

Tomohiko Takagi Zengo Furukawa

Published in: ISSRE (2008)

Keyphrases

test suite
high speed
real time
turing machine
database
databases
decision making
database systems
test cases
evaluation criteria
finite state machines