{"id":"https://openalex.org/W4286383584","doi":"https://doi.org/10.1145/3524482.3527659","title":"Test suite generation for boolean conditions with equivalence class partitioning","display_name":"Test suite generation for boolean conditions with equivalence class partitioning","publication_year":2022,"publication_date":"2022-05-18","ids":{"openalex":"https://openalex.org/W4286383584","doi":"https://doi.org/10.1145/3524482.3527659"},"language":"en","primary_location":{"id":"doi:10.1145/3524482.3527659","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3524482.3527659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in 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/A5022249773","display_name":"Sylvain Hall\u00e9","orcid":"https://orcid.org/0000-0002-4406-6154"},"institutions":[{"id":"https://openalex.org/I104914703","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi","ror":"https://ror.org/00y3hzd62","country_code":"CA","type":"education","lineage":["https://openalex.org/I104914703","https://openalex.org/I49663120"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Sylvain Hall\u00e9","raw_affiliation_strings":["Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Chicoutimi, QC, Canada"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Chicoutimi, QC, Canada","institution_ids":["https://openalex.org/I104914703"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5022249773"],"corresponding_institution_ids":["https://openalex.org/I104914703"],"apc_list":null,"apc_paid":null,"fwci":1.0592,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.75581776,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"23","last_page":"33"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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.9973000288009644,"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/test-suite","display_name":"Test suite","score":0.7219017148017883},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6220914721488953},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5902767181396484},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5470176935195923},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.48232054710388184},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.4774608910083771},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4503726065158844},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.3554726541042328},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3417080044746399},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.19510841369628906},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.07496318221092224}],"concepts":[{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.7219017148017883},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6220914721488953},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5902767181396484},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5470176935195923},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48232054710388184},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.4774608910083771},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4503726065158844},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3554726541042328},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3417080044746399},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.19510841369628906},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.07496318221092224},{"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.1145/3524482.3527659","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3524482.3527659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2959418532","display_name":null,"funder_award_id":"950-230760","funder_id":"https://openalex.org/F4320320994","funder_display_name":"Canada Research Chairs"}],"funders":[{"id":"https://openalex.org/F4320320994","display_name":"Canada Research Chairs","ror":"https://ror.org/0517h6h17"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1517857731","https://openalex.org/W1519655831","https://openalex.org/W1523628030","https://openalex.org/W1583496654","https://openalex.org/W1770809009","https://openalex.org/W1784455871","https://openalex.org/W1894930292","https://openalex.org/W1971749164","https://openalex.org/W1978912731","https://openalex.org/W1980815151","https://openalex.org/W1984724035","https://openalex.org/W2011325955","https://openalex.org/W2018094844","https://openalex.org/W2022887099","https://openalex.org/W2026399599","https://openalex.org/W2100200603","https://openalex.org/W2100425664","https://openalex.org/W2104771395","https://openalex.org/W2109964207","https://openalex.org/W2126717908","https://openalex.org/W2128204165","https://openalex.org/W2131260146","https://openalex.org/W2139021595","https://openalex.org/W2162200351","https://openalex.org/W2210535731","https://openalex.org/W2227060417","https://openalex.org/W2293767474","https://openalex.org/W2490706771","https://openalex.org/W2886329671","https://openalex.org/W2904317103","https://openalex.org/W2914528364","https://openalex.org/W3034487315","https://openalex.org/W6633989784","https://openalex.org/W6656829916","https://openalex.org/W6893961746"],"related_works":["https://openalex.org/W4292227681","https://openalex.org/W2100200603","https://openalex.org/W2027071293","https://openalex.org/W2349072172","https://openalex.org/W3184130079","https://openalex.org/W4205305928","https://openalex.org/W3201926614","https://openalex.org/W3130232215","https://openalex.org/W2131260146","https://openalex.org/W2776152827"],"abstract_inverted_index":{"Boolean":[0],"test":[1,79,110],"input":[2],"generation":[3],"is":[4,24,46],"the":[5,92,97],"process":[6],"of":[7,10,14,69,96,103],"finding":[8],"sets":[9],"values":[11],"for":[12],"variables":[13],"a":[15,20,29,38,43,53,82,85],"logical":[16],"expression":[17,36],"such":[18],"that":[19,107,112],"given":[21],"coverage":[22,44,64],"criterion":[23,45,98],"achieved.":[25],"This":[26],"paper":[27,73],"presents":[28],"formal":[30],"framework":[31],"in":[32,91,114],"which":[33],"evaluating":[34],"an":[35,75],"produces":[37,109],"tree":[39],"structure,":[40],"and":[41],"where":[42],"expressed":[47],"as":[48,66],"equivalence":[49],"classes":[50],"induced":[51],"by":[52,81],"particular":[54,67],"transformation":[55],"over":[56],"these":[57],"trees.":[58],"It":[59],"then":[60],"defines":[61],"many":[62,115],"well-known":[63],"criteria":[65],"cases":[68,116],"this":[70,88,104],"framework.":[71],"The":[72],"describes":[74],"algorithm":[76,89],"to":[77],"generate":[78],"suites":[80,111],"reduction":[83],"through":[84],"graph":[86],"problem;":[87],"works":[90],"same":[93],"way":[94],"regardless":[95],"considered.":[99],"An":[100],"experimental":[101],"evaluation":[102],"technique":[105],"shows":[106],"it":[108],"are":[113],"smaller":[117],"than":[118],"existing":[119],"tools.":[120]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}