ASE 2024
Sun 27 October - Fri 1 November 2024 Sacramento, California, United States
Mon 28 Oct 2024 10:30 - 10:40 at Carr - RENE Track Session

Logical specifications for behavioural models are crucial for the formal analysis of complex system designs. The automation of obtaining such a specification is essential particularly for promoting logical and deductive methods in software development. This article replicates earlier methods for automatically generating logical specifications equivalent to behavioural models, while also extending the approach to include workflow mining processes. Various and effective interactions with existing theorem provers are also proposed. We conducted straightforward, yet comprehensive, experiments covering multiple stages, which include workflow extraction, automatic logical specification generation, and theorem prover based analysis and the evaluation of these specifications.

Mon 28 Oct

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00
RENE Track Session[Workshop] RENE at Carr
10:30
10m
Talk
Automatic Generation of Logical Specifications for Behavioural Models
[Workshop] RENE
Radoslaw Klimek AGH University of Krakow, Julia Witek AGH University of Krakow
10:40
20m
Talk
Group Discussion
[Workshop] RENE

11:00
20m
Talk
MorphQ++: A Reproducibility Study of Metamorphic Testing on Quantum Compilers
[Workshop] RENE
Linsey Kitt Iowa State University, Myra Cohen Iowa State University
11:20
20m
Day opening
RENE Track Opening Session
[Workshop] RENE

11:40
20m
Talk
Taxonomy of Security-related Issues in Android Apps: An Empirical Study
[Workshop] RENE
Teerath Das University of Jyväskylä, Adam Ali Mohammad Ali JInnah University, Tommi Mikkonen University of Jyvaskyla