|
(11) | EP 2 956 860 A1 |
(12) |
|
|
|
|
||||||||||||||||||||
(54) | INTERLEAVING COVERAGE CRITERIA ORIENTED TESTING OF MULTI-THREADED APPLICATIONS |