Scalable Incremental Test-case Generation from Large Behavior Models.

Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran

Browse the full TAP paper archive.