Home
Team
Teaching
Research
Contact
Openings
Available Theses
HiWi Calls
Research @ COMSYS
Research Vision
Publications
Books
Technical Reports
Projects
Past Projects
Research Groups
Cyber-Physical Systems
Network Architectures
Security and Privacy
Systems Analysis
Research Overview
Industrial Internet of Things
Internet Measurements
Publications
Year:
All
::
2020
All
2020
Author:
All
::
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
Ö
,
P
,
Q
,
R
,
S
,
T
,
U
,
V
,
W
,
X
,
Y
,
Z
All
::
R. Henderson
, ... ,
Rodemann
,
Rodríguez
,
Roepert
, ... ,
Rüth
R*
R. Henderson
Rabe
Rahn
Ramos
Rath
Rauchhaupt
Rawiel
Raza
Razaghpanah
Redmann
Reelfs
Reichl
Reif
Reimers
Reisgen
Renuli
Reuter
Richter
Rieche
Riillo
Riley
Rimey
Rio
Ritter
Rodemann
Rodríguez
Roepert
Rößler
Rothaug
Rothe
Rudack
Rumpe
Rüppel
Rüth
1.
Daniel Schemmel
,
Julian Büning
,
César Rodríguez
,
David Laprell
, and
Klaus Wehrle
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
Computer Aided Verification (CAV 2020)
July 2020
DOI:
10.1007/978-3-030-53288-8_18
https://arxiv.org/abs/2005.06688
Export as:
BibTeX
,
XML
-
Impressum
|
Datenschutz
-