Poster @ Petri Net 2015
The Petri net conference is the leading yearly event of this community. In 2015, it is hosted by ULB in Bruxelles the last week of June together with ACSD ( ).
There will be a MIDAS demonstration at this conference, centered on the coupling of the «test scheduler» module with «test generator» relying on the CosyVerif Petri net services to automatically produce traces respecting a given input specification. Such requests are performed by the «test scheduler» module and returned to the «test executor» module that will enrich the traces to be used for generating consistent tests for web services.