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.nt
. . . . "Marcelo Medeiros Eler et al.: Covering User-Defined Data-flow Test Requirements Using Symbolic Execution. (2014)" . . _:ID_fafeb429330ce02a48a8775766c46bab . _:ID_fafeb429330ce02a48a8775766c46bab . _:ID_fafeb429330ce02a48a8775766c46bab . _:ID_fafeb429330ce02a48a8775766c46bab . _:ID_fafeb429330ce02a48a8775766c46bab "conf/sbqs/ElerED14" . _:ID_9ce2a079110e0c273afe2874dc2570c4 . _:ID_9ce2a079110e0c273afe2874dc2570c4 . _:ID_9ce2a079110e0c273afe2874dc2570c4 . _:ID_9ce2a079110e0c273afe2874dc2570c4 . _:ID_9ce2a079110e0c273afe2874dc2570c4 "10.5753/SBQS.2014.15241" . "Covering User-Defined Data-flow Test Requirements Using Symbolic Execution." . . . . . . . . "3"^^ . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_1 . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_1 . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_1 . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_1 "Marcelo Medeiros Eler" . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_1 . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_1 "1"^^ . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_1 . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_2 . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_2 . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_2 . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_2 "Andr\u00E9 Takeshi Endo" . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_2 . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_2 "2"^^ . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_2 . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_3 . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_3 . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_3 . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_3 "Vinicius H. S. Durelli" . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_3 . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_3 "3"^^ . _:Sig_1172cbe682c6656e5f1c8f14b67df0ef_3 . . . . . "16-30" . "SBQS" . "SBQS" . "2014"^^ . "2014"^^ . . "provenance information for RDF data of dblp record 'conf/sbqs/ElerED14'" . . . . "2022-03-31T17:13:20+0200" .