BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:Events of FSE 2014
PRODID:-//Generated by Conference Publishing//EN
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
DTSTART;TZID=Asia/Hong_Kong:20141118T171500
DTEND;TZID=Asia/Hong_Kong:20141118T180000
SUMMARY:FSE: Tool Demonstrations
LOCATION:Auditorium
DESCRIPTION:Tool Demonstrations\n\nTsmart-GalsBlock: A Toolkit for Modeling
 \, Validation\, and Synthesis of Multi-clocked Embedded Systems\n\n\n\nA To
 ol Suite for the Model-Driven Software Engineering of Cyber-Physical System
 s\n\n\n\nXMLMate: Evolutionary XML Test Generation\n\n\n\nCHOReOSynt: Enfor
 cing Choreography Realizability in the Future Internet\n\n\n\nRaPiD: A Tool
 kit for Reliability Analysis of Non-deterministic Systems\n\n\n\nAalta: An 
 LTL Satisfiability Checker over Infinite/Finite Traces\n\n\n\nOmen+: A Prec
 ise Dynamic Deadlock Detector for Multithreaded Java Libraries\n\n\n\nArchi
 e: A Tool for Detecting\, Monitoring\, and Preserving Architecturally Signi
 ficant Code\n\n\n\nLinking Sketches and Diagrams to Source Code Artifacts\n
 \n\n\nBumbleBee: A Refactoring Environment for Spreadsheet Formulas\n\n\n\n
 RefDistiller: A Refactoring Aware Code Review Tool for Inspecting Manual Re
 factoring Edits\n\n\n\nCritics: An Interactive Code Review Tool for Searchi
 ng and Inspecting Systematic Changes\n\n\n\nConceptCloud: A Tagcloud Browse
 r for Software Archives\n\n\n\nTitan: A Toolset That Connects Software Arch
 itecture with Quality Analysis\n\n\n\nBugLocalizer: Integrated Tool Support
  for Bug Localization\n\n\n\nDemo papers’ lightning talks\n
UID:Hohze4paiT
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
END:VCALENDAR