2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), August 18–26, 2013, Saint Petersburg, Russia

Phone Layout
No Pictures
Friday, August 23, 2013
Tool Demonstrations I (Tool Demonstrations)
11:00 – 12:15, Big Hall, Chair: Carlo A. Furia, Sebastian Nanz
SocialCDE: A Social Awareness Tool for Global Software Teams
Publisher's Version Preprint Video Info
REDACT: Preventing Database Deadlocks from Application-Based Transactions
Publisher's Version Video Info
aPET: A Test Case Generation Tool for Concurrent Objects
Publisher's Version Info
Tool Demonstrations II (Tool Demonstrations)
13:45 – 15:00, Big Hall, Chair: Carlo A. Furia, Sebastian Nanz
RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates
Publisher's Version Video Info
RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs
Publisher's Version Video Info
PoMMaDe: Pushdown Model-Checking for Malware Detection
Publisher's Version Video Info
RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions
Publisher's Version Video Info
Tool Demonstrations III (Tool Demonstrations)
15:15 – 16:30, Big Hall, Chair: Carlo A. Furia, Sebastian Nanz
Jalangi: A Tool Framework for Concolic Testing, Selective Record-Replay, and Dynamic Analysis of JavaScript
Publisher's Version Video Info
RSA-MBT: A Test Tool for Generating Test Artifacts Based on Models
Publisher's Version Info
USMMC: A Self-Contained Model Checker for UML State Machines
Publisher's Version Video Info

Time stamp: 2020-07-10T05:49:33+02:00