{"id":"https://openalex.org/W4312266329","doi":"https://doi.org/10.1145/3510454.3516834","title":"Synthia","display_name":"Synthia","publication_year":2022,"publication_date":"2022-05-21","ids":{"openalex":"https://openalex.org/W4312266329","doi":"https://doi.org/10.1145/3510454.3516834"},"language":"en","primary_location":{"id":"doi:10.1145/3510454.3516834","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3510454.3516834","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3510454.3516834","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings","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/3510454.3516834","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050562861","display_name":"Marc-Antoine Plourde","orcid":null},"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":false,"raw_author_name":"Marc-Antoine Plourde","raw_affiliation_strings":["Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Canada","institution_ids":["https://openalex.org/I104914703"]}]},{"author_position":"last","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":false,"raw_author_name":"Sylvain Hall\u00e9","raw_affiliation_strings":["Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Canada","institution_ids":["https://openalex.org/I104914703"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I104914703"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"2021","issue":null,"first_page":"207","last_page":"211"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9957000017166138,"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.994700014591217,"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.7881667613983154},{"id":"https://openalex.org/keywords/chaining","display_name":"Chaining","score":0.7700727581977844},{"id":"https://openalex.org/keywords/stateful-firewall","display_name":"Stateful firewall","score":0.7379670739173889},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6507527828216553},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6109649538993835},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5560683608055115},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.46605759859085083},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45045194029808044},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.44620978832244873},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.4442511200904846},{"id":"https://openalex.org/keywords/extensibility","display_name":"Extensibility","score":0.4428861439228058},{"id":"https://openalex.org/keywords/serialization","display_name":"Serialization","score":0.4301730692386627},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3579312562942505},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2698623239994049},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18828517198562622},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.1034364402294159}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7881667613983154},{"id":"https://openalex.org/C49020025","wikidata":"https://www.wikidata.org/wiki/Q1059099","display_name":"Chaining","level":2,"score":0.7700727581977844},{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.7379670739173889},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6507527828216553},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6109649538993835},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5560683608055115},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.46605759859085083},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45045194029808044},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.44620978832244873},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4442511200904846},{"id":"https://openalex.org/C32833848","wikidata":"https://www.wikidata.org/wiki/Q4115054","display_name":"Extensibility","level":2,"score":0.4428861439228058},{"id":"https://openalex.org/C52723943","wikidata":"https://www.wikidata.org/wiki/Q1127410","display_name":"Serialization","level":2,"score":0.4301730692386627},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3579312562942505},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2698623239994049},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18828517198562622},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.1034364402294159},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3510454.3516834","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3510454.3516834","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3510454.3516834","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3510454.3516834","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3510454.3516834","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3510454.3516834","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings","raw_type":"proceedings-article"},"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":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4312266329.pdf","grobid_xml":"https://content.openalex.org/works/W4312266329.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W2900136781","https://openalex.org/W2928702109","https://openalex.org/W3093530239","https://openalex.org/W3161421710","https://openalex.org/W3185067521","https://openalex.org/W3187623100","https://openalex.org/W4244488020","https://openalex.org/W4249753629","https://openalex.org/W6796343173"],"related_works":["https://openalex.org/W2583381754","https://openalex.org/W2144255176","https://openalex.org/W2222333653","https://openalex.org/W109977192","https://openalex.org/W1970797462","https://openalex.org/W2019740326","https://openalex.org/W2047113772","https://openalex.org/W2566747981","https://openalex.org/W4312120139","https://openalex.org/W20575604"],"abstract_inverted_index":{"Synthia":[0],"is":[1,13],"a":[2,26,52],"versatile,":[3],"modular":[4],"and":[5,34,61,73],"extensible":[6],"Java-based":[7],"data":[8],"structure":[9,50],"generation":[10],"library.":[11],"It":[12],"centered":[14],"on":[15,29],"the":[16,58,65],"notion":[17],"of":[18,25,64],"\"pickers\",":[19],"which":[20],"are":[21,32],"objects":[22,48],"producing":[23],"values":[24],"given":[27,37],"type":[28],"demand.":[30],"Pickers":[31],"stateful":[33],"can":[35,46],"be":[36],"as":[38],"input":[39,69],"to":[40],"other":[41],"pickers;":[42],"this":[43],"chaining":[44],"principle":[45],"generate":[47],"whose":[49],"follows":[51],"complex":[53],"pattern.":[54],"The":[55],"paper":[56],"describes":[57],"core":[59],"principles":[60],"key":[62],"features":[63],"library,":[66],"including":[67],"test":[68],"shrinking,":[70],"provenance":[71],"tracking,":[72],"object":[74],"mutation.":[75]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2023-01-04T00:00:00"}