Follow
Richard Rutledge
Richard Rutledge
Verified email at gatech.edu - Homepage
Title
Cited by
Cited by
Year
Identifying and classifying ambiguity for regulatory requirements
AK Massey, RL Rutledge, AI Antón, PP Swire
2014 IEEE 22nd international requirements engineering conference (RE), 83-92, 2014
1172014
Privacy impacts of IoT devices: A SmartTV case study
RL Rutledge, AK Massey, AI Antón
2016 IEEE 24th International Requirements Engineering Conference Workshops …, 2016
272016
A strategy for addressing ambiguity in regulatory requirements
AK Massey, RL Rutledge, AI Antón, JD Hemmings, PP Swire
Georgia Institute of Technology, 2015
162015
Zero-overhead path prediction with progressive symbolic execution
R Rutledge, S Park, H Khan, A Orso, M Prvulovic, A Zajic
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
112019
Defining the internet of devices: Privacy and security implications
RL Rutledge, AK Massey, AI Antón, P Swire
Georgia Institute of Technology, 2014
82014
Paper or pixel: assessing reading performance across multiple mediums
J Lartigue, R Rutledge, A Rice
EdMedia+ Innovate Learning, 1045-1052, 2013
62013
Pg-klee: Trading soundness for coverage
R Rutledge, A Orso
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
32020
Formal specification-driven development
R Rutledge, S Duggins, D Lo, F Tsui
Proceedings of the International Conference on Software Engineering Research …, 2014
32014
Automating Differential Testing with Overapproximate Symbolic Execution
R Rutledge, A Orso
2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022
22022
Formal specification-driven development
R Rutledge
Southern Polytechnic State University, 2013
12013
ON THE USE OF OVER-APPROXIMATE ANALYSIS IN SUPPORT OF SOFTWARE DEVELOPMENT AND TESTING
R Rutledge
Georgia Institute of Technology, 2022
2022
Toward Automatic Test Synthesis for Performance Portable Programs.
K Teranishi, S Mukherjee, R Rutledge, S Pollard, N Evans, A Orso, ...
Sandia National Lab.(SNL-CA), Livermore, CA (United States), 2022
2022
Improving Floating Point Symbolic Execution Coverage with Fixed Point Approximations.
R Rutledge, K Teranishi, O Alessandro
Sandia National Lab.(SNL-NM), Albuquerque, NM (United States); Sandia …, 2022
2022
Clarifying the Internet of Things by Defining the Internet of Devices
RL RUTLEDGE, AK MASSEY, AI ANTÓN, P SWIRE
2010
The system can't perform the operation now. Try again later.
Articles 1–14