Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stephen McCamant
conf.researchr.org general profile
ASE 2021 profile
ECOOP 2015 profile
ECOOP and ISSTA 2018 profile
ESEC/FSE 2018 profile
ESEC/FSE 2020 profile
ICSE 2020 profile
ICSE 2022 profile
ICSE 2023 profile
ISSTA 2017 profile
PLDI 2016 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
VEE 2018 profile
Not registered as user yet
Name:
Stephen McCamant
Affiliation:
University of Minnesota, USA
Personal website:
http://www-users.cs.umn.edu/~mccamant/
Contributions
2023
AST
Author of Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution within the AST 2023-track
2022
FormaliSE
Author of Counterexample-Guided Inductive Repair of Reactive Contracts within the FormaliSE 2022-track
2021
ASE
Author of Counterexample Guided Inductive Repair of Reactive Contracts within the Late Breaking Results-track
2020
ESEC/FSE
Author of Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java within the Research Papers-track
ICSE
Committee Member in Program Committee within the New Ideas and Emerging Results-track
2018
ESEC/FSE
Author of Contract Discovery from Black-Box Components within the WASPI-track
TAVCPSIOT
Committee Member in Program Committee within the TAV-CPS/IoT-track
VEE
Author of Fast PokeEMU: Scaling Generated Instruction Tests Using Aggregation and State Chaining within the Research Papers-track
2017
ISSTA
Author of Discovering Instructions for Robust Binary-Level Coverage Criteria within the TECPS-track
Author of Invited Talk: Symbolic Execution as a Flexible Tool for Binary Analysis within the TECPS-track
Session Chair of Session 3 (part of TECPS)
PLDI
Committee Member in External Review Committee
2016
PLDI
Session Chair of Down to the Metal I (part of Research Papers)
Committee Member in Program Committee
2015
PLAS
Committee Member in Program Committee within the PLAS-track
Share
x
Wed 6 Dec 08:58