{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T11:33:12Z","timestamp":1648553592507},"reference-count":32,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Architecture"],"published-print":{"date-parts":[[1997,10]]},"DOI":"10.1016\/s1383-7621(97)00024-6","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T08:47:59Z","timestamp":1027586879000},"page":"3-21","source":"Crossref","is-referenced-by-count":2,"title":["Software methodologies in VHDL code analysis"],"prefix":"10.1016","volume":"44","author":[{"given":"Cristiana","family":"Bolchini","sequence":"first","affiliation":[]},{"given":"Luciano","family":"Baresi","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"10","key":"10.1016\/S1383-7621(97)00024-6_bib1","doi-asserted-by":"crossref","first-page":"1483","DOI":"10.1109\/32.6194","article-title":"An applicable family of data flow testing criteria","volume":"14","author":"Frankl","year":"1988","journal-title":"IEEE Trans. Software Engrg."},{"issue":"2","key":"10.1016\/S1383-7621(97)00024-6_bib2","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TSE.1975.6312836","article-title":"Toward a theory of test data selection","volume":"SE-1","author":"Goodenough","year":"1975","journal-title":"IEEE Trans. Software Engrg."},{"issue":"2","key":"10.1016\/S1383-7621(97)00024-6_bib3","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/210134.210180","article-title":"Graph models for reachability analysis of concurrent programs","volume":"4","author":"Pezz\u00e8","year":"1995","journal-title":"ACM Trans. Software Engrg. Methodol."},{"key":"10.1016\/S1383-7621(97)00024-6_bib4","series-title":"Proceedings of Euro-VHDL","first-page":"586","article-title":"Static analysis of VHDL model evaluation","author":"Balboni","year":"1994"},{"key":"10.1016\/S1383-7621(97)00024-6_bib5","series-title":"Proceedings of the 30th Design Automation Conference","article-title":"Increasing design quality, engineering productivity through design reuse","author":"Carlson","year":"1993"},{"key":"10.1016\/S1383-7621(97)00024-6_bib6","series-title":"Proceedings of Euro-VHDL","article-title":"Writing high performance VHDL models","author":"Levia","year":"1991"},{"key":"10.1016\/S1383-7621(97)00024-6_bib7","series-title":"Proceedings of EURO-VHDL'94","first-page":"644","article-title":"Testability analysis, improvement from VHDL behavioral specifications","author":"Gu","year":"1994"},{"key":"10.1016\/S1383-7621(97)00024-6_bib8","article-title":"Synopsys","year":"1994","journal-title":"Synopsys User's Manual"},{"key":"10.1016\/S1383-7621(97)00024-6_bib9","unstructured":"Veda, VHDL Cover User's Manual."},{"issue":"4","key":"10.1016\/S1383-7621(97)00024-6_bib10","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0096-0551(89)90023-4","article-title":"Symbolic execution of concurrent systems using Petri nets","volume":"14","author":"Ghezzi","year":"1989","journal-title":"Computer Languages"},{"key":"10.1016\/S1383-7621(97)00024-6_bib11","series-title":"Modern Operating Systems","author":"Tanenbaum","year":"1992"},{"key":"10.1016\/S1383-7621(97)00024-6_bib12","article-title":"Mentor Graphics","year":"1993","journal-title":"Autologic VHDL Reference Manual"},{"key":"10.1016\/S1383-7621(97)00024-6_bib13","series-title":"Co-operating Sequential Processes","author":"Dijkstra","year":"1965"},{"issue":"3","key":"10.1016\/S1383-7621(97)00024-6_bib14","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1109\/32.489078","article-title":"Evaluating deadlock detection methods for concurrent software","volume":"22","author":"Corbett","year":"1996","journal-title":"IEEE Trans. Software Engrg."},{"issue":"8","key":"10.1016\/S1383-7621(97)00024-6_bib15","doi-asserted-by":"crossref","first-page":"829","DOI":"10.1109\/32.57622","article-title":"Starvation, critical race analyzers for Ada","volume":"16","author":"Karam","year":"1990","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/S1383-7621(97)00024-6_bib16","first-page":"25","article-title":"A Stubborn Attack on State Explosion","volume":"vol. 3","author":"Valmari","year":"1991","journal-title":"Computer Aided Verification '90"},{"issue":"3","key":"10.1016\/S1383-7621(97)00024-6_bib17","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/32.126769","article-title":"Structural testing of concurrent programs","volume":"18","author":"Taylor","year":"1992","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/S1383-7621(97)00024-6_bib18","series-title":"VHDL Designer's Reference","author":"Berg\u00e8","year":"1992"},{"key":"10.1016\/S1383-7621(97)00024-6_bib19","series-title":"Flow Analysis of Computer Programs","author":"Hecht","year":"1977"},{"key":"10.1016\/S1383-7621(97)00024-6_bib20","author":"LEDA S.A.","year":"1993","journal-title":"LEDA VHDL System \u2014 User's Manual"},{"key":"10.1016\/S1383-7621(97)00024-6_bib21","unstructured":"D.L. Perry, VHDL, McGraw-Hill, New York."},{"issue":"2","key":"10.1016\/S1383-7621(97)00024-6_bib22","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1109\/92.285743","article-title":"ALADIN: A multi-level testability analyzer for VLSI system design","volume":"2","author":"Bombana","year":"1994","journal-title":"IEEE Trans. VLSI Systems"},{"key":"10.1016\/S1383-7621(97)00024-6_bib23","series-title":"Functional Program Testing, Analysis","author":"Howden","year":"1987"},{"key":"10.1016\/S1383-7621(97)00024-6_bib24","unstructured":"Synopsys, VSS User's Manual."},{"key":"10.1016\/S1383-7621(97)00024-6_bib25","unstructured":"Vantage, CodePerfect User's Manual."},{"issue":"2","key":"10.1016\/S1383-7621(97)00024-6_bib26","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF00133499","article-title":"On behavior fault modeling for digital designs","volume":"2","author":"Ghosh","year":"1991","journal-title":"J. Electronic Testing: Theory Appl."},{"issue":"1","key":"10.1016\/S1383-7621(97)00024-6_bib27","first-page":"55","article-title":"Behavioral testing of digital circuits","volume":"1","author":"Santucci","year":"1993","journal-title":"J. Microelectronic Systems Integration"},{"key":"10.1016\/S1383-7621(97)00024-6_bib28","series-title":"Proceedings of Euro-DAC","first-page":"175","article-title":"Hierarchical test generation for VHDL behavioral models","author":"Rao","year":"1993"},{"key":"10.1016\/S1383-7621(97)00024-6_bib29","article-title":"A VHDL description for a design for testability approach","author":"Bolchini","year":"1995"},{"issue":"3","key":"10.1016\/S1383-7621(97)00024-6_bib30","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/321592.321598","article-title":"Parsing of graph-representable pictures","volume":"17","author":"Shaw","year":"1970","journal-title":"J. ACM"},{"key":"10.1016\/S1383-7621(97)00024-6_bib31","article-title":"Program mutation: A new approach to program testing","author":"DeMillo","year":"1979"},{"key":"10.1016\/S1383-7621(97)00024-6_bib32","series-title":"Software Testing Techniques","author":"Beizer","year":"1990"}],"container-title":["Journal of Systems Architecture"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1383762197000246?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1383762197000246?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T02:27:31Z","timestamp":1556591251000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1383762197000246"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,10]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,10]]}},"alternative-id":["S1383762197000246"],"URL":"https:\/\/doi.org\/10.1016\/s1383-7621(97)00024-6","relation":{},"ISSN":["1383-7621"],"issn-type":[{"value":"1383-7621","type":"print"}],"subject":[],"published":{"date-parts":[[1997,10]]}}}