Formal Demonstrations 2

Track: Formal Tool Demonstrations
When: May 24, 2013 13:30
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

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

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

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