%0 Journal Article %1 journals/rcs/ItaC016 %A Ita, Guillermo De %A Contreras, Meliza %A Bello, Pedro %D 2016 %J Res. Comput. Sci. %K dblp %P 39-49 %T Applying an Incremental Satisfiability Algorithm to Automatic Test Pattern Generation. %U http://dblp.uni-trier.de/db/journals/rcs/rcs123.html#ItaC016 %V 123

@article{journals/rcs/ItaC016, added-at = {2023-09-08T00:00:00.000+0200}, author = {Ita, Guillermo De and Contreras, Meliza and Bello, Pedro}, biburl = {https://www.bibsonomy.org/bibtex/2a44caa7805be9e8e91ab3c9dbb2d3ca7/dblp}, ee = {https://rcs.cic.ipn.mx/2016_123/Applying%20an%20Incremental%20Satisfiability%20Algorithm%20to%20Automatic%20Test%20Pattern%20Generation.pdf}, interhash = {be0f5638695155336bdec1534c67dc34}, intrahash = {a44caa7805be9e8e91ab3c9dbb2d3ca7}, journal = {Res. Comput. Sci.}, keywords = {dblp}, pages = {39-49}, timestamp = {2024-04-08T15:25:34.000+0200}, title = {Applying an Incremental Satisfiability Algorithm to Automatic Test Pattern Generation.}, url = {http://dblp.uni-trier.de/db/journals/rcs/rcs123.html#ItaC016}, volume = 123, year = 2016 }