activity
20132023
most citedSymbolic Partial-Order Execution for Testing Multi-Threaded Programs

12 citations · 40 across the 7 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2013★ 9 cited

Model Checking Contest @ Petri Nets, Report on the 2013 edition

Fabrice Kordon, Alban Linard, Marco Beccuti +14

This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of…