Home
Team
Staff Overview
Alumni
Research Alumni
Student Alumni
Teaching
Overview
Thesis Topics
Thesis Process
PhD Process
Available Theses
Ongoing Theses
Past Theses
Past PhD Theses
Permanent Services
Thesis Examiner
Oral Exams
Courses
Course Overview
Past Courses
Exchange Student Advisory Service
News & Overview
Incomings
Miscellaneous
Internet4Kids
Research
Vision
Openings
Theses
HiWi Calls
PhD and PostDoc Positions
Research @ COMSYS
Publications
Projects
Past Projects
Research Groups
Cyber-Physical Systems
Network Architectures
Security and Privacy
Systems Analysis
Research Overview
Future Power Grids
Industrial Internet of Things
Internet Measurements
Medical Data (Privacy)
Contact
Light
Dark
Automatic
Home
Publications
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
Daniel Schemmel
,
Julian Büning
,
César Rodríguez
,
David Laprell
,
Klaus Wehrle
July 2020
PDF
Cite
DOI
Extended Version (arXiv)
Type
Conference paper
Publication
Computer Aided Verification (CAV 2020)
Daniel Schemmel, M.Sc.
Julian Büning, M.Sc.
Researcher
César Rodríguez
David Laprell
Klaus Wehrle
Head of Group
Cite
×
