RPA Testing Using Symbolic Execution.

Ciprian Paduraru, Marina Cernat, Adelina-Nicoleta Staicu

Browse the full ICSoft paper archive.