CS Department Seminar, Aly Farahat, PhD Defense

July 16, 2pm Title: Automated Design of Self-Stabilization Abstract Nowadays, we witness an increasing impact of software system failures due to the growing abundance and steady proliferation of software into our daily activities. Self-stabilization is a property of a distributed system such that, regardless of the legitimacy of its current behavior, the system behavior shall . . .

CS Department Seminar, Christopher Brown, PhD Candidate

March 30, 2012, 3:00 PM, Room 214 – Rekhi Hall Title: Generating Automated Usability Tests for User Centered Design The agile approach to software development gives top priority to satisfying the customer through early and continuous delivery of valuable software. A key component of the agile approach is test driven development (TDD), which involves the . . .