Automated framework for formal operator task analysis.

Ayesha Yasmeen, Elsa L. Gunter

Browse the full ISSTA paper archive.