Thu 8 Nov 2018 15:30 - 15:52 at Horizons 5 - Testing II Chair(s): Tevfik Bultan

Electronic documents are widely used to store and share information such as bank statements, contracts, articles, maps and tax information. Many different applications exist for displaying a given electronic document, and users rightfully assume that documents will be rendered similarly independently of the application used. However, this is not always the case, and these inconsistencies, regardless of their causes—bugs in the application or the file itself—can become critical sources of miscommunication. In this paper, we present a study on the correctness of PDF documents and readers. We start by manually investigating a large number of real-world PDF documents to understand the frequency and characteristics of cross-reader inconsistencies, and find that such inconsistencies are common—13.5% PDF files are inconsistently rendered by at least one popular reader. We then propose an approach to detect and localize the source of such inconsistencies automatically. We evaluate our automatic approach on a large corpus of over 230 K documents using 11 popular readers and our experiments have detected 30 unique bugs in these readers and files. We also reported 33 bugs, some of which have already been confirmed or fixed by developers.

Thu 8 Nov

fse-2018-research-papers
15:30 - 17:00: Research Papers - Testing II at Horizons 5
Chair(s): Tevfik BultanUniversity of California, Santa Barbara
fse-2018-Journal-First15:30 - 15:52
Talk
Tomasz Kuchta, Thibaud Lutellier, Edmund Wong, Lin TanUniversity of Waterloo , Cristian CadarImperial College London
DOI
fse-2018-research-papers15:52 - 16:15
Talk
Junjie ChenPeking University, Yiling LouPeking University, China, Lingming Zhang, Jianyi ZhouPeking University, China, Xiaoleng WangBaidu, China, Dan HaoPeking University, Lu ZhangPeking University
fse-2018-research-papers16:15 - 16:37
Talk
Peipei WangNorth Carolina State University, USA, Kathryn StoleeNorth Carolina State University
fse-2018-research-papers16:37 - 17:00
Talk
Mijung KimHong Kong University of Science and Technology, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Sunghun KimHong Kong University of Science and Technology