Formal Tool Demos

Download the program in PDF.


Wednesday,  September 15


Room

A115

Topic:

Formal Tool Demos 1

TDM 1

Chair:

Tudor Gîrba, Mircea Lungu

14:00

An Algorithmic Debugger for Java

David Insa Cabrera, Josep Silva


14:15

A Cross-browser Web Application Testing Tool

Shauvik Roy Choudhary,
Husayn Versee, Alessandro Orso


14:30

MooseJEE: A Moose Extension to Enable the assessment of JEAs

Fabrizio Perin


14:45

An Eclipse Plug-in for the Detection of Design Pattern Instances through Static and Dynamic Analysis

Andrea De Lucia, Vincenzo Deufemia,

Carmine Gravino, Michele Risi


15:00

Break

Room

A115

Topic:

Formal Tool Demos 2

TDM 2

Chair:

Tudor Gîrba, Mircea Lungu

15:15

SQUANER: A Framework for Monitoring the Quality of Software Systems

Nicolas Haderer, Foutse Khomh,

Giuliano Antoniol


15:30

MAGISTER: Quality Assurance of Magic Applications for Software Developers and End Users

Csaba Nagy, László Vidács,
Rudolf Ferenc, Tibor Gyimóthy, Ferenc Kocsis, István Kovács


15:45

Automatic Checking of License Compliance

Hongyu Zhang, Bei Shi, Lu Zhang


16:00

TopicXP: Exploring Topics in Source Code using Latent Dirichlet Allocation

Trevor Savage, Bogdan Dit,
Malcom Gethers, Denys Poshyvanyk