Selected publications at LSV

Abstract:
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.

@inproceedings{APS-tap15,
   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 = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/APS-tap15.pdf},
   volume = {9154},
   year = {2015},
}

About LSV