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/sbqs/ElerED14.xml
Marcelo Medeiros Eler André Takeshi Endo Vinicius H. S. Durelli Covering User-Defined Data-flow Test Requirements Using Symbolic Execution. 16-30 2014 SBQS https://doi.org/10.5753/sbqs.2014.15241 conf/sbqs/2014 db/conf/sbqs/sbqs2014.html#ElerED14