iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/kbse/Nowack19.xml
Martin Nowack Fine-Grain Memory Object Representation in Symbolic Execution. 912-923 2019 ASE https://doi.org/10.1109/ASE.2019.00089 conf/kbse/2019 db/conf/kbse/ase2019.html#Nowack19