Methods and methodology for an incremental test generation from SDL specifications.

Athmane Touag A. Rouger

Published in: SDL Forum (1999)

Keyphrases

database systems
databases
statistical methods
test generation
artificial intelligence
cooperative
regular expressions