@inproceedings{conf/icst/KaminskiA09b,
  added-at = {2014-08-05T00:00:00.000+0200},
  author = {Kaminski, Garrett Kent and Ammann, Paul},
  biburl = {http://www.bibsonomy.org/bibtex/21839f462dfca845350a4c29be71c58e8/dblp},
  booktitle = {ICST Workshops},
  crossref = {conf/icst/2009w},
  ee = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2009.13},
  interhash = {cbf23dea5f175bc4ea345ed750d35aae},
  intrahash = {1839f462dfca845350a4c29be71c58e8},
  isbn = {978-0-7695-3671-2},
  keywords = {dblp},
  pages = {167-176},
  publisher = {IEEE Computer Society},
  timestamp = {2015-06-19T17:49:03.000+0200},
  title = {Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection.},
  url = {http://dblp.uni-trier.de/db/conf/icst/icstw2009.html#KaminskiA09b},
  year = 2009
}

{"_id":"3tS3nPez8S8c67Y3m","bibbaseid":"kaminski-ammann-usinglogiccriterionfeasibilitytoreducetestsetsizewhileguaranteeingdoublefaultdetection-2009","downloads":0,"creationDate":"2016-04-12T13:16:32.461Z","title":"Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double 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/21839f462dfca845350a4c29be71c58e8/dblp","booktitle":"ICST Workshops","crossref":"conf/icst/2009w","ee":"http://doi.ieeecomputersociety.org/10.1109/ICSTW.2009.13","interhash":"cbf23dea5f175bc4ea345ed750d35aae","intrahash":"1839f462dfca845350a4c29be71c58e8","isbn":"978-0-7695-3671-2","keywords":"dblp","pages":"167-176","publisher":"IEEE Computer Society","timestamp":"2015-06-19T17:49:03.000+0200","title":"Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection.","url":"http://dblp.uni-trier.de/db/conf/icst/icstw2009.html#KaminskiA09b","year":"2009","bibtex":"@inproceedings{conf/icst/KaminskiA09b,\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/21839f462dfca845350a4c29be71c58e8/dblp},\n booktitle = {ICST Workshops},\n crossref = {conf/icst/2009w},\n ee = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2009.13},\n interhash = {cbf23dea5f175bc4ea345ed750d35aae},\n intrahash = {1839f462dfca845350a4c29be71c58e8},\n isbn = {978-0-7695-3671-2},\n keywords = {dblp},\n pages = {167-176},\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 Double Fault Detection.},\n url = {http://dblp.uni-trier.de/db/conf/icst/icstw2009.html#KaminskiA09b},\n year = 2009\n}\n\n","author_short":["Kaminski, G. K.","Ammann, P."],"key":"conf/icst/KaminskiA09b","id":"conf/icst/KaminskiA09b","bibbaseid":"kaminski-ammann-usinglogiccriterionfeasibilitytoreducetestsetsizewhileguaranteeingdoublefaultdetection-2009","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/ICSTW.2009.13","Paper":"http://dblp.uni-trier.de/db/conf/icst/icstw2009.html#KaminskiA09b"},"keyword":["dblp"],"downloads":0},"search_terms":["using","logic","criterion","feasibility","reduce","test","set","size","guaranteeing","double","fault","detection","kaminski","ammann"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}