{"id":"https://openalex.org/W4237857129","doi":"https://doi.org/10.1504/ijccbs.2018.096437","title":"A model-based approach to combine conformance and load tests: an eHealth case study","display_name":"A model-based approach to combine conformance and load tests: an eHealth case study","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W4237857129","doi":"https://doi.org/10.1504/ijccbs.2018.096437"},"language":"en","primary_location":{"id":"doi:10.1504/ijccbs.2018.096437","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijccbs.2018.096437","pdf_url":null,"source":{"id":"https://openalex.org/S133520368","display_name":"International Journal of Critical Computer-Based Systems","issn_l":"1757-8779","issn":["1757-8779","1757-8787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Critical Computer-Based Systems","raw_type":"journal-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/A5004970162","display_name":"Moez Krichen","orcid":"https://orcid.org/0000-0001-8873-9755"},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]},{"id":"https://openalex.org/I52207611","display_name":"Al Baha University","ror":"https://ror.org/0403jak37","country_code":"SA","type":"education","lineage":["https://openalex.org/I52207611"]}],"countries":["SA","TN"],"is_corresponding":true,"raw_author_name":"Moez Krichen","raw_affiliation_strings":["ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, Tunisia; Faculty of CSIT, Al-Baha University, Saudi Arabia","ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, Tunisia","Faculty of CSIT, Al-Baha University, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, Tunisia; Faculty of CSIT, Al-Baha University, Saudi Arabia","institution_ids":["https://openalex.org/I142899784"]},{"raw_affiliation_string":"ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]},{"raw_affiliation_string":"Faculty of CSIT, Al-Baha University, Saudi Arabia","institution_ids":["https://openalex.org/I52207611"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072957592","display_name":"Afef Jmal Ma\u00e2lej","orcid":"https://orcid.org/0009-0001-4328-8230"},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Afef Jmal Ma\u00e2lej","raw_affiliation_strings":["ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, Tunisia"],"affiliations":[{"raw_affiliation_string":"ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069703530","display_name":"Mariam Lahami","orcid":"https://orcid.org/0000-0002-2231-6917"},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Mariam Lahami","raw_affiliation_strings":["ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, Tunisia"],"affiliations":[{"raw_affiliation_string":"ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5004970162"],"corresponding_institution_ids":["https://openalex.org/I142899784","https://openalex.org/I52207611"],"apc_list":null,"apc_paid":null,"fwci":4.292,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.95221217,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"8","issue":"3/4","first_page":"282","last_page":"282"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9904000163078308,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9904000163078308,"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/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9837999939918518,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.9829000234603882,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.799116313457489},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.7251925468444824},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5212493538856506},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5088992118835449},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4616175591945648},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4427325129508972},{"id":"https://openalex.org/keywords/system-under-test","display_name":"System under test","score":0.41060304641723633},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.32226306200027466},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.24489063024520874},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.137952983379364},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07723972201347351}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.799116313457489},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.7251925468444824},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5212493538856506},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5088992118835449},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4616175591945648},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4427325129508972},{"id":"https://openalex.org/C108913964","wikidata":"https://www.wikidata.org/wiki/Q2376856","display_name":"System under test","level":4,"score":0.41060304641723633},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.32226306200027466},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24489063024520874},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.137952983379364},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07723972201347351},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"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/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1504/ijccbs.2018.096437","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijccbs.2018.096437","pdf_url":null,"source":{"id":"https://openalex.org/S133520368","display_name":"International Journal of Critical Computer-Based Systems","issn_l":"1757-8779","issn":["1757-8779","1757-8787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Critical Computer-Based Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2169593191","https://openalex.org/W1586853248","https://openalex.org/W2528491667","https://openalex.org/W2518496273","https://openalex.org/W2366424705","https://openalex.org/W2116839871","https://openalex.org/W2114226943","https://openalex.org/W593718774","https://openalex.org/W2903616347","https://openalex.org/W2061183036"],"abstract_inverted_index":{"In":[0,40,94],"this":[1,118],"paper,":[2],"we":[3,42,76,103],"propose":[4],"a":[5,44,58,78,106,123],"new":[6,23,45,79],"model-based":[7],"framework":[8,24],"that":[9,148],"combines":[10],"both":[11],"conformance":[12,50,133],"and":[13,36,75,130,134],"load":[14,67,135],"tests":[15,84,136],"in":[16,117,137],"the":[17,28,86,89,98,111,138],"context":[18],"of":[19,30,88,100],"real-time":[20],"systems.":[21],"Our":[22],"is":[25,149],"based":[26],"on":[27,105],"model":[29,127],"extended":[31,46],"timed":[32,47],"automata":[33],"with":[34,61],"inputs/outputs":[35],"shared":[37],"integer":[38],"variables.":[39],"addition,":[41],"define":[43],"input":[48],"output":[49],"relation":[51],"etioco.":[52],"This":[53,141],"latter":[54],"allows":[55],"to":[56,63,96,121,126,131],"compare":[57],"given":[59],"implementation":[60],"respect":[62],"its":[64],"specifications":[65],"considering":[66],"conditions.":[68],"We":[69],"also":[70],"discuss":[71],"some":[72],"modelling":[73],"issues":[74],"provide":[77],"technique":[80],"for":[81],"deriving":[82],"analogue-clock":[83],"from":[85,110],"specification":[87],"system":[90],"under":[91],"test":[92],"(SUT).":[93],"order":[95],"show":[97],"relevance":[99],"our":[101],"approach,":[102],"report":[104],"critical":[107],"case":[108],"study":[109],"healthcare":[112],"field.":[113],"An":[114],"important":[115,145],"contribution":[116],"work":[119],"was":[120],"use":[122],"rich":[124],"formalism":[125],"multi-user":[128],"systems":[129],"combine":[132],"same":[139],"model.":[140],"point":[142],"constitutes":[143],"an":[144],"testing":[146],"area":[147],"usually":[150],"misunderstood.":[151]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}