Synthesizing adaptive test strategies from temporal logic specifications.

Roderick Bloem, Robert Knighofer, Ingo Pill, Franz Rck

Browse the full FMCAD paper archive.