APSEC 2022
Tue 6 - Fri 9 December 2022
Toggle navigation
Attending
Virtual Conference: Online
Registration
Info
Sponsorship
Information for Participants
Information for presenters and session chairs
Program
APSEC Program
Your Program
Tue 6 Dec
Wed 7 Dec
Thu 8 Dec
Fri 9 Dec
Tracks
APSEC 2022
Keynotes
Tutorial
Panel
Technical Track
SEIP - Software Engineering in Practice
ERA - Early Research Achievements
EDU - Software Engineering Education
Posters
Workshops
Workshop Proposal
Organization
APSEC 2022 Committees
Organizing Committee
Student Volunteers
Track Committees
Technical Track
SEIP - Software Engineering in Practice
ERA - Early Research Achievements
EDU - Software Engineering Education
Contributors
People Index
Search
Series
Series
APSEC 2025
APSEC 2024
APSEC 2023
APSEC 2022
Sign in
Sign up
APSEC 2022
(
series
) /
Ke Ma
APSEC 2022 profile
conf.research.org general profile
ICSE 2024 profile
Registered user since Wed 1 Jun 2022
Name:
Ke Ma
Contributions
2022
APSEC
Optimal Refinement-based Array Constraint Solving for Symbolic Execution
Show activities from other conferences
Share
APSEC 2022-profile
View general profile
x
Mon 30 Dec 18:29