$Cover Image$

Inconsistencies in TeX-Produced Documents

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tan, Jovyn, Rigger, Manuel
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Finding XPath Bugs in XML Document Processors via Differential Testing
by: Li, Shuxin, et al.
Published: (2024)

Testing Database Engines via Query Plan Guidance
by: Ba, Jinsheng, et al.
Published: (2023)

Towards a Unified Query Plan Representation
by: Ba, Jinsheng, et al.
Published: (2024)

CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
by: Ba, Jinsheng, et al.
Published: (2023)

Scaling Automated Database System Testing
by: Zhong, Suyang, et al.
Published: (2025)

Testing Database Systems with Large Language Model Synthesized Fragments
by: Zhong, Suyang, et al.
Published: (2025)

Finding Cross-rule Optimization Bugs in Datalog Engines
by: Zhang, Chi, et al.
Published: (2024)

Metamorphic Coverage
by: Ba, Jinsheng, et al.
Published: (2025)

Dialect-Agnostic SQL Parsing via LLM-Based Segmentation
by: An, Junwen, et al.
Published: (2026)

Constant Optimization Driven Database System Testing
by: Zhang, Chi, et al.
Published: (2025)

GraphFuzz: Automated Testing of Graph Algorithm Implementations with Differential Fuzzing and Lightweight Feedback
by: Yan, Wenqi, et al.
Published: (2025)

Detecting Build Dependency Errors in Incremental Builds
by: Lyu, Jun, et al.
Published: (2024)

Enhanced Differential Testing in Emerging Database Systems
by: Jiang, Yuancheng, et al.
Published: (2025)

Understanding and Reusing Test Suites Across Database Systems
by: Zhong, Suyang, et al.
Published: (2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
by: Deng, Wenjing, et al.
Published: (2024)

DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
by: Xu, Xiaomeng, et al.
Published: (2025)

METAMON: Finding Inconsistencies between Program Documentation and Behavior using Metamorphic LLM Queries
by: Lee, Hyeonseok, et al.
Published: (2025)

Mitigating Implicit Inconsistencies in Patch Porting
by: Pan, Shengyi, et al.
Published: (2026)

Investigating the Impact of Code Comment Inconsistency on Bug Introducing
by: Radmanesh, Shiva, et al.
Published: (2024)

Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
by: Li, Lantian, et al.
Published: (2025)

CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation
by: Kiecker, Tobias, et al.
Published: (2026)

Detecting Multi-Parameter Constraint Inconsistencies in Python Data Science Libraries
by: Xu, Xiufeng, et al.
Published: (2024)

I3DE: An IDE for Inspecting Inconsistencies in PL/SQL Code
by: Liu, Jiangshan, et al.
Published: (2024)

An Empirical Analysis of Git Commit Logs for Potential Inconsistency in Code Clones
by: Yokomori, Reishi, et al.
Published: (2024)

Event-Driven Inconsistency Detection Between UML Class and Sequence Diagrams
by: Lazzari, Luan, et al.
Published: (2025)

Domain-constrained Synthesis of Inconsistent Key Aspects in Textual Vulnerability Descriptions
by: Han, Linyi, et al.
Published: (2025)

Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
by: Yang, Shuo, et al.
Published: (2024)

XBIDetective: Leveraging Vision Language Models for Identifying Cross-Browser Visual Inconsistencies
by: Grewal, Balreet, et al.
Published: (2025)

Larger Is Not Always Better: Leveraging Structured Code Diffs for Comment Inconsistency Detection
by: Nguyen, Phong, et al.
Published: (2025)

CCISolver: End-to-End Detection and Repair of Method-Level Code-Comment Inconsistency
by: Zhong, Renyi, et al.
Published: (2025)

DocChecker: Bootstrapping Code Large Language Model for Detecting and Resolving Code-Comment Inconsistencies
by: Dau, Anh T. V., et al.
Published: (2023)

ParityFuzz: Finding Inconsistencies across Solidity Compilers via Fine-Grained Mutation and Differential Analysis
by: Su, Bowei, et al.
Published: (2026)

LLM4FP: LLM-Based Program Generation for Triggering Floating-Point Inconsistencies Across Compilers
by: Wang, Yutong, et al.
Published: (2025)

Privacy and Confidentiality Requirements Engineering for Process Data
by: Haertel, Fabian, et al.
Published: (2025)

Can LLMs Produce Better Object-Oriented Designs than Human-Involved Development?
by: Zhang, Zushuai, et al.
Published: (2026)

Novice Developers Produce Larger Review Overhead for Project Maintainers while Vibe Coding
by: Asdaque, Syed Ammar, et al.
Published: (2026)

LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models
by: Chen, Hongbo, et al.
Published: (2024)

When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
by: Ma, Jie, et al.
Published: (2026)

Defining the Game Producer: A Mapping of Key Characteristics and Differentiators of the Professional Behind Digital Game Production
by: Lopes, Rafael C., et al.
Published: (2025)

Beyond Functional Correctness: Investigating Coding Style Inconsistencies in Large Language Models
by: Wang, Yanlin, et al.
Published: (2024)