Automated Testing of LTL Formula Generation by Prospec.

Cuauhtemoc Munoz Steve Roach

Published in: HASE (2010)

Keyphrases

linear temporal logic
semi automated
search based testing
model checking
temporal logic
fully automated
website
computer aided
generation algorithm
real time
databases
software testing
generation process
automated analysis