id: 70279646
dt: a
an: 70279646
au: Griesmayer, Andreas; Aichernig, Bernhard K.; Johnsen, Einar Broch;
    Schlatte, Rudolf
ti: Dynamic symbolic execution for testing distributed objects
so: TAP, 105-120 (2009).
py: 2009
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-02949-3_9