Passer au contenu principal
Publication

Synthesizing adaptive test strategies from temporal logic specifications