Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Andreas Griesmayer
Joint Papers
Dynamic Symbolic Execution for Testing Distributed Objects
Testing Concurrent Objects with Application-Specific Schedulers
Cite
×