%0 Journal Article %1 journals/sigsoft/BothaMVT16 %A Botha, Heila %A van der Merwe, Brink %A Visser, Willem %A Tkachuk, Oksana %D 2016 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 6 %P 1-5 %T StateComparator: Detecting Unbounded Variables Using JPF. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft41.html#BothaMVT16 %V 41

@article{journals/sigsoft/BothaMVT16, added-at = {2020-09-17T00:00:00.000+0200}, author = {Botha, Heila and van der Merwe, Brink and Visser, Willem and Tkachuk, Oksana}, biburl = {https://www.bibsonomy.org/bibtex/26f7edc7eab6f8a4e539a3a90cf2ac972/dblp}, ee = {https://doi.org/10.1145/3011286.3011299}, interhash = {4a9352ddab939f486f61a6bf81342b61}, intrahash = {6f7edc7eab6f8a4e539a3a90cf2ac972}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 6, pages = {1-5}, timestamp = {2020-09-18T11:39:19.000+0200}, title = {StateComparator: Detecting Unbounded Variables Using JPF.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft41.html#BothaMVT16}, volume = 41, year = 2016 }