research
∙
11/26/2022
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee
Dynamic symbolic execution (DSE) is a powerful test generation approach ...
share
research
∙
12/21/2018
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking
The election of a leader in a network is a challenging task, especially ...
research
∙
02/06/2013
