BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Faculty of Science and Technology | University of Macau - ECPv6.14.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Faculty of Science and Technology | University of Macau
X-ORIGINAL-URL:https://www.fst.um.edu.mo
X-WR-CALDESC:Events for Faculty of Science and Technology | University of Macau
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Asia/Macau
BEGIN:STANDARD
TZOFFSETFROM:+0800
TZOFFSETTO:+0800
TZNAME:CST
DTSTART:20170101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Asia/Macau:20170103T150000
DTEND;TZID=Asia/Macau:20170103T160000
DTSTAMP:20260514T154529
CREATED:20170103T070036Z
LAST-MODIFIED:20220927T045330Z
UID:6001-1483455600-1483459200@www.fst.um.edu.mo
SUMMARY:Safer Refactorings with Assertions
DESCRIPTION:Instructors/Speakers\nDr. Volker Stolz\nBergen University College and the University of Oslo\nNorway \nAbstract\nRefactorings often require that non-trivial semantic correctness conditions are met. IDEs such as Eclipse’s Java Development Tools rely on simpler\, static pre- condition checks for refactorings. This leads to the phenomenon that a seemingly innocuous refactoring can change the behavior of the program. In this thesis we demonstrate our technique of introducing runtime checks of two particular refactorings for the Java programming language: Extract And Move Method\, and Extract Local Variable. These checks can\, in combination with unit tests\, detect changed behavior and identify the refactoring step that introduced it. \nBiography\nDr. Volker Stolz is an associate professor at the Bergen University College and the University of Oslo\, Norway. He is site-leader for the European Horizon 2020 project “COEMS — Continuous Observation of Embedded Multicore Systems”\, vice chair of the EU COST Action IC1402 “ARVI — Runtime Verification Beyond Monitoring”\, and Visiting Professor at the Guizhou Academy of Sciences\, Guiyang. Before moving to Norway\, Dr. Stolz held an Assistant Research Fellow position at UNU-IIST\, Macao (now UNU-CS)\, where he was principal investigator in the MSTDF-funded project on “Applied Runtime Verification”. \nHis interests are formal methods in software engineering\, correctness and verification of software\, and programming language semantics. \n 
URL:https://www.fst.um.edu.mo/event/safer-refactorings-with-assertions/
LOCATION:E11-1035
CATEGORIES:event_list,seminarslectures
END:VEVENT
END:VCALENDAR