{"id":"https://openalex.org/W2286452981","doi":"https://doi.org/10.1109/tc.2015.2479628","title":"Boolean and Pseudo-Boolean Test Generation for Feedback Bridging Faults","display_name":"Boolean and Pseudo-Boolean Test Generation for Feedback Bridging Faults","publication_year":2015,"publication_date":"2015-09-18","ids":{"openalex":"https://openalex.org/W2286452981","doi":"https://doi.org/10.1109/tc.2015.2479628","mag":"2286452981"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2015.2479628","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2015.2479628","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/11392/2341290","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090163630","display_name":"M. Favalli","orcid":"https://orcid.org/0000-0001-7374-2871"},"institutions":[{"id":"https://openalex.org/I201324441","display_name":"University of Ferrara","ror":"https://ror.org/041zkgm14","country_code":"IT","type":"education","lineage":["https://openalex.org/I201324441"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Michele Favalli","raw_affiliation_strings":["ENDIF Department of the University of Ferrara, Ferrara, Fe, Italy"],"affiliations":[{"raw_affiliation_string":"ENDIF Department of the University of Ferrara, Ferrara, Fe, Italy","institution_ids":["https://openalex.org/I201324441"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089037660","display_name":"Marcello Dalpasso","orcid":"https://orcid.org/0000-0002-9242-3435"},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marcello Dalpasso","raw_affiliation_strings":["DEI Department of the University of Padua, Padova, Pd, Italy"],"affiliations":[{"raw_affiliation_string":"DEI Department of the University of Padua, Padova, Pd, Italy","institution_ids":["https://openalex.org/I138689650"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5090163630"],"corresponding_institution_ids":["https://openalex.org/I201324441"],"apc_list":null,"apc_paid":null,"fwci":0.6637,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.72331326,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"65","issue":"3","first_page":"706","last_page":"715"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.7941650748252869},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.6735559701919556},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6113337278366089},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.5843374133110046},{"id":"https://openalex.org/keywords/circuit-minimization-for-boolean-functions","display_name":"Circuit minimization for Boolean functions","score":0.5601145029067993},{"id":"https://openalex.org/keywords/automatic-test-pattern-generation","display_name":"Automatic test pattern generation","score":0.46619147062301636},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.4539106786251068},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4319164454936981},{"id":"https://openalex.org/keywords/combinational-logic","display_name":"Combinational logic","score":0.4200570285320282},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3388074040412903},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.3162500858306885},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2471320927143097},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.18397417664527893},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.09696343541145325},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09048938751220703}],"concepts":[{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.7941650748252869},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.6735559701919556},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6113337278366089},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.5843374133110046},{"id":"https://openalex.org/C94992772","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Circuit minimization for Boolean functions","level":4,"score":0.5601145029067993},{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.46619147062301636},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4539106786251068},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4319164454936981},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.4200570285320282},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3388074040412903},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.3162500858306885},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2471320927143097},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.18397417664527893},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.09696343541145325},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09048938751220703},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tc.2015.2479628","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2015.2479628","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},{"id":"pmh:oai:iris.unife.it:11392/2341290","is_oa":true,"landing_page_url":"http://hdl.handle.net/11392/2341290","pdf_url":null,"source":{"id":"https://openalex.org/S4306400369","display_name":"Institutional Research Information System University of Ferrara (University of Ferrara)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I201324441","host_organization_name":"University of Ferrara","host_organization_lineage":["https://openalex.org/I201324441"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:sfera.unife.it:11392/2341290","is_oa":true,"landing_page_url":"https://ieeexplore.ieee.org/document/7271034","pdf_url":null,"source":{"id":"https://openalex.org/S4306400369","display_name":"Institutional Research Information System University of Ferrara (University of Ferrara)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I201324441","host_organization_name":"University of Ferrara","host_organization_lineage":["https://openalex.org/I201324441"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:www.research.unipd.it:11577/3196960","is_oa":false,"landing_page_url":"http://hdl.handle.net/11577/3196960","pdf_url":null,"source":{"id":"https://openalex.org/S4306402547","display_name":"Padua Research Archive (University of Padova)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I138689650","host_organization_name":"University of Padua","host_organization_lineage":["https://openalex.org/I138689650"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:iris.unife.it:11392/2341290","is_oa":true,"landing_page_url":"http://hdl.handle.net/11392/2341290","pdf_url":null,"source":{"id":"https://openalex.org/S4306400369","display_name":"Institutional Research Information System University of Ferrara (University of Ferrara)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I201324441","host_organization_name":"University of Ferrara","host_organization_lineage":["https://openalex.org/I201324441"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W32648697","https://openalex.org/W1151204281","https://openalex.org/W1518705996","https://openalex.org/W1530625153","https://openalex.org/W1578489451","https://openalex.org/W1979502538","https://openalex.org/W1981303856","https://openalex.org/W1996808256","https://openalex.org/W2029936968","https://openalex.org/W2033908843","https://openalex.org/W2093474179","https://openalex.org/W2097075046","https://openalex.org/W2098112833","https://openalex.org/W2112247989","https://openalex.org/W2114024801","https://openalex.org/W2116758077","https://openalex.org/W2117149037","https://openalex.org/W2118603045","https://openalex.org/W2120000030","https://openalex.org/W2124618076","https://openalex.org/W2126693329","https://openalex.org/W2135018455","https://openalex.org/W2135613306","https://openalex.org/W2141354776","https://openalex.org/W2147964671","https://openalex.org/W2152587812","https://openalex.org/W2160444875","https://openalex.org/W2171908682","https://openalex.org/W2915727408","https://openalex.org/W4206807714","https://openalex.org/W4213132743","https://openalex.org/W4234501851","https://openalex.org/W4247981882","https://openalex.org/W6673776565","https://openalex.org/W6678797189","https://openalex.org/W6680996670"],"related_works":["https://openalex.org/W2018822765","https://openalex.org/W2126951255","https://openalex.org/W4377865033","https://openalex.org/W2136912537","https://openalex.org/W2149693580","https://openalex.org/W1976822807","https://openalex.org/W2077017336","https://openalex.org/W4248162147","https://openalex.org/W1551658376","https://openalex.org/W2063425181"],"abstract_inverted_index":{"Feedback":[0],"bridging":[1],"faults":[2],"may":[3,22],"give":[4],"rise":[5],"to":[6,45],"oscillations":[7],"within":[8],"integrated":[9],"circuits.":[10],"This":[11],"work":[12],"mainly":[13],"investigates":[14],"the":[15,28,38,46],"propagation":[16],"of":[17,37,48],"oscillations,":[18],"a":[19,24,34],"behavior":[20],"that":[21],"have":[23],"relevant":[25],"impact":[26],"on":[27],"fault":[29],"detection.":[30],"We":[31],"propose":[32],"both":[33],"logic-level":[35],"model":[36],"faulty":[39],"circuit":[40],"and":[41],"two":[42],"techniques":[43],"aiming":[44],"generation":[47],"high-quality":[49],"test":[50],"sequences.":[51]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":2}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}