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.

Mon 11 Nov

ase-2019-Doctoral-Symposium
11:00 - 12:30: Doctoral Symposium - Productivity at Cortez 1A
ase-2019-Doctoral-Symposium11:00 - 11:30
Kristian KolthoffInstitute for Enterprise Systems (InES), University Of Mannheim
ase-2019-Doctoral-Symposium11:30 - 12:00
Shurui ZhouCarnegie Mellon University, USA
ase-2019-Doctoral-Symposium12:00 - 12:30
Marina ReichChemnitz University of Technology/ Airbus Defence and Space GmbH

Tue 12 Nov

ase-2019-Doctoral-Symposium
15:20 - 16:00: Doctoral Symposium - Poster Session: Doctoral Symposium at Kensington Ballroom
ase-2019-Doctoral-Symposium15:20 - 16:00
Vaibhav SharmaUniversity of Minnesota
ase-2019-Doctoral-Symposium15:20 - 16:00
Mauricio SotoCarnegie Mellon University
ase-2019-Doctoral-Symposium15:20 - 16:00
Shurui ZhouCarnegie Mellon University, USA
ase-2019-Doctoral-Symposium15:20 - 16:00
Kristian KolthoffInstitute for Enterprise Systems (InES), University Of Mannheim
ase-2019-Doctoral-Symposium15:20 - 16:00
Foyzul HassanUniversity of Texas at San Antonio, USA
ase-2019-Doctoral-Symposium15:20 - 16:00
Carmine VassalloUniversity of Zurich
ase-2019-Doctoral-Symposium15:20 - 16:00
Stephan LukasczykUniversity of Passau
ase-2019-Doctoral-Symposium15:20 - 16:00
Marina ReichChemnitz University of Technology/ Airbus Defence and Space GmbH