Stephen McCamant -

Not registered as user yet

Name:Stephen McCamant

Affiliation:University of Minnesota, USA

Personal website: http://www-users.cs.umn.edu/~mccamant/

Contributions

2025

CGO

Committee Member in Program Committee within the Main Conference-track

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

PLDI

Committee Member in External Review Committee

2016

PLDI

2015

PLAS

Committee Member in Program Committee within the PLAS-track