Empirical Software Engineering Journal, 17 Apr 2019 On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files.