DemoSun: Dynamic Software Updates and Analysis

Demonstrations Track
When: Wednesday, May 25 1:45PM
Location: South Pacific 3&4
Chair: George Spanoudakis
JavAdaptor: Unrestricted Dynamic Software Updates for Java (video)
Mario Pukall, Alexander Grebhahn, Reimar Schröter, Christian Kästner, Walter Cazzola, and Sebastian Götz
DyTa: Dynamic Symbolic Execution Guided with Static Verification Results (video)
Xi Ge, Kunal Taneja, Tao Xie, and Nikolai Tillmann
Identifying Opaque Behavioural Changes
Reid Holmes and David Notkin
FireDetective: Understanding Ajax Client/Server Interactions (video)
Nick Matthijssen and Andy Zaidman