Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia
ICSE 2023 (series) / DS - Doctoral Symposium /

Learning Test Input Constraints from Branch Conditions

ICSE 2023 DS - Doctoral Symposium
Tue 16 May 2023 17:30 - 17:37 at Meeting Room 101 - Posters and clossing

Tue 16 May

Displayed time zone: Hobart change

15:45 - 18:00
Posters and clossingDS - Doctoral Symposium at Meeting Room 101
15:45
7m
Poster
Towards Automated Embedded Systems Programming
DS - Doctoral Symposium
Imam Nur Bani Yusuf Singapore Management University, Singapore
15:52
7m
Poster
Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation
DS - Doctoral Symposium
Haoxin Tu
16:00
7m
Poster
Automating Code Generation for MDE using Machine Learning
DS - Doctoral Symposium

16:07
7m
Poster
Assessing Cognitive Load in Software Development with Wearable Sensors
DS - Doctoral Symposium

16:15
7m
Poster
A Framework to Communicate Software Engineering Data Effectively with Dashboards
DS - Doctoral Symposium
Alessandra Maciel Paz Milani
16:22
7m
Poster
Complementing secure code review with automated program analysis
DS - Doctoral Symposium

16:30
7m
Poster
Domain Specific Languages for Optimisation Modelling
DS - Doctoral Symposium

16:37
7m
Poster
Evaluation of Stakeholder Mapping and Sustainability Personas Towards Sustainable Software Development
DS - Doctoral Symposium
Bimpe Ayoola Dalhousie University
16:45
7m
Poster
Evolutionary Computation and Reinforcement Learning for Cyber-physical System Design
DS - Doctoral Symposium
Chengjie Lu Simula Research Laboratory and University of Oslo
16:52
7m
Poster
From Input to Failure: Explaining Program Behavior via Cause-Effect Chains
DS - Doctoral Symposium
Marius Smytzek CISPA Helmholtz Center for Information Security
Pre-print
17:00
7m
Poster
Grammar-Based String Refinement Types
DS - Doctoral Symposium
Fengmin Zhu CISPA Helmholtz Center for Information Security
17:07
7m
Poster
Graph Solver as a Service
DS - Doctoral Symposium
Fozail Ahmad McGill University
17:15
7m
Poster
Incident Prevention Through Reliable Changes Deployment
DS - Doctoral Symposium
Eileen Kapel Delft University of Technology
17:22
7m
Poster
Learning Program Models from Generated Inputs
DS - Doctoral Symposium
Tural Mammadov CISPA Helmholtz Center for Information Security
17:30
7m
Poster
Learning Test Input Constraints from Branch Conditions
DS - Doctoral Symposium
Leon Bettscheider CISPA Helmholtz Center for Information Security
17:37
7m
Poster
Static Analysis for Android GDPR Compliance Assurance
DS - Doctoral Symposium
Mugdha Khedkar Heinz Nixdorf Institute at Paderborn University
Pre-print
17:45
7m
Poster
Towards an AI-centric Requirement Engineering Framework for Trustworthy AI
DS - Doctoral Symposium

17:52
7m
Day closing
Closing
DS - Doctoral Symposium
Didar Zowghi CSIRO's Data61, Denys Poshyvanyk College of William and Mary

Leon Bettscheider

CISPA Helmholtz Center for Information Security