Semi-formal test generation and resolving a temporal abstraction problem in practice: industrial application.

Julia Dushina, Mike Benjamin, Daniel Geist

Browse the full ASPDAC paper archive.