Selected publications at LSV

This paper deals with the test-case generation problem for concurrent systems that are specified by true-concurrency models such as Petri nets. We show that using true-concurrency models reduces both the size and the number of test cases needed for achieving certain coverage criteria. We present a test-case generation algorithm based on Petri net unfoldings and a SAT encoding for solving controllability problems in test cases. Finally, we evaluate our algorithm against traditional test-case generation methods under interleaving semantics.

   address = {L'Aquila, Italy},
   author = {Athanasiou, Konstantinos and Ponce{ }de{~}Le{\'o}n, Hern\'an and Schwoon, Stefan},
   booktitle = {{P}roceedings of the 9th {I}nternational {C}onference on {T}ests and {P}roofs ({TAP}'15)},
   DOI = {10.1007/978-3-319-21215-9_2},
   editor = {Blanchette, Jasmin Christian and Kosmatov, Nikolai},
   month = jul,
   pages = {19-37},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {Test Case Generation for Concurrent Systems Using Event Structures},
   url = {},
   volume = {9154},
   year = {2015},

About LSV