{"id":"https://openalex.org/W2102418068","doi":"https://doi.org/10.1109/tse.2002.1049402","title":"Timed Wp-method: testing real-time systems","display_name":"Timed Wp-method: testing real-time systems","publication_year":2002,"publication_date":"2002-11-01","ids":{"openalex":"https://openalex.org/W2102418068","doi":"https://doi.org/10.1109/tse.2002.1049402","mag":"2102418068"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2002.1049402","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2002.1049402","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","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/A5050355536","display_name":"Abdeslam En\u2010Nouaary","orcid":null},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"A. En-Nouaary","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Concordia University, Montreal, QUE, Canada","Dept. of Electr. & Comput. Eng. Concordia Univ., Montreal, Que., Canada#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Concordia University, Montreal, QUE, Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Dept. of Electr. & Comput. Eng. Concordia Univ., Montreal, Que., Canada#TAB#","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057013558","display_name":"Rachida Dssouli","orcid":"https://orcid.org/0000-0002-7859-9098"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"R. Dssouli","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Concordia University, Montreal, QUE, Canada","Dept. of Electr. & Comput. Eng. Concordia Univ., Montreal, Que., Canada#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Concordia University, Montreal, QUE, Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Dept. of Electr. & Comput. Eng. Concordia Univ., Montreal, Que., Canada#TAB#","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058304466","display_name":"Ferhat Khendek","orcid":"https://orcid.org/0000-0002-3337-9841"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"F. Khendek","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Concordia University, Montreal, QUE, Canada","Dept. of Electr. & Comput. Eng. Concordia Univ., Montreal, Que., Canada#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Concordia University, Montreal, QUE, Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Dept. of Electr. & Comput. Eng. Concordia Univ., Montreal, Que., Canada#TAB#","institution_ids":["https://openalex.org/I60158472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I60158472"],"apc_list":null,"apc_paid":null,"fwci":6.6371,"has_fulltext":false,"cited_by_count":135,"citation_normalized_percentile":{"value":0.97230047,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"28","issue":"11","first_page":"1023","last_page":"1038"},"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.9998999834060669,"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.9998999834060669,"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.9998000264167786,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9980000257492065,"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.8782289028167725},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.6613366007804871},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6550130248069763},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.6223806738853455},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.49988746643066406},{"id":"https://openalex.org/keywords/system-under-test","display_name":"System under test","score":0.4670760929584503},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.43421950936317444},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.4313046336174011},{"id":"https://openalex.org/keywords/real-time-operating-system","display_name":"Real-time operating system","score":0.4204411208629608},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4044197201728821},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4029031991958618},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3835229277610779},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33676162362098694},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3365582525730133},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.23792922496795654}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8782289028167725},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.6613366007804871},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6550130248069763},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.6223806738853455},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.49988746643066406},{"id":"https://openalex.org/C108913964","wikidata":"https://www.wikidata.org/wiki/Q2376856","display_name":"System under test","level":4,"score":0.4670760929584503},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.43421950936317444},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.4313046336174011},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.4204411208629608},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4044197201728821},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4029031991958618},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3835229277610779},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33676162362098694},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3365582525730133},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.23792922496795654},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","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},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2002.1049402","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2002.1049402","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W59365162","https://openalex.org/W62697410","https://openalex.org/W169319036","https://openalex.org/W1505255894","https://openalex.org/W1505467342","https://openalex.org/W1537628828","https://openalex.org/W1552249698","https://openalex.org/W1566743700","https://openalex.org/W1584511540","https://openalex.org/W1877887853","https://openalex.org/W1965028135","https://openalex.org/W1967761514","https://openalex.org/W1979248560","https://openalex.org/W1985551847","https://openalex.org/W2011762419","https://openalex.org/W2042801853","https://openalex.org/W2043695863","https://openalex.org/W2101508170","https://openalex.org/W2102380292","https://openalex.org/W2105394284","https://openalex.org/W2108394166","https://openalex.org/W2122260303","https://openalex.org/W2126209810","https://openalex.org/W2140932781","https://openalex.org/W2143578569","https://openalex.org/W2152815305","https://openalex.org/W2153273838","https://openalex.org/W2157144873","https://openalex.org/W2162032875","https://openalex.org/W2163595873","https://openalex.org/W2163835031","https://openalex.org/W2177967933","https://openalex.org/W2345578677","https://openalex.org/W2612243425","https://openalex.org/W4229439915","https://openalex.org/W6606913230","https://openalex.org/W6630287946","https://openalex.org/W6675947015","https://openalex.org/W6737752080","https://openalex.org/W7053047330"],"related_works":["https://openalex.org/W184826316","https://openalex.org/W3132573772","https://openalex.org/W1576777252","https://openalex.org/W3161879573","https://openalex.org/W2102187481","https://openalex.org/W2497444493","https://openalex.org/W2115166264","https://openalex.org/W2099809377","https://openalex.org/W2972137082","https://openalex.org/W2102418068"],"abstract_inverted_index":{"Real-time":[0],"systems":[1,14,50,87],"interact":[2],"with":[3,61],"their":[4,137],"environment":[5],"using":[6,145,180],"time":[7,38],"constrained":[8],"input/output":[9],"signals.":[10],"Examples":[11],"of":[12,48,64,83,100,109,142,169,227],"real-time":[13,49,85],"include":[15],"patient":[16],"monitoring":[17],"systems,":[18,22,28],"air":[19],"traffic":[20],"control":[21],"and":[23,74,107,134,167,233,254],"telecommunication":[24],"systems.":[25],"For":[26],"such":[27],"a":[29,33,65,90,98,121,151,163,181,188,202],"functional":[30],"misbehavior":[31],"or":[32],"deviation":[34],"from":[35,220],"the":[36,46,62,81,105,113,140,143,146,170,177,198,212,224,240,244,251],"specified":[37,88],"constraints":[39],"may":[40],"have":[41],"catastrophic":[42],"consequences.":[43],"Therefore,":[44],"ensuring":[45],"correctness":[47,63],"becomes":[51],"necessary.":[52],"Two":[53],"different":[54,128],"techniques":[55,255],"are":[56],"usually":[57],"used":[58,256],"to":[59,69,186,215,237,249],"cope":[60],"software":[66,86],"system":[67,123,144],"prior":[68],"its":[70,235],"deployment,":[71],"namely,":[72],"verification":[73],"testing.":[75],"In":[76],"this":[77],"paper,":[78,245],"we":[79,175,196,210,246],"address":[80],"issue":[82],"testing":[84],"as":[89],"timed":[91,101,122,155,204,217],"input":[92],"output":[93],"automaton":[94,200],"(TIOA).":[95],"TIOA":[96,132],"is":[97,160],"variant":[99],"automaton.":[102,194],"We":[103,111,125,149,222],"introduce":[104],"syntax":[106],"semantics":[108],"TIOA.":[110],"present":[112,150],"potential":[114],"faults":[115,129],"that":[116],"can":[117],"be":[118],"encountered":[119],"in":[120,184,257],"implementation.":[124],"study":[126],"these":[127],"based":[130,161],"on":[131,139,162],"model":[133],"look":[135],"at":[136],"effects":[138],"execution":[141],"region":[147,178],"graph.":[148],"method":[152,159,232],"for":[153],"generating":[154],"test":[156,218,229],"cases.":[157],"This":[158],"state":[164,206],"characterization":[165],"technique":[166],"consists":[168],"following":[171],"three":[172],"steps:":[173],"First,":[174],"sample":[176],"graph":[179],"suitable":[182],"granularity,":[183],"order":[185],"construct":[187],"subautomaton":[189],"easily":[190],"testable,":[191],"called":[192],"grid":[193,199],"Then,":[195],"transform":[197],"into":[201],"nondeterministic":[203],"finite":[205],"machine":[207],"(NTFSM).":[208],"Finally,":[209],"adapt":[211],"generalized":[213],"Wp-method":[214],"generate":[216],"cases":[219,230],"NTFSM.":[221],"assess":[223],"fault":[225],"coverage":[226],"our":[228,258],"generation":[231],"prove":[234],"ability":[236],"detect":[238],"all":[239],"possible":[241],"faults.":[242],"Throughout":[243],"use":[247],"examples":[248],"illustrate":[250],"various":[252],"concepts":[253],"approach.":[259]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":10}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}