Follow ICSE on Facebook Follow ICSE on Twitter

Accepted Formal Demonstrations

Yuanfang Cai, Drexel University, United States
Aditya Nori, Microsoft Research, India

The Formal Demonstrations (Demo) Track will take place during the three days of the ICSE 2016 Main Conference (Wednesday 18 through Friday 20). The ICSE 2016 Main Conference Schedule will be posted in February.

To be added to the list to receive notice when the ICSE 2016 Main Conference Schedule is posted , please visit Or follow ICSE Conferences on Facebook ( or Twitter (@ICSEconf).

Accepted Formal Demos

AD-ROOM: a Tool for Automatic Detection of Refactorings in Object-Oriented Models
CodeTube: Extracting Relevant Fragments from Software Development Video Tutorials
DECA: Development Emails Content Analyzer
FeatureIDE: Taming the Preprocessor Wilderness
FOREPOST: A Tool For Detecting Performance Problems with Feedback-Driven Learning Software Testing
FUSION: A Tool for Facilitating and Augmenting Android Bug Reporting
JDeodorant: Clone Refactoring
JooMDD: A Model-Driven Development Environment for Web Content Management System Extensions
LibRadar: Detecting Third-party Libraries in Android Apps
SimCoTest: A Test Suite Generation Tool for Simulink/Stateflow Controllers
SMACK Software Verification Toolchain
SourcererCC and SourcererCC-I: Tools to Detect Clones in Batch mode and During Software Development
SPYSE - A Semantic Search Engine for Python Packages and Modules
srcSlice: A Tool for Efficient Static Forward Slicing
TASSAL: Autofolding for Source Code Summarization
The BBC micro:bit and Microsoft Touch Develop
Toward Arbitrary Mapping for Debugging Visualizations
Visually Reasoning about System and Resource Behavior

Program Committee

Aws Albarghouthi, University of Toronto, Canada
Joshua Garcia, George Mason University, USA
Milos Gligoric, University of Illinois at Urbana-Champaign, USA
Jeff Gray, University of Alabama, USA
Aditya Kanade, Indian Institute of Science, India
Akash Lal, Microsoft Research India, India
Peng Liang, Wuhan University, China
Jian-Guang Lou, Microsoft Research Asia, China
Mehdi Mirakhorli, Rochester Institute of Technology, USA
Todd Mytkowicz, Microsoft Research, USA
Martin Naedele, ABB Power Systems, Switzerland
Adrian Nistor, Chapman University, USA
Xin Peng, Fudan University, China
Rahul Purandare, Indraprastha Institute of Information Technology Delhi, India
Hridesh Rajan, Iowa State University, USA
Baishakhi Ray, University of California, Davis, USA
Raghu Sangwan, Pennsylvania State University, USA
Carolyn Seaman, University of Maryland, Baltimore County, USA
Minghui Zhou, Peking University, China
Liming Zhu, National ICT Australia, Australia

The presentation schedule is posted here.