@inproceedings{conf/icst/KaminskiA09,
  added-at = {2014-08-05T00:00:00.000+0200},
  author = {Kaminski, Garrett Kent and Ammann, Paul},
  biburl = {http://www.bibsonomy.org/bibtex/207dfff43c357e7123dcddf9cf5801360/dblp},
  booktitle = {ICST},
  crossref = {conf/icst/2009},
  ee = {http://doi.ieeecomputersociety.org/10.1109/ICST.2009.14},
  interhash = {1868b19a224379f879ffb7836c784ae4},
  intrahash = {07dfff43c357e7123dcddf9cf5801360},
  isbn = {978-0-7695-3601-9},
  keywords = {dblp},
  pages = {356-365},
  publisher = {IEEE Computer Society},
  timestamp = {2015-06-19T17:49:03.000+0200},
  title = {Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection.},
  url = {http://dblp.uni-trier.de/db/conf/icst/icst2009.html#KaminskiA09},
  year = 2009
}

{"_id":"bQrf3KGmkjSFi5mM8","bibbaseid":"kaminski-ammann-usinglogiccriterionfeasibilitytoreducetestsetsizewhileguaranteeingfaultdetection-2009","downloads":0,"creationDate":"2016-04-12T13:16:32.472Z","title":"Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection.","author_short":["Kaminski, G. K.","Ammann, P."],"year":2009,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/kaminski?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2014-08-05T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Garrett","Kent"],"suffixes":[]},{"propositions":[],"lastnames":["Ammann"],"firstnames":["Paul"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/207dfff43c357e7123dcddf9cf5801360/dblp","booktitle":"ICST","crossref":"conf/icst/2009","ee":"http://doi.ieeecomputersociety.org/10.1109/ICST.2009.14","interhash":"1868b19a224379f879ffb7836c784ae4","intrahash":"07dfff43c357e7123dcddf9cf5801360","isbn":"978-0-7695-3601-9","keywords":"dblp","pages":"356-365","publisher":"IEEE Computer Society","timestamp":"2015-06-19T17:49:03.000+0200","title":"Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection.","url":"http://dblp.uni-trier.de/db/conf/icst/icst2009.html#KaminskiA09","year":"2009","bibtex":"@inproceedings{conf/icst/KaminskiA09,\n added-at = {2014-08-05T00:00:00.000+0200},\n author = {Kaminski, Garrett Kent and Ammann, Paul},\n biburl = {http://www.bibsonomy.org/bibtex/207dfff43c357e7123dcddf9cf5801360/dblp},\n booktitle = {ICST},\n crossref = {conf/icst/2009},\n ee = {http://doi.ieeecomputersociety.org/10.1109/ICST.2009.14},\n interhash = {1868b19a224379f879ffb7836c784ae4},\n intrahash = {07dfff43c357e7123dcddf9cf5801360},\n isbn = {978-0-7695-3601-9},\n keywords = {dblp},\n pages = {356-365},\n publisher = {IEEE Computer Society},\n timestamp = {2015-06-19T17:49:03.000+0200},\n title = {Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection.},\n url = {http://dblp.uni-trier.de/db/conf/icst/icst2009.html#KaminskiA09},\n year = 2009\n}\n\n","author_short":["Kaminski, G. K.","Ammann, P."],"key":"conf/icst/KaminskiA09","id":"conf/icst/KaminskiA09","bibbaseid":"kaminski-ammann-usinglogiccriterionfeasibilitytoreducetestsetsizewhileguaranteeingfaultdetection-2009","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/ICST.2009.14","Paper":"http://dblp.uni-trier.de/db/conf/icst/icst2009.html#KaminskiA09"},"keyword":["dblp"],"downloads":0},"search_terms":["using","logic","criterion","feasibility","reduce","test","set","size","guaranteeing","fault","detection","kaminski","ammann"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}