Andreas Griesmayer

Latest

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