{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:05:43Z","timestamp":1783008343907,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":83,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T00:00:00Z","timestamp":1726012800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,11]]},"DOI":"10.1145\/3650212.3680370","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"1415-1427","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Inconsistencies in TeX-Produced Documents"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-5086-9959","authenticated-orcid":false,"given":"Jovyn","family":"Tan","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8303-2099","authenticated-orcid":false,"given":"Manuel","family":"Rigger","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2018. What are XeTeX and LuaTeX? https:\/\/texfaq.org\/FAQ-xetex-luatex"},{"key":"e_1_3_2_1_2_1","unstructured":"2022. Starting a New Era with 11 Million Users and 100 Million Projects. https:\/\/www.overleaf.com\/blog\/starting-a-new-era-with-11-million-users-and-100-million-projects"},{"key":"e_1_3_2_1_3_1","unstructured":"2023. Category Taxonomy."},{"key":"e_1_3_2_1_4_1","unstructured":"2023. History of TeX. https:\/\/www.tug.org\/whatis.html"},{"key":"e_1_3_2_1_5_1","unstructured":"2023. ignoring space after \\eqno #1059. https:\/\/github.com\/latex3\/latex2e\/issues\/1059"},{"key":"e_1_3_2_1_6_1","unstructured":"2023. Instructions to Authors. https:\/\/academic.oup.com\/mnras\/pages\/general_instructions"},{"key":"e_1_3_2_1_7_1","unstructured":"2023. LaTeX2e News Issue 38. https:\/\/www.latex-project.org\/news\/latex2e-news\/ltnews38.pdf"},{"key":"e_1_3_2_1_8_1","volume-title":"Manuscript Templates for Conference Proceedings. https:\/\/www.ieee.org\/conferences\/publishing\/templates.html","unstructured":"2023. Manuscript Templates for Conference Proceedings. https:\/\/www.ieee.org\/conferences\/publishing\/templates.html"},{"key":"e_1_3_2_1_9_1","unstructured":"2023. REVTeX Home Page. https:\/\/journals.aps.org\/revtex"},{"key":"e_1_3_2_1_10_1","unstructured":"2023. What are TEX and its friends? https:\/\/www.ctan.org\/tex"},{"key":"e_1_3_2_1_11_1","unstructured":"2024. arXiv.org e-Print archive."},{"key":"e_1_3_2_1_12_1","unstructured":"2024. Setting curr file breaks compilation with images. https:\/\/www.dickimaw-books.com\/bugtracker.php?key=273"},{"key":"e_1_3_2_1_13_1","unstructured":"2024. TeX Submissions."},{"key":"e_1_3_2_1_14_1","unstructured":"2024. TeX::AutoTeX - automated processing of (La-)TeX sources - metacpan.org. https:\/\/metacpan.org\/pod\/TeX::AutoTeX##SYNOPSIS"},{"key":"e_1_3_2_1_15_1","unstructured":"2024. TeXLive Availability. https:\/\/www.tug.org\/texlive\/acquire.html"},{"key":"e_1_3_2_1_16_1","unstructured":"2024. texlive\/texlive - Docker Image | Docker Hub. https:\/\/hub.docker.com\/r\/texlive\/texlive"},{"key":"e_1_3_2_1_17_1","unstructured":"2024. Welcome to TeX Live. https:\/\/www.tug.org\/texlive\/\/Contents\/live\/readme-html.dir\/readme.en.html"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106267"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1209\/0295-5075"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.6339\/21-jds998"},{"key":"e_1_3_2_1_21_1","unstructured":"Paschalis Bizopoulos. 2023. A Makefile for Developing Containerized LaTeX Technical Documents. arxiv:2005.12660."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Christof Bless Ildar Baimuratov and Oliver Karras. 2023. SciKGTeX \u2013 A LaTeX Package to Semantically Annotate Contributions in Scientific Publications. arxiv:2304.05327.","DOI":"10.1109\/JCDL57899.2023.00030"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510230"},{"key":"e_1_3_2_1_24_1","volume-title":"McCurley","author":"Bos Joppe W.","year":"2023","unstructured":"Joppe W. Bos and Kevin S. McCurley. 2023. LaTeX, metadata, and publishing workflows. arxiv:2301.08277."},{"key":"e_1_3_2_1_25_1","volume-title":"Pa.), 23","author":"Brischoux Fran\u00e7ois","year":"2009","unstructured":"Fran\u00e7ois Brischoux and Pierre Legagneux. 2009. Don\u2019t Format Manuscripts. Scientist (Philadelphia, Pa.), 23 (2009), 04, 24\u201324."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1177\/0049124113500475"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786835"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2743019"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133917"},{"key":"e_1_3_2_1_31_1","unstructured":"Heng Dong Junyu Zhang Tonghan Wang and Chongjie Zhang. 2023. Symmetry-Aware Robot Design with Structured Subgroups. arxiv:2306.00036."},{"key":"e_1_3_2_1_32_1","unstructured":"H\u00e0n Th\u00ea\u00b4 Th\u00e0nh et al. 2023. The pdfTeX user manual. https:\/\/texdoc.org\/serve\/pdftex-a.pdf\/0"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598130"},{"key":"e_1_3_2_1_34_1","unstructured":"FrankMittelbach. 2021. \\\\ variants in tables are not robust. https:\/\/github.com\/latex3\/latex2e\/issues\/548"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10701-016-0044-5"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.2202\/1446-9022.1119"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397374"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093564"},{"key":"e_1_3_2_1_39_1","unstructured":"Hans Hagen Harmut Henkel Taco Hoekwater and Luigi Scarso. 2023. LuaTeX Reference Manual. http:\/\/mirrors.ibiblio.org\/CTAN\/systems\/doc\/luatex\/luatex.pdf"},{"key":"e_1_3_2_1_40_1","volume-title":"Lyu","author":"Jiang Shuyao","year":"2023","unstructured":"Shuyao Jiang, Ruiying Zeng, Zihao Rao, Jiazhen Gu, Yangfan Zhou, and Michael R. Lyu. 2023. Revealing Performance Issues in Server-side WebAssembly Runtimes via Differential Testing. arxiv:2309.12167."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2019.00065"},{"key":"e_1_3_2_1_42_1","unstructured":"jovyntls. 2024. Changes in horizontal spacing in some equations. https:\/\/github.com\/latex3\/latex2e\/issues\/1319"},{"key":"e_1_3_2_1_43_1","unstructured":"jovyntls. 2024. Importing colortbl changes horizontal spacing. https:\/\/github.com\/davidcarlisle\/dpctex\/issues\/48"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10032-022-00420-9"},{"key":"e_1_3_2_1_45_1","volume-title":"TUG 2005 Proceedings (2005 International Typesetting Conference). TUGBoat","author":"Kew Jonathan","year":"2005","unstructured":"Jonathan Kew. 2005. XeTeX, the Multilingual Lion: TEX meets Unicode and smart font technologies. In TUG 2005 Proceedings (2005 International Typesetting Conference). TUGBoat, Portland, Oregon, U.S.A. 115\u2013124."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359662"},{"key":"e_1_3_2_1_47_1","unstructured":"Devi Klein Josef Spjut Ben Boudaoud and Joohwan Kim. 2023. The Influence of Variable Frame Timing on First-Person Gaming. arxiv:2306.01691."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Christian Klinger Maria Christakis and Valentin W\u00fcstholz. 2018. Differentially Testing Soundness and Precision of Program Analyzers. arxiv:1812.05033.","DOI":"10.1145\/3293882.3330553"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9600-2"},{"key":"e_1_3_2_1_50_1","unstructured":"Guilhem Lacombe Kseniia Masalygina Anass Tahiri Carole Adam and C\u00e9dric Lauradoux. 2021. Can You Accept LaTeX Files from Strangers? Ten Years Later. arxiv:2102.00856."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591294"},{"key":"e_1_3_2_1_52_1","unstructured":"Shuxin Li and Manuel Rigger. 2024. Finding XPath Bugs in XML Document Processors via Differential Testing. arxiv:2401.05112."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2834476"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"e_1_3_2_1_55_1","unstructured":"Wei Lin Ziyue Hua Luyao Ren Zongyang Li Lu Zhang and Tao Xie. 2022. GDsmith: Detecting Bugs in Graph Database Engines. arxiv:2206.08530."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11042-016-3414-2"},{"key":"e_1_3_2_1_57_1","unstructured":"Luke Marris Ian Gemp Siqi Liu Joel Z. Leibo and Georgios Piliouras. 2024. Visualizing 2x2 Normal-Form Games: twoxtwogame LaTeX Package. arxiv:2402.16985."},{"key":"e_1_3_2_1_58_1","first-page":"100","article-title":"Differential Testing for Software","volume":"10","author":"McKeeman William M.","year":"1998","unstructured":"William M. McKeeman. 1998. Differential Testing for Software. Digit. Tech. J., 10, 1 (1998), 100\u2013107. https:\/\/www.hpl.hp.com\/hpjournal\/dtj\/vol10num1\/vol10num1art9.pdf","journal-title":"Digit. Tech. J."},{"key":"e_1_3_2_1_59_1","volume-title":"Fuzz Revisited: A Re-Examination of the Reliability of UNIX Utilities and Services. 01.","author":"Miller Barton","year":"1998","unstructured":"Barton Miller, David Koski, Cjin Lee, Vivekananda Maganty, Ravi Murthy, Ajitkumar Natarajan, and Jeff Steidl. 1998. Fuzz Revisited: A Re-Examination of the Reliability of UNIX Utilities and Services. 01."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145735.1145743"},{"key":"e_1_3_2_1_61_1","unstructured":"Frank Mittelbach. 2024. array package exhibits a surprising spacing difference when math cells end in explicit spaces. https:\/\/github.com\/latex3\/latex2e\/issues\/1323"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/aicas57966.2023.10168657"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4655(95)90137-s"},{"key":"e_1_3_2_1_64_1","volume-title":"JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. arxiv:2102.07498.","author":"Park Jihyeok","year":"2021","unstructured":"Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, and Sukyoung Ryu. 2021. JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. arxiv:2102.07498."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"crossref","unstructured":"Daniel Rosa Filipe R. Cordeiro Ruan Carvalho Everton Souza Sergio Chevtchenko Luiz Rodrigues Marcelo Marinho Thales Vieira and Valmir Macario. 2023. Recognizing Handwritten Mathematical Expressions of Vertical Addition and Subtraction. arxiv:2308.05820.","DOI":"10.1109\/SIBGRAPI59091.2023.10347150"},{"key":"e_1_3_2_1_66_1","volume-title":"Dragging developers towards the core. How the Free\/Libre\/Open Source Software community enhances developers","author":"Rullani Francesco","year":"2006","unstructured":"Francesco Rullani. 2006. Dragging developers towards the core. How the Free\/Libre\/Open Source Software community enhances developers\u2019 contribution. Laboratory of Economics and Management (LEM), Sant\u2019Anna School of Advanced Studies, Pisa, Italy. https:\/\/ideas.repec.org\/p\/ssa\/lemwps\/2006-22.html"},{"key":"e_1_3_2_1_67_1","volume-title":"AddressSanitizer: A Fast Address Sanity Checker. In 2012 USENIX Annual Technical Conference (USENIX ATC 12)","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitriy Vyukov. 2012. AddressSanitizer: A Fast Address Sanity Checker. In 2012 USENIX Annual Technical Conference (USENIX ATC 12). USENIX Association, Boston, MA. 309\u2013318. isbn:978-931971-93-5 https:\/\/www.usenix.org\/conference\/atc12\/technical-sessions\/presentation\/serebryany"},{"key":"e_1_3_2_1_68_1","unstructured":"Sumeet S. Singh. 2018. Teaching Machines to Code: Neural Markup Generation with Visual Attention. arxiv:1802.05415."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3561152"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1068\/p7063"},{"key":"e_1_3_2_1_71_1","unstructured":"American Physical Society. 2018. REVTeX 4.2 Author\u2019s Guide."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00137"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2015.7054186"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884879"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","unstructured":"Jovyn Tan and Manuel Rigger. 2024. Artefact for \"Inconsistencies in TeX-Produced Documents\". https:\/\/doi.org\/10.5281\/zenodo.12669708 10.5281\/zenodo.12669708","DOI":"10.5281\/zenodo.12669708"},{"key":"e_1_3_2_1_76_1","unstructured":"Bezhentcev Roman Vadimovich. 2013. Software for creating pictures in the LaTeX environment. arxiv:1304.0600."},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"crossref","unstructured":"Domonkos F. Vamossy. 2023. Social Media Emotions and IPO Returns. arxiv:2306.12602.","DOI":"10.2139\/ssrn.4384573"},{"key":"e_1_3_2_1_78_1","unstructured":"Zelun Wang and Jyh-Charn Liu. 2019. Translating Math Formula Images to LaTeX Sequences Using Deep Neural Networks with Sequence-level Training. arxiv:1908.11415."},{"key":"e_1_3_2_1_79_1","unstructured":"Tsaihsuan Yang. 2017. An Intelligent and Automated PDF Format Checker."},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534409"},{"key":"e_1_3_2_1_83_1","unstructured":"Fengmin Zhu and Fei He. 2022. EqFix: Fixing LaTeX Equation Errors by Examples. arxiv:2107.00613."}],"event":{"name":"ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Vienna Austria","acronym":"ISSTA '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680370","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3680370","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:08Z","timestamp":1750287008000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680370"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":83,"alternative-id":["10.1145\/3650212.3680370","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3680370","relation":{},"subject":[],"published":{"date-parts":[[2024,9,11]]},"assertion":[{"value":"2024-09-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}