@article{journals/scp/MargoorK15,
  added-at = {2015-01-06T00:00:00.000+0100},
  author = {Margoor, Amogh and Komondoor, Raghavan},
  biburl = {http://www.bibsonomy.org/bibtex/242714814e8d6de9a0c63d4ee477c85c5/dblp},
  ee = {http://dx.doi.org/10.1016/j.scico.2014.09.006},
  interhash = {d44db047905bb8adfb652129ea48bb56},
  intrahash = {42714814e8d6de9a0c63d4ee477c85c5},
  journal = {Sci. Comput. Program.},
  keywords = {dblp},
  pages = {645-679},
  timestamp = {2015-06-17T22:32:11.000+0200},
  title = {Two techniques to improve the precision of a demand-driven null-dereference verification approach.},
  url = {http://dblp.uni-trier.de/db/journals/scp/scp98.html#MargoorK15},
  volume = 98,
  year = 2015
}

{"_id":"hsnXGmdPNAFgwte6r","bibbaseid":"margoor-komondoor-twotechniquestoimprovetheprecisionofademanddrivennulldereferenceverificationapproach-2015","downloads":0,"creationDate":"2016-05-04T01:20:27.205Z","title":"Two techniques to improve the precision of a demand-driven null-dereference verification approach.","author_short":["Margoor, A.","Komondoor, R."],"year":2015,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Amogh?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2015-01-06T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Margoor"],"firstnames":["Amogh"],"suffixes":[]},{"propositions":[],"lastnames":["Komondoor"],"firstnames":["Raghavan"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/242714814e8d6de9a0c63d4ee477c85c5/dblp","ee":"http://dx.doi.org/10.1016/j.scico.2014.09.006","interhash":"d44db047905bb8adfb652129ea48bb56","intrahash":"42714814e8d6de9a0c63d4ee477c85c5","journal":"Sci. Comput. Program.","keywords":"dblp","pages":"645-679","timestamp":"2015-06-17T22:32:11.000+0200","title":"Two techniques to improve the precision of a demand-driven null-dereference verification approach.","url":"http://dblp.uni-trier.de/db/journals/scp/scp98.html#MargoorK15","volume":"98","year":"2015","bibtex":"@article{journals/scp/MargoorK15,\n added-at = {2015-01-06T00:00:00.000+0100},\n author = {Margoor, Amogh and Komondoor, Raghavan},\n biburl = {http://www.bibsonomy.org/bibtex/242714814e8d6de9a0c63d4ee477c85c5/dblp},\n ee = {http://dx.doi.org/10.1016/j.scico.2014.09.006},\n interhash = {d44db047905bb8adfb652129ea48bb56},\n intrahash = {42714814e8d6de9a0c63d4ee477c85c5},\n journal = {Sci. Comput. Program.},\n keywords = {dblp},\n pages = {645-679},\n timestamp = {2015-06-17T22:32:11.000+0200},\n title = {Two techniques to improve the precision of a demand-driven null-dereference verification approach.},\n url = {http://dblp.uni-trier.de/db/journals/scp/scp98.html#MargoorK15},\n volume = 98,\n year = 2015\n}\n\n","author_short":["Margoor, A.","Komondoor, R."],"key":"journals/scp/MargoorK15","id":"journals/scp/MargoorK15","bibbaseid":"margoor-komondoor-twotechniquestoimprovetheprecisionofademanddrivennulldereferenceverificationapproach-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.scico.2014.09.006","Paper":"http://dblp.uni-trier.de/db/journals/scp/scp98.html#MargoorK15"},"keyword":["dblp"],"downloads":0},"search_terms":["two","techniques","improve","precision","demand","driven","null","dereference","verification","approach","margoor","komondoor"],"keywords":["dblp"],"authorIDs":[],"dataSources":["T9NHSY74qdsKZuKA5"]}