Tue 22 Sep 2020 18:40 - 18:45 at Koala - LBR + DS Poster (2) Chair(s): Kevin Lee
Software reliability is a primary concern in the construction of software, and thus a fundamental component in the definition of software quality. Analyzing software reliability requires a \emph{specification} of the intended behavior of the software under analysis. Unfortunately, software many times lacks such specifications. This issue seriously diminishes the analyzability of software with respect to its reliability. Thus, finding novel techniques to capture the intended software behavior in the form of specifications would allow us to exploit them for automated reliability analysis.
Our research focuses on the application of learning techniques to automatically distinguish correct from incorrect software behavior. The aim here is to decrease the developer’s effort in specifying oracles, and instead \emph{generating} them from actual software behaviors.
Mon 21 Sep Times are displayed in time zone: (UTC) Coordinated Universal Time
16:40 - 17:15: DS: Presentation 3Doctoral Symposium at Kangaroo Chair(s): Jean-Guy SchneiderDeakin University | |||
16:40 - 16:57 Talk | Applying Learning Techniques to Oracle Synthesis Doctoral Symposium Facundo MolinaUniversity of Río Cuarto | ||
16:57 - 17:15 Talk | Automated generation of client-specific backends utilizing existing microservices and architectural knowledge Doctoral Symposium Nils WieberInstitute for Enterprise Systems (InES), University of Mannheim |
Tue 22 Sep Times are displayed in time zone: (UTC) Coordinated Universal Time
18:20 - 19:20: LBR + DS Poster (2)Late Breaking Results / Doctoral Symposium at Koala Chair(s): Kevin LeeDeakin University | |||
18:20 - 18:25 Poster | Managing App Testing Device Clouds: Issues and Opportunities Late Breaking Results | ||
18:25 - 18:30 Talk | Towards transparency-encouraging partial software disclosure to enable trust in data usage Doctoral Symposium Christian SchindlerInstitute for Enterprise Systems, University of Mannheim | ||
18:30 - 18:35 Talk | Automated generation of client-specific backends utilizing existing microservices and architectural knowledge Doctoral Symposium Nils WieberInstitute for Enterprise Systems (InES), University of Mannheim | ||
18:35 - 18:40 Talk | SAT-Based Arithmetic Support for Alloy Doctoral Symposium Cesar CornejoUniversity of Rio Cuarto and CONICET | ||
18:40 - 18:45 Talk | Applying Learning Techniques to Oracle Synthesis Doctoral Symposium Facundo MolinaUniversity of Río Cuarto |