{"id":"https://openalex.org/W6966314456","doi":"https://doi.org/10.4230/oasics.dx.2024.19","title":"Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper)","display_name":"Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper)","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W6966314456","doi":"https://doi.org/10.4230/oasics.dx.2024.19"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:22111","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2024.19","pdf_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol125-dx2024/OASIcs.DX.2024.19/OASIcs.DX.2024.19.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol125-dx2024/OASIcs.DX.2024.19/OASIcs.DX.2024.19.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Weiss, Alexander","orcid":"https://orcid.org/0000-0003-1029-1297"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Weiss, Alexander","raw_affiliation_strings":["Accemic Technologies GmbH, Kiefersfelden, Germany"],"raw_orcid":"https://orcid.org/0000-0003-1029-1297","affiliations":[{"raw_affiliation_string":"Accemic Technologies GmbH, Kiefersfelden, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Schulz, Albert","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Schulz, Albert","raw_affiliation_strings":["Accemic Technologies GmbH, Kiefersfelden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Accemic Technologies GmbH, Kiefersfelden, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Heininger, Martin","orcid":null},"institutions":[{"id":"https://openalex.org/I4210096602","display_name":"Global College","ror":"https://ror.org/00q24dt49","country_code":"CY","type":"education","lineage":["https://openalex.org/I4210096602"]}],"countries":["CY"],"is_corresponding":false,"raw_author_name":"Heininger, Martin","raw_affiliation_strings":["Heicon Global Engineering GmbH, Schwendi, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Heicon Global Engineering GmbH, Schwendi, Germany","institution_ids":["https://openalex.org/I4210096602"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Sachenbacher, Martin","orcid":"https://orcid.org/0000-0002-5418-1885"},"institutions":[{"id":"https://openalex.org/I9341345","display_name":"University of L\u00fcbeck","ror":"https://ror.org/00t3r8h32","country_code":"DE","type":"education","lineage":["https://openalex.org/I9341345"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sachenbacher, Martin","raw_affiliation_strings":["Institute for Software Engineering and Programming Languages, Universit\u00e4t zu L\u00fcbeck, Germany"],"raw_orcid":"https://orcid.org/0000-0002-5418-1885","affiliations":[{"raw_affiliation_string":"Institute for Software Engineering and Programming Languages, Universit\u00e4t zu L\u00fcbeck, Germany","institution_ids":["https://openalex.org/I9341345"]}]},{"author_position":"last","author":{"id":null,"display_name":"Leucker, Martin","orcid":"https://orcid.org/0000-0002-3696-9222"},"institutions":[{"id":"https://openalex.org/I9341345","display_name":"University of L\u00fcbeck","ror":"https://ror.org/00t3r8h32","country_code":"DE","type":"education","lineage":["https://openalex.org/I9341345"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Leucker, Martin","raw_affiliation_strings":["Institute for Software Engineering and Programming Languages, Universit\u00e4t zu L\u00fcbeck, Germany"],"raw_orcid":"https://orcid.org/0000-0002-3696-9222","affiliations":[{"raw_affiliation_string":"Institute for Software Engineering and Programming Languages, Universit\u00e4t zu L\u00fcbeck, Germany","institution_ids":["https://openalex.org/I9341345"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.47619048,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.4350000023841858,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.4350000023841858,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.3578000068664551,"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/T12127","display_name":"Software System Performance and Reliability","score":0.062199998646974564,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/code-coverage","display_name":"Code coverage","score":0.6363000273704529},{"id":"https://openalex.org/keywords/unit-testing","display_name":"Unit testing","score":0.5480999946594238},{"id":"https://openalex.org/keywords/integration-testing","display_name":"Integration testing","score":0.5008000135421753},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.49950000643730164},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.489300012588501},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4672999978065491},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.46480000019073486},{"id":"https://openalex.org/keywords/instrumentation","display_name":"Instrumentation (computer programming)","score":0.4641999900341034},{"id":"https://openalex.org/keywords/avionics-software","display_name":"Avionics software","score":0.4408999979496002},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.41659998893737793}],"concepts":[{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.6363000273704529},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.6306999921798706},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5720000267028809},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5662000179290771},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.5480999946594238},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.5008000135421753},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.49950000643730164},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.489300012588501},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4672999978065491},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.46480000019073486},{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.4641999900341034},{"id":"https://openalex.org/C109905503","wikidata":"https://www.wikidata.org/wiki/Q4828920","display_name":"Avionics software","level":5,"score":0.4408999979496002},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.41659998893737793},{"id":"https://openalex.org/C161821725","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Regression testing","level":5,"score":0.3921999931335449},{"id":"https://openalex.org/C52928878","wikidata":"https://www.wikidata.org/wiki/Q7554226","display_name":"Software reliability testing","level":5,"score":0.37610000371932983},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.3707999885082245},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.3682999908924103},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.35589998960494995},{"id":"https://openalex.org/C108913964","wikidata":"https://www.wikidata.org/wiki/Q2376856","display_name":"System under test","level":4,"score":0.35429999232292175},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.3393000066280365},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.3346000015735626},{"id":"https://openalex.org/C7435765","wikidata":"https://www.wikidata.org/wiki/Q7705776","display_name":"Test Management Approach","level":5,"score":0.33239999413490295},{"id":"https://openalex.org/C86469151","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Non-regression testing","level":5,"score":0.32829999923706055},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.325300008058548},{"id":"https://openalex.org/C111524372","wikidata":"https://www.wikidata.org/wiki/Q7663718","display_name":"System integration testing","level":5,"score":0.31450000405311584},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3116999864578247},{"id":"https://openalex.org/C178059732","wikidata":"https://www.wikidata.org/wiki/Q1982529","display_name":"Software performance testing","level":5,"score":0.3102000057697296},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.3075000047683716},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.3068000078201294},{"id":"https://openalex.org/C132519959","wikidata":"https://www.wikidata.org/wiki/Q3077373","display_name":"Test method","level":2,"score":0.2897000014781952},{"id":"https://openalex.org/C141842801","wikidata":"https://www.wikidata.org/wiki/Q363815","display_name":"Automatic test equipment","level":3,"score":0.28369998931884766},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.28040000796318054},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2761000096797943},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.2757999897003174},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.271699994802475},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.27129998803138733},{"id":"https://openalex.org/C19527686","wikidata":"https://www.wikidata.org/wiki/Q1665453","display_name":"System integration","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.25369998812675476},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.2529999911785126}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:22111","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2024.19","pdf_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol125-dx2024/OASIcs.DX.2024.19/OASIcs.DX.2024.19.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},{"id":"doi:10.4230/oasics.dx.2024.19","is_oa":true,"landing_page_url":"https://doi.org/10.4230/oasics.dx.2024.19","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:22111","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2024.19","pdf_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol125-dx2024/OASIcs.DX.2024.19/OASIcs.DX.2024.19.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.46715396642684937}],"awards":[{"id":"https://openalex.org/G2258208517","display_name":null,"funder_award_id":"101095947","funder_id":"https://openalex.org/F4320319005","funder_display_name":"Key Digital Technologies Joint Undertaking"}],"funders":[{"id":"https://openalex.org/F4320319005","display_name":"Key Digital Technologies Joint Undertaking","ror":null},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W6966314456.pdf","grobid_xml":"https://content.openalex.org/works/W6966314456.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,9,28],"systematic":[4],"approach":[5,83],"to":[6,35,111,133,147],"achieving,":[7],"in":[8,104],"well-defined":[10],"sense,":[11],"100%":[12],"structural":[13],"test":[14,94,102],"coverage":[15,26,44,72,98,136],"for":[16,92],"large":[17],"embedded":[18,22,105,128,152],"software":[19,115,153,167],"projects.":[20],"In":[21],"systems,":[23],"high":[24],"code":[25,43,97,135],"is":[27,73,131],"critical":[29],"part":[30],"of":[31,50,56,68,114,142,151,158],"the":[32,38,48,51,54,57,69,89,100,112,149,156],"testing":[33,52],"process":[34],"ensure":[36],"that":[37],"system":[39],"works":[40],"correctly.":[41],"Measuring":[42,96],"provides":[45],"insight":[46],"into":[47],"effectiveness":[49],"process,":[53],"quality":[55],"software,":[58],"and":[59,120,138,154,165],"can":[60,107],"help":[61,146],"identify":[62],"untested":[63],"or":[64],"partially":[65],"tested":[66],"areas":[67],"code.":[70],"Traditionally,":[71],"often":[74],"measured":[75],"when":[76],"unit":[77],"tests":[78,87],"are":[79],"executed.":[80],"The":[81,140],"proposed":[82],"instead":[84],"uses":[85],"integration":[86,101,160],"as":[88],"starting":[90],"point":[91],"determining":[93],"completeness.":[95],"at":[99],"level":[103],"systems":[106],"be":[108],"challenging":[109],"due":[110],"limitations":[113],"instrumentation":[116],"(additional":[117],"memory":[118],"requirements":[119],"additional":[121],"CPU":[122],"load).":[123],"To":[124],"overcome":[125],"these":[126,143],"limitations,":[127],"trace":[129],"technology":[130],"used":[132],"measure":[134],"continuously":[137],"non-intrusively.":[139],"use":[141],"techniques":[144],"will":[145],"increase":[148],"reliability":[150],"reduce":[155],"likelihood":[157],"missed":[159,162],"tests,":[161],"high-level":[163],"requirements,":[164],"undetected":[166],"defects.":[168]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}