ISSTA 2024
Mon 16 - Fri 20 September 2024
Vienna, Austria
co-located with
ISSTA/ECOOP 2024
Toggle navigation
Attending
Venue: Vienna University of Technology (TU Wien) - Campus Gusshaus
Reception: Vienna University of Technology (TU Wien) - Campus Karlsplatz
Banquet: Fuhrgassl-Huber
Travel Support
ISSTA/ECOOP 2024
Equity, Diversity and Inclusion
Code of Conduct
Visa Support Letters
Accomodation
Registration
Program
ISSTA Program
Your Program
ISSTA/ECOOP 2024
Schedule Overview
Mon 16 Sep
Tue 17 Sep
Wed 18 Sep
Thu 19 Sep
Fri 20 Sep
Tracks
ISSTA 2024
Technical Papers
Artifact Evaluation
Keynotes
ISSTA/ECOOP 2024
Diversity
Doctoral Symposium
Sponsorship
Student Volunteers
Tool Demonstrations
Workshops
Organization
ISSTA 2024 Committees
Organizing Committee
Track Committees
Technical Papers
Artifact Evaluation
ISSTA/ECOOP
Doctoral Symposium
Sponsorship
Student Volunteers
Tool Demonstrations
Workshops
Contributors
People Index
Search
Series
Series
ISSTA 2025
ISSTA 2024
ISSTA 2023
ISSTA 2022
ISSTA 2021
ISSTA 2020
ISSTA 2019
ISSTA 2018
ISSTA 2017
Sign in
Sign up
ISSTA/ECOOP 2024
(
series
) /
ISSTA 2024
(
series
) /
Caroline Cronjäger
ISSTA/ECOOP 2024 profile
conf.research.org general profile
ECOOP and ISSTA 2023 profile
Registered user since Tue 16 May 2023
Name:
Caroline Cronjäger
Affiliation:
Ruhr-Universität Bochum
Contributions
2024
ECOOP
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
Show activities from other conferences
Share
ISSTA/ECOOP 2024-profile
View general profile
x
Sat 23 Nov 08:55