%0 Journal Article %1 journals/tplp/MesnardPV15 %A Mesnard, Fred %A Payet, Étienne %A Vidal, Germán %D 2015 %J Theory Pract. Log. Program. %K %N 4-5 %P 711-725 %T Concolic testing in logic programming. %U http://dblp.uni-trier.de/db/journals/tplp/tplp15.html#MesnardPV15 %V 15

@article{journals/tplp/MesnardPV15, added-at = {2023-12-13T06:17:22.000+0100}, author = {Mesnard, Fred and Payet, Étienne and Vidal, Germán}, biburl = {https://www.bibsonomy.org/bibtex/296c119d7b71e1af5805715549e7c9ca4/admin}, ee = {https://doi.org/10.1017/S1471068415000332}, interhash = {ac2d88b35626d82edf14322810cf30ce}, intrahash = {96c119d7b71e1af5805715549e7c9ca4}, journal = {Theory Pract. Log. Program.}, keywords = {}, number = {4-5}, pages = {711-725}, timestamp = {2023-12-13T06:17:22.000+0100}, title = {Concolic testing in logic programming.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp15.html#MesnardPV15}, volume = 15, year = 2015 }