Integrating Model-Based Testing and Analysis Tools via Test Case Exchange.

Bernhard K. Aichernig, Florian Lorber, Stefan Tiran

Browse the full TASE paper archive.