{"id":"https://openalex.org/W2046501404","doi":"https://doi.org/10.1016/s1389-1286(00)00203-6","title":"Test cases selection from SDL specifications","display_name":"Test cases selection from SDL specifications","publication_year":2001,"publication_date":"2001-05-01","ids":{"openalex":"https://openalex.org/W2046501404","doi":"https://doi.org/10.1016/s1389-1286(00)00203-6","mag":"2046501404"},"language":"en","primary_location":{"id":"doi:10.1016/s1389-1286(00)00203-6","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s1389-1286(00)00203-6","pdf_url":null,"source":{"id":"https://openalex.org/S63392143","display_name":"Computer Networks","issn_l":"1389-1286","issn":["1389-1286","1872-7069"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Networks","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/A5021902483","display_name":"C. Bourhfir","orcid":null},"institutions":[{"id":"https://openalex.org/I70931966","display_name":"Universit\u00e9 de Montr\u00e9al","ror":"https://ror.org/0161xgx34","country_code":"CA","type":"education","lineage":["https://openalex.org/I70931966"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"C. Bourhfir","raw_affiliation_strings":["D\u00e9partment d'Informatique et de Recherche Op\u00e9rationnelle, Universit\u00e9 de Montr\u00e9al, C.P. 6128, Succursale Centre-Ville, Montr\u00e9al, Que., Canada H3C 3J7"],"affiliations":[{"raw_affiliation_string":"D\u00e9partment d'Informatique et de Recherche Op\u00e9rationnelle, Universit\u00e9 de Montr\u00e9al, C.P. 6128, Succursale Centre-Ville, Montr\u00e9al, Que., Canada H3C 3J7","institution_ids":["https://openalex.org/I70931966"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048679498","display_name":"E.M. Aboulhamid","orcid":null},"institutions":[{"id":"https://openalex.org/I70931966","display_name":"Universit\u00e9 de Montr\u00e9al","ror":"https://ror.org/0161xgx34","country_code":"CA","type":"education","lineage":["https://openalex.org/I70931966"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"E. Aboulhamid","raw_affiliation_strings":["D\u00e9partment d'Informatique et de Recherche Op\u00e9rationnelle, Universit\u00e9 de Montr\u00e9al, C.P. 6128, Succursale Centre-Ville, Montr\u00e9al, Que., Canada H3C 3J7"],"affiliations":[{"raw_affiliation_string":"D\u00e9partment d'Informatique et de Recherche Op\u00e9rationnelle, Universit\u00e9 de Montr\u00e9al, C.P. 6128, Succursale Centre-Ville, Montr\u00e9al, Que., Canada H3C 3J7","institution_ids":["https://openalex.org/I70931966"]}]},{"author_position":"middle","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":["Electrical and Computer Engineering Department, Concordia University, 1455 de Maisonneuve W., Montr\u00e9al, Que., Canada H3G 1M8","Electrical and Computer Engineering department, Concordia University, 1455 De Maisonneuve W. Montreal, Que., Canada H3G 1M8"],"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering Department, Concordia University, 1455 de Maisonneuve W., Montr\u00e9al, Que., Canada H3G 1M8","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Electrical and Computer Engineering department, Concordia University, 1455 De Maisonneuve W. Montreal, Que., Canada H3G 1M8","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057013558","display_name":"Rachida Dssouli","orcid":"https://orcid.org/0000-0002-7859-9098"},"institutions":[{"id":"https://openalex.org/I70931966","display_name":"Universit\u00e9 de Montr\u00e9al","ror":"https://ror.org/0161xgx34","country_code":"CA","type":"education","lineage":["https://openalex.org/I70931966"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"R. Dssouli","raw_affiliation_strings":["D\u00e9partment d'Informatique et de Recherche Op\u00e9rationnelle, Universit\u00e9 de Montr\u00e9al, C.P. 6128, Succursale Centre-Ville, Montr\u00e9al, Que., Canada H3C 3J7"],"affiliations":[{"raw_affiliation_string":"D\u00e9partment d'Informatique et de Recherche Op\u00e9rationnelle, Universit\u00e9 de Montr\u00e9al, C.P. 6128, Succursale Centre-Ville, Montr\u00e9al, Que., Canada H3C 3J7","institution_ids":["https://openalex.org/I70931966"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5057013558"],"corresponding_institution_ids":["https://openalex.org/I70931966"],"apc_list":{"value":2370,"currency":"USD","value_usd":2370},"apc_paid":null,"fwci":4.253,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.93864424,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"35","issue":"6","first_page":"693","last_page":"708"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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.9994999766349792,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991999864578247,"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/extended-finite-state-machine","display_name":"Extended finite-state machine","score":0.9290256500244141},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9158512949943542},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.6665675640106201},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.6015194654464722},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5873591303825378},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.574332058429718},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5041743516921997},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.45138177275657654},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.4442158043384552},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4263099431991577},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4243614375591278},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35762450098991394},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2636066675186157},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1946328580379486}],"concepts":[{"id":"https://openalex.org/C181062253","wikidata":"https://www.wikidata.org/wiki/Q5421886","display_name":"Extended finite-state machine","level":3,"score":0.9290256500244141},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9158512949943542},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.6665675640106201},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.6015194654464722},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5873591303825378},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.574332058429718},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5041743516921997},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.45138177275657654},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.4442158043384552},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4263099431991577},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4243614375591278},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35762450098991394},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2636066675186157},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1946328580379486},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1389-1286(00)00203-6","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s1389-1286(00)00203-6","pdf_url":null,"source":{"id":"https://openalex.org/S63392143","display_name":"Computer Networks","issn_l":"1389-1286","issn":["1389-1286","1872-7069"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Networks","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":16,"referenced_works":["https://openalex.org/W39918052","https://openalex.org/W1481565438","https://openalex.org/W1506006344","https://openalex.org/W1530540819","https://openalex.org/W1535648515","https://openalex.org/W1544501706","https://openalex.org/W1591645440","https://openalex.org/W1985551847","https://openalex.org/W2039659675","https://openalex.org/W2090003379","https://openalex.org/W2103095043","https://openalex.org/W2105394284","https://openalex.org/W2159655835","https://openalex.org/W2162578718","https://openalex.org/W2166906534","https://openalex.org/W2486710678"],"related_works":["https://openalex.org/W2347363247","https://openalex.org/W2558572842","https://openalex.org/W2047524021","https://openalex.org/W2592399342","https://openalex.org/W794225219","https://openalex.org/W2034589735","https://openalex.org/W239966521","https://openalex.org/W2157675331","https://openalex.org/W2903616347","https://openalex.org/W2246269111"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}