Speed-Up Testing by Application of Semiformal Notations and Automation.

Martin Ringdorfer, Gerhard Griessnig

Browse the full EuroSPI paper archive.