Formal Demonstrations 1

Track: Formal Tool Demonstrations
When: May 23, 2013 13:30
Location: Seacliff C/D
Chair: Yuanfang Cai

LAMBDAFICATOR: From Imperative to Functional Programming through Automated Refactoring

Lyle Franklin, Alex Gyori, Jan Lahoda, and Danny Dig

JITTAC: A Just-in-Time Tool for Architectural Consistency

Jim Buckley, Sean Mooney, Jacek Rosik, and Nour Ali

Seahawk: Stack Overflow in the IDE

Luca Ponzanelli, Alberto Bacchelli, and Michele Lanza

DRC: A Detection Tool for Dangling References in PHP-Based Web Applications

Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen

TestEvol: A Tool for Analyzing Test-Suite Evolution

Leandro Sales, Saurabh Sinha, and Alessandro Orso

Query Quality Prediction and Reformulation for Source Code Search: The Refoqus Tool

Sonia Haiduc, Giuseppe De Rosa, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, and Andrian Marcus

A Large Scale Linux-Kernel Based Benchmark for Feature Location Research

Zhenchang Xing, Yinxing Xue, and Stan Jarzabek

NavClus: A Graphical Recommender for Assisting Code Exploration

Seonah Lee, Sungwon Kang, and Matt Staats