Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets.

Alexandre Canny, David Navarre, Jos Creissac Campos, Philippe A. Palanque

Browse the full FM paper archive.