Concolic execution for RPA testing.

Ciprian Paduraru, Marina Cernat, Adelina-Nicoleta Staicu

Browse the full ICECCS paper archive.