@inproceedings{conf/hase/HechtHW97,
  added-at = {2023-03-24T00:00:00.000+0100},
  author = {Hecht, Herbert and Hecht, Myron and Wallace, Dolores R.},
  biburl = {https://www.bibsonomy.org/bibtex/29b566a8905ba35a8aa14f666aa967ddd/dblp},
  booktitle = {HASE},
  crossref = {conf/hase/1997},
  ee = {https://doi.ieeecomputersociety.org/10.1109/HASE.1997.648060},
  interhash = {599ca37ccedac8ab6efeaef1d40c8961},
  intrahash = {9b566a8905ba35a8aa14f666aa967ddd},
  isbn = {0-8186-7971-9},
  keywords = {dblp},
  pages = {176-181},
  publisher = {IEEE Computer Society},
  timestamp = {2024-04-10T14:59:57.000+0200},
  title = {Toward More Effective Testing for High-Assurance Systems.},
  url = {http://dblp.uni-trier.de/db/conf/hase/hase1997.html#HechtHW97},
  year = 1997
}

{"_id":"azbyrWbLzEw3Z5FQt","bibbaseid":"hecht-hecht-wallace-towardmoreeffectivetestingforhighassurancesystems-1997","author_short":["Hecht, H.","Hecht, M.","Wallace, D. R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2023-03-24T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Hecht"],"firstnames":["Herbert"],"suffixes":[]},{"propositions":[],"lastnames":["Hecht"],"firstnames":["Myron"],"suffixes":[]},{"propositions":[],"lastnames":["Wallace"],"firstnames":["Dolores","R."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/29b566a8905ba35a8aa14f666aa967ddd/dblp","booktitle":"HASE","crossref":"conf/hase/1997","ee":"https://doi.ieeecomputersociety.org/10.1109/HASE.1997.648060","interhash":"599ca37ccedac8ab6efeaef1d40c8961","intrahash":"9b566a8905ba35a8aa14f666aa967ddd","isbn":"0-8186-7971-9","keywords":"dblp","pages":"176-181","publisher":"IEEE Computer Society","timestamp":"2024-04-10T14:59:57.000+0200","title":"Toward More Effective Testing for High-Assurance Systems.","url":"http://dblp.uni-trier.de/db/conf/hase/hase1997.html#HechtHW97","year":"1997","bibtex":"@inproceedings{conf/hase/HechtHW97,\n added-at = {2023-03-24T00:00:00.000+0100},\n author = {Hecht, Herbert and Hecht, Myron and Wallace, Dolores R.},\n biburl = {https://www.bibsonomy.org/bibtex/29b566a8905ba35a8aa14f666aa967ddd/dblp},\n booktitle = {HASE},\n crossref = {conf/hase/1997},\n ee = {https://doi.ieeecomputersociety.org/10.1109/HASE.1997.648060},\n interhash = {599ca37ccedac8ab6efeaef1d40c8961},\n intrahash = {9b566a8905ba35a8aa14f666aa967ddd},\n isbn = {0-8186-7971-9},\n keywords = {dblp},\n pages = {176-181},\n publisher = {IEEE Computer Society},\n timestamp = {2024-04-10T14:59:57.000+0200},\n title = {Toward More Effective Testing for High-Assurance Systems.},\n url = {http://dblp.uni-trier.de/db/conf/hase/hase1997.html#HechtHW97},\n year = 1997\n}\n\n","author_short":["Hecht, H.","Hecht, M.","Wallace, D. R."],"key":"conf/hase/HechtHW97","id":"conf/hase/HechtHW97","bibbaseid":"hecht-hecht-wallace-towardmoreeffectivetestingforhighassurancesystems-1997","role":"author","urls":{"Link":"https://doi.ieeecomputersociety.org/10.1109/HASE.1997.648060","Paper":"http://dblp.uni-trier.de/db/conf/hase/hase1997.html#HechtHW97"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/hecht?items=1000","dataSources":["6szf49XAu4e2fDAXo"],"keywords":["dblp"],"search_terms":["toward","more","effective","testing","high","assurance","systems","hecht","hecht","wallace"],"title":"Toward More Effective Testing for High-Assurance Systems.","year":1997}