Reed M. Milewicz

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 2

Top Topics

Temporal Properties

Monte Carlo Tree Search

Software Quality

Top Venues

Comput. Sci. Eng.

ACM SIGSOFT Softw. Eng. Notes

Publications

Miranda Mundt, Reed M. Milewicz, Elaine M. Raybourn
In Their Shoes: Persona-Based Approaches to Software Quality Practice Incentivization. Comput. Sci. Eng. 24 (3) (2022)
Reed M. Milewicz, Simon Poulding
Scalable Parallel Model Checking via Monte-Carlo Tree Search. ACM SIGSOFT Softw. Eng. Notes 42 (4) (2017)