{"id":"https://openalex.org/W1605970427","doi":"https://doi.org/10.1109/iccd.2004.1347923","title":"Quality improvement methods for system-level stimuli generation","display_name":"Quality improvement methods for system-level stimuli generation","publication_year":2004,"publication_date":"2004-11-08","ids":{"openalex":"https://openalex.org/W1605970427","doi":"https://doi.org/10.1109/iccd.2004.1347923","mag":"1605970427"},"language":"en","primary_location":{"id":"doi:10.1109/iccd.2004.1347923","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccd.2004.1347923","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004. Proceedings.","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023754604","display_name":"R. Emek","orcid":null},"institutions":[{"id":"https://openalex.org/I91203450","display_name":"University of Haifa","ror":"https://ror.org/02f009v59","country_code":"IL","type":"education","lineage":["https://openalex.org/I91203450"]},{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"R. Emek","raw_affiliation_strings":["IBM Research Laboratory in Haifa, Haifa University, Haifa, Israel","IBM Res. Labs, Haifa Univ., Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Laboratory in Haifa, Haifa University, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Res. Labs, Haifa Univ., Israel","institution_ids":["https://openalex.org/I91203450"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011629157","display_name":"Itai Jaeger","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]},{"id":"https://openalex.org/I91203450","display_name":"University of Haifa","ror":"https://ror.org/02f009v59","country_code":"IL","type":"education","lineage":["https://openalex.org/I91203450"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"I. Jaeger","raw_affiliation_strings":["IBM Research Laboratory in Haifa, Haifa University, Haifa, Israel","IBM Res. Labs, Haifa Univ., Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Laboratory in Haifa, Haifa University, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Res. Labs, Haifa Univ., Israel","institution_ids":["https://openalex.org/I91203450"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087402916","display_name":"Yoav Katz","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]},{"id":"https://openalex.org/I91203450","display_name":"University of Haifa","ror":"https://ror.org/02f009v59","country_code":"IL","type":"education","lineage":["https://openalex.org/I91203450"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Y. Katz","raw_affiliation_strings":["IBM Research Laboratory in Haifa, Haifa University, Haifa, Israel","IBM Res. Labs, Haifa Univ., Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Laboratory in Haifa, Haifa University, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Res. Labs, Haifa Univ., Israel","institution_ids":["https://openalex.org/I91203450"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109865748","display_name":"Y. Naveh","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]},{"id":"https://openalex.org/I91203450","display_name":"University of Haifa","ror":"https://ror.org/02f009v59","country_code":"IL","type":"education","lineage":["https://openalex.org/I91203450"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Y. Naveh","raw_affiliation_strings":["IBM Research Laboratory in Haifa, Haifa University, Haifa, Israel","IBM Res. Labs, Haifa Univ., Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Laboratory in Haifa, Haifa University, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Res. Labs, Haifa Univ., Israel","institution_ids":["https://openalex.org/I91203450"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5023754604"],"corresponding_institution_ids":["https://openalex.org/I4210167297","https://openalex.org/I91203450"],"apc_list":null,"apc_paid":null,"fwci":0.767,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.73593899,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"204","last_page":"206"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7968273162841797},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.5376999974250793},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5333452224731445},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.526253342628479},{"id":"https://openalex.org/keywords/system-testing","display_name":"System testing","score":0.4952928125858307},{"id":"https://openalex.org/keywords/integration-testing","display_name":"Integration testing","score":0.4164876639842987},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.41451969742774963},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.23368793725967407},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.14501988887786865},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12440565228462219}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7968273162841797},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.5376999974250793},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5333452224731445},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.526253342628479},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.4952928125858307},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.4164876639842987},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.41451969742774963},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.23368793725967407},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.14501988887786865},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12440565228462219},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccd.2004.1347923","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccd.2004.1347923","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004. Proceedings.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5699999928474426}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1566072248","https://openalex.org/W2008923158","https://openalex.org/W2102606870","https://openalex.org/W4243214410"],"related_works":["https://openalex.org/W1603792055","https://openalex.org/W1988901622","https://openalex.org/W2063289013","https://openalex.org/W2886756146","https://openalex.org/W2060646351","https://openalex.org/W2351251509","https://openalex.org/W133258754","https://openalex.org/W176978548","https://openalex.org/W2355360834","https://openalex.org/W2107935271"],"abstract_inverted_index":{"Functional":[0],"verification":[1],"of":[2,10,29,41,58],"systems":[3],"is":[4],"aimed":[5,36],"at":[6,37],"validating":[7],"the":[8,39,49,59],"integration":[9],"previously":[11],"verified":[12,60],"components.":[13],"It":[14],"deals":[15],"with":[16],"complex":[17],"designs,":[18],"and":[19,51],"invariably":[20],"suffers":[21],"from":[22],"scarce":[23],"resources.":[24],"We":[25],"present":[26],"a":[27],"set":[28],"methods,":[30],"collectively":[31],"known":[32],"as":[33],"testing":[34],"knowledge,":[35],"increasing":[38],"quality":[40],"automatically":[42],"generated":[43],"system-level":[44],"test-cases.":[45],"Testing":[46],"knowledge":[47],"reduces":[48],"time":[50],"effort":[52],"required":[53],"to":[54],"achieve":[55],"high":[56],"coverage":[57],"design.":[61]},"counts_by_year":[{"year":2014,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}