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 | 120 | 2014 |
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 | 27 | 2016 |
A strategy for addressing ambiguity in regulatory requirements AK Massey, RL Rutledge, AI Antón, JD Hemmings, PP Swire Georgia Institute of Technology, 2015 | 16 | 2015 |
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 | 11 | 2019 |
Defining the internet of devices: Privacy and security implications RL Rutledge, AK Massey, AI Antón, P Swire Georgia Institute of Technology, 2014 | 8 | 2014 |
Paper or pixel: assessing reading performance across multiple mediums J Lartigue, R Rutledge, A Rice EdMedia+ Innovate Learning, 1045-1052, 2013 | 6 | 2013 |
Pg-klee: Trading soundness for coverage R Rutledge, A Orso Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 4 | 2020 |
Formal specification-driven development R Rutledge, S Duggins, D Lo, F Tsui Proceedings of the International Conference on Software Engineering Research …, 2014 | 3 | 2014 |
Automating Differential Testing with Overapproximate Symbolic Execution R Rutledge, A Orso 2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022 | 2 | 2022 |
Formal specification-driven development R Rutledge Southern Polytechnic State University, 2013 | 1 | 2013 |
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 |