{"id":"https://openalex.org/W2809433722","doi":"https://doi.org/10.1145/3183440.3183488","title":"MuAlloy","display_name":"MuAlloy","publication_year":2018,"publication_date":"2018-05-27","ids":{"openalex":"https://openalex.org/W2809433722","doi":"https://doi.org/10.1145/3183440.3183488","mag":"2809433722"},"language":"en","primary_location":{"id":"doi:10.1145/3183440.3183488","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3183440.3183488","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3183440.3183488","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3183440.3183488","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100681011","display_name":"Kaiyuan Wang","orcid":"https://orcid.org/0000-0002-0976-2613"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kaiyuan Wang","raw_affiliation_strings":["University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087863036","display_name":"Allison Sullivan","orcid":"https://orcid.org/0000-0001-7400-2218"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Allison Sullivan","raw_affiliation_strings":["University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102146282","display_name":"Sarfraz Khurshid","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sarfraz Khurshid","raw_affiliation_strings":["University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I86519309"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"29","last_page":"32"},"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.9993000030517578,"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/T10260","display_name":"Software Engineering Research","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8040258884429932},{"id":"https://openalex.org/keywords/unit-testing","display_name":"Unit testing","score":0.6403710246086121},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.630267858505249},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6221522092819214},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6174114942550659},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5619642734527588},{"id":"https://openalex.org/keywords/software-testing","display_name":"Software testing","score":0.4481309652328491},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.44069725275039673},{"id":"https://openalex.org/keywords/integration-testing","display_name":"Integration testing","score":0.43664103746414185},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43299081921577454},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4216848611831665}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8040258884429932},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.6403710246086121},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.630267858505249},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6221522092819214},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6174114942550659},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5619642734527588},{"id":"https://openalex.org/C2984328558","wikidata":"https://www.wikidata.org/wiki/Q188522","display_name":"Software testing","level":3,"score":0.4481309652328491},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44069725275039673},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.43664103746414185},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43299081921577454},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4216848611831665}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3183440.3183488","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3183440.3183488","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3183440.3183488","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3183440.3183488","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3183440.3183488","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3183440.3183488","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2270303202","display_name":null,"funder_award_id":"CCF-1718903","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2809433722.pdf","grobid_xml":"https://content.openalex.org/works/W2809433722.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W1465565820","https://openalex.org/W1538801056","https://openalex.org/W1602650507","https://openalex.org/W2011849817","https://openalex.org/W2049695835","https://openalex.org/W2060440626","https://openalex.org/W2135841285","https://openalex.org/W2417108038","https://openalex.org/W2614541902","https://openalex.org/W2741400146","https://openalex.org/W2758237334"],"related_works":["https://openalex.org/W1551963888","https://openalex.org/W2163844940","https://openalex.org/W2727055670","https://openalex.org/W4234553401","https://openalex.org/W2063289013","https://openalex.org/W4229670210","https://openalex.org/W4253726034","https://openalex.org/W3086938529","https://openalex.org/W2392222982","https://openalex.org/W4244630593"],"abstract_inverted_index":{"Creating":[0],"models":[1,8,40],"of":[2,48,57,90],"software":[3,16,50],"systems":[4],"and":[5,26,63,68,77,114],"analyzing":[6],"the":[7,22,46,55],"helps":[9],"develop":[10],"more":[11],"reliable":[12],"systems.":[13],"A":[14,52],"well-known":[15],"modeling":[17],"tool-set":[18],"is":[19,93,112],"embodied":[20],"by":[21],"declarative":[23],"language":[24],"Alloy":[25,39],"its":[27],"automatic":[28],"SAT-based":[29],"analyzer.":[30],"Recent":[31],"work":[32],"introduced":[33],"a":[34,94],"novel":[35],"approach":[36],"to":[37,41],"testing":[38,58,72],"validate":[42],"their":[43],"correctness":[44],"in":[45],"spirit":[47],"traditional":[49],"testing:":[51],"Unit":[53],"defined":[54,70],"foundations":[56],"(unit":[59],"tests,":[60],"test":[61],"execution,":[62],"model":[64],"coverage)":[65],"for":[66,81,119],"Alloy,":[67],"MuAlloy":[69,111,120],"mutation":[71],"(mutation":[73],"operators,":[74],"mutant":[75,79],"generation,":[76],"equivalent":[78],"checking)":[80],"Alloy.":[82],"This":[83],"tool":[84,96],"paper":[85],"describes":[86],"our":[87],"Java":[88],"implementation":[89],"MuAlloy,":[91],"which":[92],"command-line":[95],"that":[97,110],"we":[98],"released":[99],"as":[100],"an":[101],"open-source":[102],"project":[103],"on":[104],"GitHub.":[105],"Our":[106],"experimental":[107],"results":[108],"show":[109],"efficient":[113],"practical.":[115],"The":[116],"demo":[117],"video":[118],"can":[121],"be":[122],"found":[123],"at":[124],"https://youtu.be/3lvnQKiLcLE.":[125]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":4}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2018-06-29T00:00:00"}