{"id":"https://openalex.org/W1539631886","doi":"https://doi.org/10.1145/1368088.1368183","title":"Applying model-based testing to healthcare products","display_name":"Applying model-based testing to healthcare products","publication_year":2008,"publication_date":"2008-05-10","ids":{"openalex":"https://openalex.org/W1539631886","doi":"https://doi.org/10.1145/1368088.1368183","mag":"1539631886"},"language":"en","primary_location":{"id":"doi:10.1145/1368088.1368183","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1368088.1368183","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th international conference on Software engineering","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/A5045293463","display_name":"Marlon Vieira","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]},{"id":"https://openalex.org/I4210137693","display_name":"Siemens (United States)","ror":"https://ror.org/04axb7e79","country_code":"US","type":"company","lineage":["https://openalex.org/I1325886976","https://openalex.org/I4210137693"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Marlon Vieira","raw_affiliation_strings":["Siemens Corporate Research Inc., Princeton, NJ, USA","Siemens Corporate Res. Inc., Princeton, NJ, USA"],"affiliations":[{"raw_affiliation_string":"Siemens Corporate Research Inc., Princeton, NJ, USA","institution_ids":["https://openalex.org/I4210137693"]},{"raw_affiliation_string":"Siemens Corporate Res. Inc., Princeton, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100836979","display_name":"Xiping Song","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]},{"id":"https://openalex.org/I4210137693","display_name":"Siemens (United States)","ror":"https://ror.org/04axb7e79","country_code":"US","type":"company","lineage":["https://openalex.org/I1325886976","https://openalex.org/I4210137693"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiping Song","raw_affiliation_strings":["Siemens Corporate Resear h In ., Princeton, NJ, USA","Siemens Corp. Research, Inc., Princeton, NJ#TAB#"],"affiliations":[{"raw_affiliation_string":"Siemens Corporate Resear h In ., Princeton, NJ, USA","institution_ids":["https://openalex.org/I4210137693"]},{"raw_affiliation_string":"Siemens Corp. Research, Inc., Princeton, NJ#TAB#","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109906775","display_name":"Gilberto Matos","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]},{"id":"https://openalex.org/I4210137693","display_name":"Siemens (United States)","ror":"https://ror.org/04axb7e79","country_code":"US","type":"company","lineage":["https://openalex.org/I1325886976","https://openalex.org/I4210137693"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gilberto Matos","raw_affiliation_strings":["Siemens Corporate Research Inc., Princeton, NJ, USA","Siemens Corporate Res. Inc., Princeton, NJ, USA"],"affiliations":[{"raw_affiliation_string":"Siemens Corporate Research Inc., Princeton, NJ, USA","institution_ids":["https://openalex.org/I4210137693"]},{"raw_affiliation_string":"Siemens Corporate Res. Inc., Princeton, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035826364","display_name":"Stephan Storck","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]},{"id":"https://openalex.org/I4210137693","display_name":"Siemens (United States)","ror":"https://ror.org/04axb7e79","country_code":"US","type":"company","lineage":["https://openalex.org/I1325886976","https://openalex.org/I4210137693"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephan Storck","raw_affiliation_strings":["Siemens Corporate Research Inc., Princeton, NJ, USA","Siemens Corporate Res. Inc., Princeton, NJ, USA"],"affiliations":[{"raw_affiliation_string":"Siemens Corporate Research Inc., Princeton, NJ, USA","institution_ids":["https://openalex.org/I4210137693"]},{"raw_affiliation_string":"Siemens Corporate Res. Inc., Princeton, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109862240","display_name":"Rajanikanth Tanikella","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]},{"id":"https://openalex.org/I4210137693","display_name":"Siemens (United States)","ror":"https://ror.org/04axb7e79","country_code":"US","type":"company","lineage":["https://openalex.org/I1325886976","https://openalex.org/I4210137693"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajanikanth Tanikella","raw_affiliation_strings":["Siemens Corporate Research Inc., Princeton, NJ, USA","Siemens Corporate Res. Inc., Princeton, NJ, USA"],"affiliations":[{"raw_affiliation_string":"Siemens Corporate Research Inc., Princeton, NJ, USA","institution_ids":["https://openalex.org/I4210137693"]},{"raw_affiliation_string":"Siemens Corporate Res. Inc., Princeton, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052971274","display_name":"Bill Hasling","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]},{"id":"https://openalex.org/I4210137693","display_name":"Siemens (United States)","ror":"https://ror.org/04axb7e79","country_code":"US","type":"company","lineage":["https://openalex.org/I1325886976","https://openalex.org/I4210137693"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bill Hasling","raw_affiliation_strings":["Siemens Corporate Research Inc., Princeton, NJ, USA","Siemens Corporate Res. Inc., Princeton, NJ, USA"],"affiliations":[{"raw_affiliation_string":"Siemens Corporate Research Inc., Princeton, NJ, USA","institution_ids":["https://openalex.org/I4210137693"]},{"raw_affiliation_string":"Siemens Corporate Res. Inc., Princeton, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5045293463"],"corresponding_institution_ids":["https://openalex.org/I20089843","https://openalex.org/I4210137693"],"apc_list":null,"apc_paid":null,"fwci":2.1265,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.86605121,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"669","last_page":"672"},"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.9983000159263611,"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.9983000159263611,"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.9855999946594238,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9855999946594238,"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/workflow","display_name":"Workflow","score":0.6658985018730164},{"id":"https://openalex.org/keywords/health-care","display_name":"Health care","score":0.612233579158783},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5748574733734131},{"id":"https://openalex.org/keywords/medical-software","display_name":"Medical software","score":0.5326651334762573},{"id":"https://openalex.org/keywords/test-strategy","display_name":"Test strategy","score":0.5090517401695251},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4844834506511688},{"id":"https://openalex.org/keywords/system-integration-testing","display_name":"System integration testing","score":0.47237685322761536},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4483465552330017},{"id":"https://openalex.org/keywords/system-testing","display_name":"System testing","score":0.43143635988235474},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.43034255504608154},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4190291166305542},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.32216018438339233},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09460306167602539}],"concepts":[{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6658985018730164},{"id":"https://openalex.org/C160735492","wikidata":"https://www.wikidata.org/wiki/Q31207","display_name":"Health care","level":2,"score":0.612233579158783},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5748574733734131},{"id":"https://openalex.org/C28143949","wikidata":"https://www.wikidata.org/wiki/Q3751111","display_name":"Medical software","level":5,"score":0.5326651334762573},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.5090517401695251},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4844834506511688},{"id":"https://openalex.org/C111524372","wikidata":"https://www.wikidata.org/wiki/Q7663718","display_name":"System integration testing","level":5,"score":0.47237685322761536},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4483465552330017},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.43143635988235474},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.43034255504608154},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4190291166305542},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.32216018438339233},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09460306167602539},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"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/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1368088.1368183","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1368088.1368183","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th international conference on Software engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1992639336","https://openalex.org/W2047393540","https://openalex.org/W2152459051","https://openalex.org/W2499638718"],"related_works":["https://openalex.org/W1603792055","https://openalex.org/W2381119662","https://openalex.org/W2367149846","https://openalex.org/W1988901622","https://openalex.org/W2063289013","https://openalex.org/W2886756146","https://openalex.org/W2152262712","https://openalex.org/W3214776400","https://openalex.org/W3197709817","https://openalex.org/W176978548"],"abstract_inverted_index":{"Healthcare":[0],"software":[1,32,107,122],"systems":[2,33,57],"are":[3,60],"becoming":[4],"more":[5,7,36],"and":[6,27,52,114],"complex":[8],"since":[9],"they":[10,39,59],"will":[11,34,40,110],"be":[12,35],"highly":[13],"integrated":[14],"to":[15,72,78,102],"support":[16,44],"a":[17],"wide":[18],"variety":[19],"of":[20,48,55],"healthcare":[21,31,106,121],"workflows":[22],"(e.g.,":[23],"financial,":[24],"administration,":[25],"diagnosis,":[26],"treatment).":[28],"In":[29],"addition,":[30],"safety-critical":[37],"as":[38],"provide":[41],"medical":[42],"decision":[43],"for":[45,83,119],"doctors.":[46],"All":[47],"those":[49],"require":[50],"systematic":[51],"thorough":[53],"testing":[54,84,103,120],"the":[56,80,85,112],"before":[58],"put":[61],"into":[62],"use":[63],"or":[64],"upgraded.":[65],"Model-Based":[66],"Testing":[67],"(MBT)":[68],"is":[69],"an":[70],"approach":[71,101],"apply":[73],"formal,":[74],"explicit":[75],"system":[76,86],"use-models":[77],"generate":[79],"test":[81],"cases":[82],"behaviors":[87],"under":[88],"different":[89],"input":[90],"data":[91],"sets.":[92],"This":[93],"paper":[94],"describes":[95],"our":[96],"experiences":[97],"in":[98,116],"applying":[99],"this":[100],"some":[104],"Siemens":[105],"systems.":[108,123],"We":[109],"report":[111],"benefits":[113],"challenges":[115],"using":[117],"MBT":[118]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2026-03-12T06:13:28.667946","created_date":"2025-10-10T00:00:00"}