{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T15:53:52Z","timestamp":1730303632594,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006,10]]},"DOI":"10.1109\/vlsisoc.2006.313253","type":"proceedings-article","created":{"date-parts":[[2007,3,2]],"date-time":"2007-03-02T20:11:20Z","timestamp":1172866280000},"page":"314-319","source":"Crossref","is-referenced-by-count":1,"title":["Improving ATPG Gate-Level Fault Coverage by using Test Vectors generated from Behavioral HDL Descriptions"],"prefix":"10.1109","author":[{"given":"Margrit Reni","family":"Krug","sequence":"first","affiliation":[]},{"given":"Marcelo Soares","family":"Lubaszewski","sequence":"additional","affiliation":[]},{"given":"Marcelo De","family":"Souza Moraes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/123186.123396"},{"journal-title":"Techniques for sequential circuit automatic test generation","year":"1991","author":"niermann","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2002.1224448"},{"key":"ref13","first-page":"855","article-title":"From specification to hardware testing: a unified method","author":"hayek","year":"1996","journal-title":"Int Test Conference"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1998.743285"},{"key":"ref15","first-page":"199","article-title":"Software-based testing of sequential VHDL descriptions","author":"scholiv\u00e9","year":"2003","journal-title":"IEEE European Test Workshop"},{"journal-title":"ITC'99 Benchmark Circuits - Preliminary Results Panel at International Test Conference","first-page":"1112","year":"1999","key":"ref16"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"698","DOI":"10.1145\/196244.196619","article-title":"sequential circuit test generation in a genetic algorithm framework","author":"rudnick","year":"1994","journal-title":"31st Design Automation Conference"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.1998.655915"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DELTA.2002.994655"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"journal-title":"Software Engineering","year":"2000","author":"pressman","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2000.889572"},{"key":"ref5","first-page":"250","article-title":"Constrained mutation in C programs","author":"wong","year":"1994","journal-title":"Simpósio Brasileiro de Engenharia de Software"},{"key":"ref8","first-page":"442","article-title":"Symbolic functional vector generation for VHDL specifications","author":"ferradi","year":"1999","journal-title":"IEEE Design Automation and Test in Europe"},{"key":"ref7","first-page":"369","article-title":"A data flow fault coverage metric for validation of behavioral HDL descriptions","author":"zhang","year":"2000","journal-title":"International Conference on Computer Aided Design"},{"key":"ref2","article-title":"The Complete Guide to Software Testing","author":"hetzel","year":"1987","journal-title":"QED Information Sciences"},{"key":"ref1","first-page":"170","author":"myers","year":"1979","journal-title":"The Art of Software Testing"},{"journal-title":"High-level test generation using software testing metrics","year":"1995","author":"johnson","key":"ref9"},{"key":"ref20","article-title":"A software complexity measure","volume":"2","author":"mccabe","year":"1976","journal-title":"IEEE Trans on Software Engineering"},{"key":"ref21","first-page":"291","article-title":"Implications of the high-level design style in the testability: a case study","author":"angelo","year":"2005","journal-title":"IEEE Latin American Test Workshop"}],"event":{"name":"2006 IFIP International Conference on Very large Scale Integration","start":{"date-parts":[[2006,10,16]]},"location":"Nice","end":{"date-parts":[[2006,10,18]]}},"container-title":["2006 IFIP International Conference on Very Large Scale Integration"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4107581\/4107582\/04107649.pdf?arnumber=4107649","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,27]],"date-time":"2020-03-27T06:35:43Z","timestamp":1585290943000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4107649\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/vlsisoc.2006.313253","relation":{},"subject":[],"published":{"date-parts":[[2006,10]]}}}