Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Mon 11 Nov 2019 12:00 - 12:30 at Cortez 1A - Productivity
Tue 12 Nov 2019 15:20 - 16:00 at Kensington Ballroom - Poster Session: Doctoral Symposium

Over the past decades, various techniques for the application of formal program analysis of software systems have been proposed. However, the application of formal methods for software verification is still limited in practise. It is acknowledged that the task of formally specifying requirements by creating property specifications and the need of the interaction by the engineer with the prover during the execution of the proof are valid hindrances. The objectives of the presented PhD project are the automated inference of declarative property specifications from example scenarios during the phase of Requirements Engineering and their automated verification on abstract model level and on code level. Applying Inductive Logic Programming, we introduce the necessary modifications and extensions of the methodology in order to enable property specification mining from example data. Example data are to be collected with the guidance by the Scenario Modeling Strategies to ensure the necessary coverage of the scenario that is stated with the application in order to correct use of the provided information in the property specification mining algorithm. However, the specification mining algorithm is expected to produce too many property specifications. To turn the weakness into strength, our approach proposes to use the properties to automate the proof and by this, reduce the necessary interaction with the prover.

Conference Day
Mon 11 Nov

Displayed time zone: Tijuana, Baja California change

11:00 - 12:30
11:00
30m
Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements
Doctoral Symposium
Kristian KolthoffInstitute for Enterprise Systems (InES), University Of Mannheim
11:30
30m
Improving Collaboration Efficiency in Fork-based Development
Doctoral Symposium
Shurui ZhouCarnegie Mellon University, USA
12:00
30m
Inference of Properties from Requirements and Automation of their Formal Verification
Doctoral Symposium
Marina ReichChemnitz University of Technology/ Airbus Defence and Space GmbH

Conference Day
Tue 12 Nov

Displayed time zone: Tijuana, Baja California change

15:20 - 16:00
Poster Session: Doctoral SymposiumDoctoral Symposium at Kensington Ballroom
15:20
40m
Automatically Repairing Binary Programs Using Adapter Synthesis
Doctoral Symposium
Vaibhav SharmaUniversity of Minnesota
15:20
40m
Improving Patch Quality by Enhancing Key Components of Automatic Program Repair
Doctoral Symposium
Mauricio SotoCarnegie Mellon University
15:20
40m
Improving Collaboration Efficiency in Fork-based Development
Doctoral Symposium
Shurui ZhouCarnegie Mellon University, USA
15:20
40m
Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements
Doctoral Symposium
Kristian KolthoffInstitute for Enterprise Systems (InES), University Of Mannheim
15:20
40m
Tackling Build Failures in Continuous Integration
Doctoral Symposium
Foyzul HassanUniversity of Texas at San Antonio, USA
15:20
40m
Enabling Continuous Improvement of a Continuous Integration Process
Doctoral Symposium
Carmine VassalloUniversity of Zurich
15:20
40m
Generating Tests to Analyse Dynamically-Typed Programs
Doctoral Symposium
Stephan LukasczykUniversity of Passau
15:20
40m
Inference of Properties from Requirements and Automation of their Formal Verification
Doctoral Symposium
Marina ReichChemnitz University of Technology/ Airbus Defence and Space GmbH