{"id":"https://openalex.org/W1981455819","doi":"https://doi.org/10.1142/s0218194008003556","title":"AN APPROACH TO TESTING BLACK-BOX COMPONENTS USING CONTRACT-BASED MUTATION","display_name":"AN APPROACH TO TESTING BLACK-BOX COMPONENTS USING CONTRACT-BASED MUTATION","publication_year":2008,"publication_date":"2008-02-01","ids":{"openalex":"https://openalex.org/W1981455819","doi":"https://doi.org/10.1142/s0218194008003556","mag":"1981455819"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194008003556","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194008003556","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge 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/A5002133821","display_name":"Ying Jiang","orcid":"https://orcid.org/0000-0001-6269-0172"},"institutions":[{"id":"https://openalex.org/I10660446","display_name":"Kunming University of Science and Technology","ror":"https://ror.org/00xyeez13","country_code":"CN","type":"education","lineage":["https://openalex.org/I10660446"]},{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"YING JIANG","raw_affiliation_strings":["Faculty of Information Engineering and Automation, Kunming University of Science and Technology, Kunming 650093, China","Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Information Engineering and Automation, Kunming University of Science and Technology, Kunming 650093, China","institution_ids":["https://openalex.org/I10660446"]},{"raw_affiliation_string":"Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102832474","display_name":"Shanshan Hou","orcid":"https://orcid.org/0009-0000-3711-3306"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"SHAN-SHAN HOU","raw_affiliation_strings":["Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China","Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]},{"raw_affiliation_string":"Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China#TAB#","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102103663","display_name":"Jin-Hui Shan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"JIN-HUI SHAN","raw_affiliation_strings":["No. 14, P. O. Box 15, Sub-post Office 27, Lanzhou 732750, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"No. 14, P. O. Box 15, Sub-post Office 27, Lanzhou 732750, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100388576","display_name":"Lu Zhang","orcid":"https://orcid.org/0000-0001-8304-7055"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"LU ZHANG","raw_affiliation_strings":["Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China","Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]},{"raw_affiliation_string":"Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China#TAB#","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102928967","display_name":"Bing Xie","orcid":"https://orcid.org/0000-0002-2988-2575"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"BING XIE","raw_affiliation_strings":["Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China","Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]},{"raw_affiliation_string":"Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China#TAB#","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5002133821"],"corresponding_institution_ids":["https://openalex.org/I10660446","https://openalex.org/I20231570","https://openalex.org/I4210128818"],"apc_list":null,"apc_paid":null,"fwci":3.1189,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.91060003,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"18","issue":"01","first_page":"93","last_page":"117"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9976000189781189,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/testability","display_name":"Testability","score":0.7260074615478516},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.6882708072662354},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.620071291923523},{"id":"https://openalex.org/keywords/unavailability","display_name":"Unavailability","score":0.5918626189231873},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5746248364448547},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.5118643641471863},{"id":"https://openalex.org/keywords/mutation-testing","display_name":"Mutation testing","score":0.49762609601020813},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4473244845867157},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.43614262342453003},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3640992045402527},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.35008323192596436},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.25027501583099365},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23900488018989563},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.2045435607433319},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.14226087927818298},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10764944553375244}],"concepts":[{"id":"https://openalex.org/C51234621","wikidata":"https://www.wikidata.org/wiki/Q2149495","display_name":"Testability","level":2,"score":0.7260074615478516},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.6882708072662354},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.620071291923523},{"id":"https://openalex.org/C2780505938","wikidata":"https://www.wikidata.org/wiki/Q17093282","display_name":"Unavailability","level":2,"score":0.5918626189231873},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5746248364448547},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.5118643641471863},{"id":"https://openalex.org/C163565370","wikidata":"https://www.wikidata.org/wiki/Q4308623","display_name":"Mutation testing","level":4,"score":0.49762609601020813},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4473244845867157},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.43614262342453003},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3640992045402527},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.35008323192596436},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.25027501583099365},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23900488018989563},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2045435607433319},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.14226087927818298},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10764944553375244},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194008003556","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194008003556","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","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/W1518851379","https://openalex.org/W1965070914","https://openalex.org/W1966640665","https://openalex.org/W2024651886","https://openalex.org/W2049695835","https://openalex.org/W2051085665","https://openalex.org/W2084181320","https://openalex.org/W2087995104","https://openalex.org/W2104420598","https://openalex.org/W2108557864","https://openalex.org/W2115350349","https://openalex.org/W2121084350","https://openalex.org/W2146408397","https://openalex.org/W3023761484","https://openalex.org/W3183224878","https://openalex.org/W4238231710"],"related_works":["https://openalex.org/W1501213200","https://openalex.org/W112492789","https://openalex.org/W1532322220","https://openalex.org/W2069818478","https://openalex.org/W2131714870","https://openalex.org/W4242844989","https://openalex.org/W2171640008","https://openalex.org/W4319452366","https://openalex.org/W2543388663","https://openalex.org/W89376891"],"abstract_inverted_index":{"Component":[0],"Based":[1,166],"Software":[2],"Development":[3],"(CBSD)":[4],"is":[5,45,65,101,110,125,137],"gaining":[6],"popularity":[7],"in":[8,69,150],"recent":[9],"years.":[10],"In":[11,153],"this":[12,98,154],"way":[13],"of":[14,35,39,51,57,76,80,88,130,179,197,224,241],"software":[15,17,36],"development,":[16],"components,":[18,23,41,82],"which":[19,109],"are":[20,24],"typically":[21],"black-box":[22,40,52,59,81,94,164,243],"intensively":[25],"reused":[26,64],"to":[27,47,73,105,126,145,237],"construct":[28],"new":[29],"systems.":[30],"To":[31,96],"ensure":[32,48],"the":[33,49,74,77,89,128,131,168,195,205,208,219,239],"quality":[34,50],"systems":[37],"composed":[38],"a":[42,66,102,111,158,177],"primary":[43],"concern":[44],"how":[46],"components.":[53,95,165,244],"Thus,":[54],"adequate":[55],"testing":[56,93,113,136,163,242],"those":[58],"components":[60],"that":[61,189,223],"will":[62],"be":[63,146],"necessary":[67],"step":[68],"CBSD.":[70],"However,":[71],"due":[72],"unavailability":[75],"source":[78],"code":[79],"ensuring":[83],"test":[84,118,235],"adequacy":[85],"becomes":[86],"one":[87],"hardest":[90],"issues":[91],"for":[92,116,120,162],"tackle":[97],"problem,":[99],"it":[100],"natural":[103],"idea":[104],"apply":[106],"mutation":[107,135,151,160,183,202,210,214,227],"testing,":[108],"fault-based":[112],"method":[114],"used":[115],"measuring":[117],"adequacy,":[119],"component":[121],"contracts,":[122],"whose":[123],"aim":[124],"improve":[127],"testability":[129],"component.":[132],"Though":[133],"powerful,":[134],"usually":[138],"very":[139],"computation-expensive,":[140],"as":[141,222],"many":[142],"mutants":[143,198],"need":[144],"produced":[147],"and":[148,172],"executed":[149],"testing.":[152],"paper,":[155],"we":[156],"propose":[157],"contract-based":[159,209],"technique":[161],"on":[167],"discordance":[169],"between":[170],"contracts":[171],"specification,":[173],"our":[174,212,230],"approach":[175,231],"employs":[176],"set":[178],"high":[180],"level":[181],"contract":[182,213],"operators.":[184,203,228],"The":[185],"experimental":[186],"results":[187],"show":[188],"these":[190],"operators":[191,215],"can":[192,216,232],"greatly":[193],"reduce":[194,238],"number":[196],"compared":[199],"with":[200],"traditional":[201,226],"At":[204],"same":[206,220],"time,":[207],"using":[211,225],"provide":[217],"almost":[218],"ability":[221],"Therefore,":[229],"produce":[233],"effective":[234],"suites":[236],"cost":[240]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}