{"id":"https://openalex.org/W7117978373","doi":"https://doi.org/10.3390/software5010002","title":"rUnit\u2014A Framework for Test Analysis of C Programs","display_name":"rUnit\u2014A Framework for Test Analysis of C Programs","publication_year":2026,"publication_date":"2026-01-02","ids":{"openalex":"https://openalex.org/W7117978373","doi":"https://doi.org/10.3390/software5010002"},"language":"en","primary_location":{"id":"doi:10.3390/software5010002","is_oa":true,"landing_page_url":"https://doi.org/10.3390/software5010002","pdf_url":"https://www.mdpi.com/2674-113X/5/1/2/pdf?version=1767337289","source":{"id":"https://openalex.org/S4210183365","display_name":"Software","issn_l":"2674-113X","issn":["2674-113X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.mdpi.com/2674-113X/5/1/2/pdf?version=1767337289","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022135983","display_name":"Peter Backeman","orcid":"https://orcid.org/0000-0001-7965-248X"},"institutions":[{"id":"https://openalex.org/I4210127129","display_name":"M\u00e4lardalen University","ror":null,"country_code":"SE","type":null,"lineage":["https://openalex.org/I4210127129"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Peter Backeman","raw_affiliation_strings":["School of Innovation, Design and EngineeringM\u00e4lardalen University, 721 23 V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"School of Innovation, Design and EngineeringM\u00e4lardalen University, 721 23 V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I4210127129"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5022135983"],"corresponding_institution_ids":["https://openalex.org/I4210127129"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00800641,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":"1","first_page":"2","last_page":"2"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.965399980545044,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.965399980545044,"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/T12479","display_name":"Web Application Security Vulnerabilities","score":0.014800000004470348,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.0038999998942017555,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/correctness","display_name":"Correctness","score":0.6811000108718872},{"id":"https://openalex.org/keywords/unit-testing","display_name":"Unit testing","score":0.6794999837875366},{"id":"https://openalex.org/keywords/software-testing","display_name":"Software testing","score":0.44859999418258667},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.43470001220703125},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.40540000796318054},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.40130001306533813},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.3912000060081482},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.3847000002861023},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.35429999232292175},{"id":"https://openalex.org/keywords/keyword-driven-testing","display_name":"Keyword-driven testing","score":0.3504999876022339}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7300000190734863},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6811000108718872},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.6794999837875366},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5695000290870667},{"id":"https://openalex.org/C2984328558","wikidata":"https://www.wikidata.org/wiki/Q188522","display_name":"Software testing","level":3,"score":0.44859999418258667},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.43470001220703125},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.40540000796318054},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40130001306533813},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.3912000060081482},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3847000002861023},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36480000615119934},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.35429999232292175},{"id":"https://openalex.org/C169168650","wikidata":"https://www.wikidata.org/wiki/Q1675637","display_name":"Keyword-driven testing","level":5,"score":0.3504999876022339},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.3490999937057495},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.3483999967575073},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.3377000093460083},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.32749998569488525},{"id":"https://openalex.org/C161821725","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Regression testing","level":5,"score":0.320499986410141},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3197000026702881},{"id":"https://openalex.org/C7435765","wikidata":"https://www.wikidata.org/wiki/Q7705776","display_name":"Test Management Approach","level":5,"score":0.31439998745918274},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3116999864578247},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3025999963283539},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.2962999939918518},{"id":"https://openalex.org/C24169984","wikidata":"https://www.wikidata.org/wiki/Q879969","display_name":"Black-box testing","level":5,"score":0.29440000653266907},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.287200003862381},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.2847999930381775},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.28299999237060547},{"id":"https://openalex.org/C108913964","wikidata":"https://www.wikidata.org/wiki/Q2376856","display_name":"System under test","level":4,"score":0.28200000524520874},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.2806999981403351},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.2799000144004822},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.27140000462532043},{"id":"https://openalex.org/C182122060","wikidata":"https://www.wikidata.org/wiki/Q6752328","display_name":"Manual testing","level":5,"score":0.2651999890804291},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.26080000400543213},{"id":"https://openalex.org/C4478048","wikidata":"https://www.wikidata.org/wiki/Q950250","display_name":"Test-driven development","level":4,"score":0.2524000108242035},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.25220000743865967},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.251800000667572},{"id":"https://openalex.org/C109852812","wikidata":"https://www.wikidata.org/wiki/Q2406355","display_name":"Test harness","level":5,"score":0.2515999972820282},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.25060001015663147}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/software5010002","is_oa":true,"landing_page_url":"https://doi.org/10.3390/software5010002","pdf_url":"https://www.mdpi.com/2674-113X/5/1/2/pdf?version=1767337289","source":{"id":"https://openalex.org/S4210183365","display_name":"Software","issn_l":"2674-113X","issn":["2674-113X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:9ad9ecfed88f425e932063b242a3c7c4","is_oa":true,"landing_page_url":"https://doaj.org/article/9ad9ecfed88f425e932063b242a3c7c4","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Software, Vol 5, Iss 1, p 2 (2026)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/software5010002","is_oa":true,"landing_page_url":"https://doi.org/10.3390/software5010002","pdf_url":"https://www.mdpi.com/2674-113X/5/1/2/pdf?version=1767337289","source":{"id":"https://openalex.org/S4210183365","display_name":"Software","issn_l":"2674-113X","issn":["2674-113X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3588566123","display_name":null,"funder_award_id":"20230054","funder_id":"https://openalex.org/F4320321759","funder_display_name":"Stiftelsen f\u00f6r Kunskaps- och Kompetensutveckling"}],"funders":[{"id":"https://openalex.org/F4320321759","display_name":"Stiftelsen f\u00f6r Kunskaps- och Kompetensutveckling","ror":"https://ror.org/02cbq7e25"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7117978373.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Asserting":[0],"program":[1,74],"correctness":[2],"is":[3,18,30,39,64,128],"a":[4,79,118],"longstanding":[5],"challenge":[6],"in":[7],"software":[8,22],"development":[9],"that":[10],"consumes":[11],"lots":[12],"of":[13,36,48,53,92,114,150],"resources":[14],"and":[15,100,120,130,136],"manpower.":[16],"It":[17],"often":[19],"accomplished":[20],"through":[21],"testing":[23,99],"at":[24],"various":[25],"levels.":[26],"One":[27],"such":[28],"level":[29],"unit":[31,55],"testing,":[32],"where":[33],"the":[34,46,83,90,105,108,112,148,151],"behaviour":[35],"individual":[37],"components":[38],"tested.":[40],"In":[41],"this":[42],"paper,":[43],"we":[44,77],"introduce":[45,78,111],"concept":[47],"test":[49,84,101],"analysis,":[50],"which":[51,87],"instead":[52],"executing":[54],"tests,":[56],"analyses":[57],"them":[58],"to":[59,103,132,146],"establish":[60],"their":[61],"outcome.":[62],"This":[63],"line":[65],"with":[66,117],"previous":[67],"approaches":[68],"towards":[69],"using":[70],"formal":[71],"methods":[72],"for":[73,89,123],"verification;":[75],"however,":[76],"middle":[80],"layer":[81],"called":[82],"analysis":[85,102],"framework,":[86],"allows":[88],"introduction":[91],"new":[93],"capabilities.":[94],"We":[95,110],"(briefly)":[96],"formalize":[97],"ordinary":[98],"define":[104],"relation":[106],"between":[107],"two.":[109],"notion":[113],"rich":[115],"tests":[116],"syntax":[119],"semantic":[121],"instantiated":[122],"C.":[124],"A":[125,140],"prototype":[126],"framework":[127],"implemented":[129],"extended":[131],"handle":[133],"property-based":[134],"stubbing":[135],"non-deterministic":[137],"string":[138],"variables.":[139],"few":[141],"select":[142],"examples":[143],"are":[144],"presented":[145],"demonstrate":[147],"capabilities":[149],"framework.":[152]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2026-01-02T00:00:00"}