Formal Tool Demonstrations

May 23, 2013

13:30 - 15:30

Formal Demonstrations 1

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
Preprint Available

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
Preprint Available

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
Preprint Available

NavClus: A Graphical Recommender for Assisting Code Exploration
Seonah Lee, Sungwon Kang, and Matt Staats
Preprint Available  

May 24, 2013

13:30 - 15:30

Formal Demonstrations 2

Location: Marina
Chair: Ewan Tempero

LASE: An Example-Based Program Transformation Tool for Locating and Applying Systematic Edits
John Jacobellis, Na Meng, and Miryung Kim
Preprint Available

CEL: Modeling Everywhere
Remo Lemma, Michele Lanza, and Fernando Olivero

V:ISSUE:LIZER: Exploring Requirements Clarification in Online Communication over Time
Eric Knauss and Daniela Damian
Preprint Available

YODA: Young and newcOmer Developer Assistant
Gerardo Canfora, Massimiliano Di Penta, Stefano Giannantonio, Rocco Oliveto, and Sebastiano Panichella

RADAR: A Tool for Debugging Regression Problems in C/C++ Software
Fabrizio Pastore, Leonardo Mariani, and Alberto Goffi
Preprint Available

MCT: A Tool for Commenting Programs by Multimedia Comments
Yiyang Hao, Ge Li, Lili Mou, Lu Zhang, and Zhi Jin

Memoise: A Tool for Memoized Symbolic Execution
Guowei Yang, Sarfraz Khurshid, and Corina S. Păsăreanu

Controller Synthesis: From Modelling to Enactment
Víctor Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, and Sebastián Uchitel