Powered by
Conference Publishing Consulting

22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), November 16–21, 2014, Hong Kong, China

FSE 2014 – Proceedings

Contents - Abstracts - Authors
Online Calendar - iCal File
Twitter: https://twitter.com/FSEconf

Tool Demonstrations
Tue, Nov 18, 17:15 - 18:00, Auditorium

Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems
Yu JiangORCID logo, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; University of California at Davis, USA)
A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems
Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, and Uwe Pohlmann
(University of Paderborn, Germany; Fraunhofer IPT, Germany)
XMLMate: Evolutionary XML Test Generation
Nikolas Havrikov, Matthias Höschele, Juan Pablo Galeotti, and Andreas Zeller
(Saarland University, Germany)
Video Info
CHOReOSynt: Enforcing Choreography Realizability in the Future Internet
Marco Autili, Davide Di Ruscio, Amleto Di Salle, and Alexander Perucci
(University of L'Aquila, Italy)
RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems
Lin Gui, Jun Sun, Yang Liu ORCID logo, Truong Khanh Nguyen, and Jin Song Dong
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore)
Video Info
Aalta: An LTL Satisfiability Checker over Infinite/Finite Traces
Jianwen Li ORCID logo, Yinbo Yao, Geguang Pu ORCID logo, Lijun Zhang, and Jifeng He ORCID logo
(East China Normal University, China; Institute of Software at Chinese Academy of Sciences, China)
Omen+: A Precise Dynamic Deadlock Detector for Multithreaded Java Libraries
Malavika Samak and Murali Krishna Ramanathan
(Indian Institute of Science, India)
Archie: A Tool for Detecting, Monitoring, and Preserving Architecturally Significant Code
Mehdi Mirakhorli, Ahmed Fakhry, Artem Grechko, Matteusz Wieloch, and Jane Cleland-Huang
(Rochester Institute of Technology, USA; DePaul University, USA)
Linking Sketches and Diagrams to Source Code Artifacts
Sebastian Baltes, Peter Schmitz, and Stephan Diehl
(University of Trier, Germany)
BumbleBee: A Refactoring Environment for Spreadsheet Formulas
Felienne Hermans and Danny Dig
(Delft University of Technology, Netherlands; Oregon State University, USA)
RefDistiller: A Refactoring Aware Code Review Tool for Inspecting Manual Refactoring Edits
Everton L. G. Alves, Myoungkyu Song, and Miryung Kim ORCID logo
(University of Texas at Austin, USA; Federal University of Campina Grande, Brazil; University of California at Los Angeles, USA)
Critics: An Interactive Code Review Tool for Searching and Inspecting Systematic Changes
Tianyi Zhang, Myoungkyu Song, and Miryung Kim ORCID logo
(University of California at Los Angeles, USA; University of Texas at Austin, USA)
Video Info
ConceptCloud: A Tagcloud Browser for Software Archives
Gillian J. Greene and Bernd FischerORCID logo
(Stellenbosch University, South Africa)
Titan: A Toolset That Connects Software Architecture with Quality Analysis
Lu Xiao, Yuanfang Cai, and Rick Kazman
(Drexel University, USA; University of Hawaii, USA)
BugLocalizer: Integrated Tool Support for Bug Localization
Ferdian Thung, Tien-Duy B. Le, Pavneet Singh Kochhar, and David LoORCID logo
(Singapore Management University, Singapore)

proc time: 0.78