ICST 2024
Mon 27 - Fri 31 May 2024
Canada
Toggle navigation
Attending
The Area: North York and the City of Toronto
Venue: Second Student Centre, York University
Hotels: Toronto & Vaughan
Social
Equity, Diversity and Inclusion Plan
Code of Conduct
Registration
Student Volunteers
Visa Information
Guidelines for Creating Presentations
Wifi
Banquet, how to get there and back
Sponsorship Opportunities
Program
ICST Program
Your Program
Mon 27 May
Tue 28 May
Wed 29 May
Thu 30 May
Fri 31 May
Tracks
ICST 2024
Doctoral Symposium
Industry
Journal-First Papers
Keynotes
Most Influential Paper
Posters
Research Papers
Testing Tools and Demonstration
Workshops
Workshops
A-MOST
AIST
CCIW
ITEQS
IWCT
InSTA
MODAL
Mutation
NEXTA
TestADS
TestEd
Organization
ICST 2024 Committees
Organizing Committee
Steering Committee
Student Volunteers
Track Committees
Doctoral Symposium
Program Committee
Panel
Industry
Journal-First Papers
Posters
Research Papers
Testing Tools and Demonstration
Workshops
Contributors
People Index
Workshops
A-MOST
Organizing Committee
Program Committee
AIST
Organizing Committee
Program Committee
Steering Committee
CCIW
Organizing Committee
ITEQS
Organizing Committee
Program Committee
IWCT
Program Committee
Steering Committee
CT Competition Committee
InSTA
Organizing Committee
Program Committee
MODAL
Organizing Committee
Mutation
Organising Committee
Program Committee
NEXTA
Organizing Committee
Program Committee
TestADS
Organizing Committee
Program Committee
TestEd
Program Committee
Search
Series
Series
ICST 2025
ICST 2024
ICST 2023
ICST 2022
ICST 2021
ICST 2020
Sign in
Sign up
ICST 2024
(
series
) /
Giovanni Denaro
ICST 2024 profile
conf.research.org general profile
* ICSE 2018 * profile
ASE 2020 profile
ESEC/FSE 2022 profile
ESEC/FSE 2023 profile
FSE 2024 profile
ICSE 2021 profile
ICSE 2023 profile
ICSE 2024 profile
ICSE 2025 profile
ISSTA 2017 profile
‹Programming› 2019 profile
Registered user since Wed 23 May 2018
Name:
Giovanni Denaro
Affiliation:
University of Milano - Bicocca
Contributions
2024
ICST
Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution
Show activities from other conferences
Share
ICST 2024-profile
View general profile
x
Fri 22 Nov 17:53