( en | de | ru )

 

Disambiguation of "Rutledge, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
Zero-overhead path prediction with progressive symbolic execution.

, , , , , and . ICSE, page 234-245. IEEE / ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Richard Janissen

Biomolecular based nano-manipulation with a combined atomic force microscope and single molecule fluorescence setup. Uni Düsseldorf, (2009)

Richard Freter

Richard Neveling

Richard Ciesielski

Richard Kliffmüller

 

Other publications of authors with the same name

Automating Differential Testing with Overapproximate Symbolic Execution., and . ICST, page 256-266. IEEE, (2022)Zero-overhead path prediction with progressive symbolic execution., , , , , and . ICSE, page 234-245. IEEE / ACM, (2019)Identifying and classifying ambiguity for regulatory requirements., , , and . RE, page 83-92. IEEE Computer Society, (2014)PG-KLEE: trading soundness for coverage., and . ICSE (Companion Volume), page 65-68. ACM, (2020)On The Use of Over-Approximate Analysis in Support of Software Development and Testing.. Georgia Institute of Technology, Atlanta, GA, USA, (2023)base-search.net (ftgeorgiatech:oai:smartech.gatech.edu:1853/70148).Privacy Impacts of IoT Devices: A SmartTV Case Study., , and . RE Workshops, page 261-270. IEEE Computer Society, (2016)