Menu
Events
Industry Day
About SF4.0
Project Structure
PP-A: Code-based Parallelization
PP-B: Model-based Parallelization
PP-C: Reengineering for Variability
PP-D: Platform Adaption
PP-K: Scaling by Decomposition
PP-L: Semantics and Verification of Parallel Systems
PP-P: Extraction of Mini Apps
PP-Q: Reengineering for Industrie 4.0
People
Publications
Press
Open Positions
You are here
Home
» Publications
Publications
Found 1 results
Filters:
Author
is
Dirk Beyer
[Clear All Filters]
2021
D. Beyer
and
Jakobs, M. - C.
,
“
Cooperative verifier-based testing with CoVeriTest
”
,
International Journal on Software Tools for Technology Transfer
, vol. 23, pp. 313-333, 2021.