Andreas Griesmayer

Joint Papers

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