Richard Rutledge

According to our database, Richard Rutledge authored at least 6 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

On The Use of Over-Approximate Analysis in Support of Software Development and Testing.

Richard Rutledge

PhD thesis, 2023

2022

Automating Differential Testing with Overapproximate Symbolic Execution.

Richard Rutledge, Alessandro Orso

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

2020

PG-KLEE: trading soundness for coverage.

Richard Rutledge, Alessandro Orso

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019

Zero-overhead path prediction with progressive symbolic execution.

Richard Rutledge, Sunjae Park, Haider Adnan Khan, Alessandro Orso, Milos Prvulovic, Alenka G. Zajic

Proceedings of the 41st International Conference on Software Engineering, 2019

2016

Privacy Impacts of IoT Devices: A SmartTV Case Study.

Richard Rutledge, Aaron K. Massey, Annie I. Antón

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

2014

Identifying and classifying ambiguity for regulatory requirements.

Aaron K. Massey, Richard Rutledge, Annie I. Antón, Peter P. Swire

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014