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.uni-trier.de/rec/journals/corr/abs-2304-14768.nt
. . . . . "Antonia Bertolino et al.: Cross-coverage testing of functionally equivalent programs. (2023)" . . _:ID_f15124d4b56182da53d51d2efa2d1bdb . _:ID_f15124d4b56182da53d51d2efa2d1bdb . _:ID_f15124d4b56182da53d51d2efa2d1bdb . _:ID_f15124d4b56182da53d51d2efa2d1bdb . _:ID_f15124d4b56182da53d51d2efa2d1bdb "journals/corr/abs-2304-14768" . _:ID_e9cc79cb706a46576c0fd6a5c496a9d2 . _:ID_e9cc79cb706a46576c0fd6a5c496a9d2 . _:ID_e9cc79cb706a46576c0fd6a5c496a9d2 . _:ID_e9cc79cb706a46576c0fd6a5c496a9d2 . _:ID_e9cc79cb706a46576c0fd6a5c496a9d2 "10.48550/ARXIV.2304.14768" . "Cross-coverage testing of functionally equivalent programs." . . . . . . . . . . "4"^^ . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_1 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_1 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_1 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_1 "Antonia Bertolino" . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_1 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_1 "1"^^ . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_1 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_2 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_2 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_2 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_2 "Guglielmo De Angelis" . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_2 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_2 "2"^^ . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_2 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_3 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_3 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_3 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_3 "Felicita Di Giandomenico" . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_3 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_3 "3"^^ . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_3 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_4 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_4 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_4 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_4 "Francesca Lonetti" . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_4 . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_4 "4"^^ . _:Sig_de3343b1a9f51e1e40b73c0beec0b71f_4 . . . . . "CoRR" . "CoRR" . "abs/2304.14768" . "2023"^^ . "provenance information for RDF data of dblp record 'journals/corr/abs-2304-14768'" . . . . "2023-05-04T15:47:42+0200" .