Write a Blog >>
ICST 2022
Mon 4 - Fri 8 April 2022
Toggle navigation
Attending
Virtual: Appendee
Equity, Diversity and Inclusion Plan
Code of Conduct
Registration
Student Volunteers
Sponsorship Opportunities
Program
Complete Program
Your Program
Filter by Day
Mon 4 Apr
Tue 5 Apr
Wed 6 Apr
Thu 7 Apr
Fri 8 Apr
Sat 9 Apr
Sun 10 Apr
Mon 11 Apr
Tue 12 Apr
Wed 13 Apr
Tracks
ICST 2022
Doctoral Symposium
Industry
Journal-First Papers
Keynotes
MIPs
Posters
Research Papers
Testing Tools
Tool Demos
Workshops
Workshops
A-MOST
AIST
INTUITESTBEDS
ITEQS
IWCT
InSTA
Mutation
NEXTA
Organization
ICST 2022 Committees
Organizing Committee
Steering Committee
Student Volunteers
Track Committees
Doctoral Symposium
Industry
Journal-First Papers
Posters
Research Papers
Program Committee Chairs
Program Committee
Testing Tools
Tool Demos
Workshops
Contributors
People Index
Workshops
A-MOST
Organizing Committee
Program Committee
AIST
Organizing Committee
Program Committee
INTUITESTBEDS
Organizing Committee
Program Committee
Steering Committee
ITEQS
Organizing Committee
Program Committee
IWCT
Program Chairs
Program Committee
Steering Committee
InSTA
Organizing Committee
Program Committee
Mutation
Organizing Committee
Program Committee
NEXTA
Organizing Committee
Program Committee
Search
Series
Series
ICST 2024
ICST 2023
ICST 2022
ICST 2021
ICST 2020
Sign in
Sign up
ICST 2022
(
series
) /
Hooman Asadian
ICST 2022 profile
conf.research.org general profile
Registered user since Fri 16 Apr 2021
Name:
Hooman Asadian
Country:
Sweden
Affiliation:
Uppsala University
Contributions
2022
ICST
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification
Show activities from other conferences
Share
ICST 2022-profile
View general profile
x
Tue 16 Apr 06:26