Bernhard K. Aichernig

Joint Papers

• Dynamic Symbolic Execution for Testing Distributed Objects
• Testing Concurrent Objects with Application-Specific Schedulers