PTSG: a test generation tool based on extended finite state machine.

Zhijie Pan Ting Shu Zuohua Ding

Published in: CoRR (2022)

Keyphrases

finite state machines
test generation
mutation testing
test cases
test sequences
symbolic execution
model checking
state machine
regular expressions
design automation
digital circuits
finite state automata
software testing
quality assurance
databases
static analysis