Search results for "bugs"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani	Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps.	CoRR	2020	DBLP BibTeX RDF
13	Massimiliano Di Penta, Gabriele Bavota, Fiorella Zampetti	On the Relationship between Refactoring Actions and Bugs: A Differentiated Replication.	CoRR	2020	DBLP BibTeX RDF
13	Shin Hwei Tan, Chunfeng Hu, Ziqiang Li 0005, Xiaowen Zhang, Ying Zhou	GitHub-OSS Fixit: Fixing bugs at scale in a Software Engineering Course.	CoRR	2020	DBLP BibTeX RDF
13	Manuel Rigger, Zhendong Su 0001	Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction.	CoRR	2020	DBLP BibTeX RDF
13	Pengcheng Zhang, Feng Xiao, Xiapu Luo	A Framework and DataSet for Bugs in Ethereum Smart Contracts.	CoRR	2020	DBLP BibTeX RDF
13	Maarten Vandercammen, Laurent Christophe, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover	Prioritising Server Bugs via Inter-process Concolic Testing.	CoRR	2020	DBLP BibTeX RDF
13	Anusha Bableshwar, Arun Ravindran, Manoj Iyer	A Recurrent Neural Network Based Patch Recommender for Linux Kernel Bugs.	CoRR	2020	DBLP BibTeX RDF
13	Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang	Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing.	CoRR	2020	DBLP BibTeX RDF
13	Akond Rahman, Effat Farhana	An Exploratory Characterization of Bugs in COVID-19 Software Projects.	CoRR	2020	DBLP BibTeX RDF
13	Igor Lima, Jefferson Silva, Breno Miranda, Gustavo Pinto 0001, Marcelo d'Amorim	Exposing Bugs in JavaScript Engines through Test Transplantation and Differential Testing.	CoRR	2020	DBLP BibTeX RDF
13	Xinwei Fu, Wook-Hee Kim, Ajay Paddayuru Shreepathi, Mohannad Ismail, Sunny Wadkar, Changwoo Min, Dongyoon Lee	WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs.	CoRR	2020	DBLP BibTeX RDF
13	Ishrat-Un-Nisa Uqaili, Syed Ahsan	Machine learning based prediction of complex bugs in source code.	Int. Arab J. Inf. Technol.	2020	DBLP DOI BibTeX RDF
13	Hu Huang, Samuel Z. Guyer, Jason H. Rife	Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables.	J. Aerosp. Inf. Syst.	2020	DBLP DOI BibTeX RDF
13	Seulbae Kim, Meng Xu 0001, Sanidhya Kashyap, Jungyeon Yoon, Wen Xu 0002, Taesoo Kim	Finding Bugs in File Systems with an Extensible Fuzzing Framework.	ACM Trans. Storage	2020	DBLP DOI BibTeX RDF
13	Chronis Kynigos, Marianthi Grizioti	Modifying games with ChoiCo: Integrated affordances and engineered bugs for computational thinking.	Br. J. Educ. Technol.	2020	DBLP DOI BibTeX RDF
13	Korosh Koochekian Sabor, Mohammad Hamdaqa, Abdelwahab Hamou-Lhadj	Automatic prediction of the severity of bugs using stack traces and categorical features.	Inf. Softw. Technol.	2020	DBLP DOI BibTeX RDF
13	Wei Yuan, Shan Lu 0001, Hailong Sun 0001, Xudong Liu 0001	How are distributed bugs diagnosed and fixed through system logs?	Inf. Softw. Technol.	2020	DBLP DOI BibTeX RDF
13	Hongliang Liang, Mingyue Li, Jianli Wang	Automated data race bugs addition.	EuroSec@EuroSys	2020	DBLP DOI BibTeX RDF
13	Fischer Ferreira, Eduardo Fernandes, Johnatan Oliveira, Maurício R. de A. Souza, Eduardo Figueiredo 0001	How Difficult and Effective is Writing Assertions for Observing Bugs at Runtime?	CIbSE	2020	DBLP BibTeX RDF
13	Ziyi Zhang, Boqin Qin, Yilun Chen, Linhai Song, Yiying Zhang 0005	VRLifeTime - An IDE Tool to Avoid Concurrency and Memory Bugs in Rust.	CCS	2020	DBLP DOI BibTeX RDF
13	Azalea Raad, Josh Berdine, Hoang-Hai Dang, Derek Dreyer, Peter W. O'Hearn, Jules Villard	Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic.	CAV (2)	2020	DBLP DOI BibTeX RDF
13	Jens Müller 0007, Marcus Brinkmann, Damian Poddebniak, Sebastian Schinzel, Jörg Schwenk	Mailto: Me Your Secrets. On Bugs and Features in Email End-to-End Encryption.	CNS	2020	DBLP DOI BibTeX RDF
13	Yann Herklotz, John Wickerson	Finding and Understanding Bugs in FPGA Synthesis Tools.	FPGA	2020	DBLP DOI BibTeX RDF
13	Md Rakibul Islam 0002, Minhaz F. Zibran	How bugs are fixed: exposing bug-fix patterns with edits and nesting levels.	SAC	2020	DBLP DOI BibTeX RDF
13	Jasmin Jahic, Thomas Bauer 0002, Thomas Kuhn 0001, Norbert Wehn, Pablo Oliveira Antonino	FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs.	SAI (1)	2020	DBLP DOI BibTeX RDF
13	Moumita Asad, Kishan Kumar Ganguly, Kazi Sakib	Combined Similarity Based Automated Program Repair Approaches for Expression Level Bugs.	ENASE (Selected Papers)	2020	DBLP DOI BibTeX RDF
13	Iffat Fatima, Hina Anwar, Dietmar Pfahl, Usman Qamar	Detection and Correction of Android-specific Code Smells and Energy Bugs: An Android Lint Extension.	QuASoQ@APSEC	2020	DBLP BibTeX RDF
13	Valentina Lenarduzzi, Francesco Lomio, Heikki Huttunen, Davide Taibi 0001	Are SonarQube Rules Inducing Bugs?	SANER	2020	DBLP DOI BibTeX RDF
13	Syed Fatiul Huq, Ali Zafar Sadiq, Kazi Sakib	Is Developer Sentiment Related to Software Bugs: An Exploratory Study on GitHub Commits.	SANER	2020	DBLP DOI BibTeX RDF
13	Felipe Ebert, Fernando Castor, Alexander Serebrenik	A Reflection on "An Exploratory Study on Exception Handling Bugs in Java Programs".	SANER	2020	DBLP DOI BibTeX RDF
13	Filipe Falcão, Caio Barbosa, Baldoino Fonseca, Alessandro Garcia 0001, Márcio Ribeiro 0001, Rohit Gheyi	On Relating Technical, Social Factors, and the Introduction of Bugs.	SANER	2020	DBLP DOI BibTeX RDF
13	Hao Ren, Yanhui Li, Lin Chen 0015	An Empirical Study on Critical Blocking Bugs.	ICPC	2020	DBLP DOI BibTeX RDF
13	Fraser Brown, Deian Stefan, Dawson R. Engler	Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code.	USENIX Security Symposium	2020	DBLP BibTeX RDF
13	Christoph Frädrich, Florian Obermüller, Nina Körber, Ute Heuer, Gordon Fraser 0001	Common Bugs in Scratch Programs.	ITiCSE	2020	DBLP DOI BibTeX RDF
13	Taekjin Lee, Seongil Wi, Suyoung Lee, Sooel Son	FUSE: Finding File Upload Bugs via Penetration Testing.	NDSS	2020	DBLP BibTeX RDF
13	Hadi Jahanshahi, Mucahit Cevik, Ayse Basar	Predicting the Number of Reported Bugs in a Software Repository.	Canadian AI	2020	DBLP DOI BibTeX RDF
13	Shuqing Li, Yechang Wu, Yi Liu, Dinghua Wang, Ming Wen 0001, Yida Tao, Yulei Sui, Yepang Liu 0001	An Exploratory Study of Bugs in Extended Reality Applications on the Web.	ISSRE	2020	DBLP DOI BibTeX RDF
13	Yiwei Wang 0001, Wei Wang 0059, Yujun Cai, Bryan Hooi, Beng Chin Ooi	Detecting Implementation Bugs in Graph Convolutional Network based Node Classifiers.	ISSRE	2020	DBLP DOI BibTeX RDF
13	Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang	Detecting critical bugs in SMT solvers using blackbox mutational fuzzing.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
13	Massimiliano Di Penta, Gabriele Bavota, Fiorella Zampetti	On the relationship between refactoring actions and bugs: a differentiated replication.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
13	Yizhuo Zhai, Yu Hao 0006, Hang Zhang 0012, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, Paul L. Yu	UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
13	Ratnadira Widyasari, Sheng Qin Sim, Camellia Lok, Haodi Qi, Jack Phan, Qijin Tay, Constance Tan, Fiona Wee, Jodie Ethelda Tan, Yuheng Yieh, Brian Goh, Ferdian Thung, Hong Jin Kang, Thong Hoang, David Lo 0001, Eng Lieh Ouh	BugsInPy: a database of existing bugs in Python programs to enable controlled testing and debugging studies.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
13	Manuel Rigger, Zhendong Su 0001	Detecting optimization bugs in database engines via non-optimizing reference engine construction.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
13	Yuhao Zhang 0005, Luyao Ren, Liqian Chen, Yingfei Xiong 0001, Shing-Chi Cheung, Tao Xie 0001	Detecting numerical bugs in neural network architectures.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
13	Hiromu Yakura, Youhei Akimoto, Jun Sakuma	Generate (Non-Software) Bugs to Fool Classifiers.	AAAI	2020	DBLP DOI BibTeX RDF
13	Sonu Mehta, Ranjita Bhagwan, Rahul Kumar 0002, Chetan Bansal, Chandra Shekhar Maddila, Balasubramanyan Ashok, Sumit Asthana, Christian Bird, Aditya Kumar	Rex: Preventing Bugs and Misconfiguration in Large Services Using Correlated Change Analysis.	NSDI	2020	DBLP BibTeX RDF
13	Pietro Bressana, Noa Zilberman, Robert Soulé	Finding hard-to-find data plane bugs with a PTA.	CoNEXT	2020	DBLP DOI BibTeX RDF
13	Li Jia, Hao Zhong 0001, Xiaoyin Wang, Linpeng Huang, Xuansheng Lu	An Empirical Study on Bugs Inside TensorFlow.	DASFAA (1)	2020	DBLP DOI BibTeX RDF
13	Yasmin B. Kafai, Gautam Biswas, Nicole Hutchins, Caitlin Snyder, Karen Brennan, Paulina Haduong, Kayla DesPortes, Morgan Fong, Virginia J. Flood, Oia Walker-van Aalst, David DeLiema, Deborah A. Fields, Melissa S. Gresalfi, Corey E. Brady, Selena Steinberg, Madison Knowe, Diana Franklin, Merijke Coenraad, David Weintrop, Donna Eatinger, Jen Palmer, Michelle Hoda Wilkerson, Collette Roberto, Nicole Bulalacao, Joshua A. Danish	Turning Bugs into Learning Opportunities: Understanding Debugging Processes, Perspectives, and Pedagogies.	ICLS	2020	DBLP BibTeX RDF
13	Noura Alomar, Primal Wijesekera, Edward Qiu, Serge Egelman	"You've Got Your Nice List of Bugs, Now What?" Vulnerability Discovery and Management Processes in the Wild.	SOUPS @ USENIX Security Symposium	2020	DBLP BibTeX RDF
13	Hui Li, Dong Wang, Tianze Huang, Yu Gao 0002, Wensheng Dou, Lijie Xu, Wei Wang 0049, Jun Wei 0001, Hua Zhong 0001	Detecting cache-related bugs in Spark applications.	ISSTA	2020	DBLP DOI BibTeX RDF
13	Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi 0001	Detecting and understanding real-world differential performance bugs in machine learning libraries.	ISSTA	2020	DBLP DOI BibTeX RDF
13	Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani	Data loss detector: automatically revealing data loss bugs in Android apps.	ISSTA	2020	DBLP DOI BibTeX RDF
13	Roman Kápl, Pavel Parízek	Endicheck: Dynamic Analysis for Detecting Endianness Bugs.	TACAS (2)	2020	DBLP DOI BibTeX RDF
13	Fabian Ruffy, Tao Wang, Anirudh Sivaraman	Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing.	OSDI	2020	DBLP BibTeX RDF
13	Jacqueline Whalley, Harley Ogier	Learning Journals in Creative Programming Assessments: Exposing Bugs, Issues, and Misconceptions.	ACE	2020	DBLP DOI BibTeX RDF
13	Oussama Beroual, Francis Guérin, Sylvain Hallé	Detecting Responsive Web Design Bugs with Declarative Specifications.	ICWE	2020	DBLP DOI BibTeX RDF
13	Yana Malysheva, Caitlin Kelleher	Using Bugs in Student Code to Predict Need for Help.	VL/HCC	2020	DBLP DOI BibTeX RDF
13	Thamali Madhushani Adhikari, Yan Wu	Classifying Software Vulnerabilities by Using the Bugs Framework.	ISDFS	2020	DBLP DOI BibTeX RDF
13	Aryaz Eghbali, Michael Pradel	No Strings Attached: An Empirical Study of String-related Software Bugs.	ASE	2020	DBLP DOI BibTeX RDF
13	Haochen He, Zhouyang Jia, Shanshan Li 0001, Erci Xu, Tingting Yu, Yue Yu 0001, Ji Wang 0001, Xiangke Liao	CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs.	ASE	2020	DBLP DOI BibTeX RDF
13	Byron Cook, Björn Döbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz	Using model checking tools to triage the severity of security bugs in the Xen hypervisor.	FMCAD	2020	DBLP DOI BibTeX RDF
13	Joshua Garcia, Yang Feng 0003, Junjie Shen 0001, Sumaya Almanee, Yuan Xia, Qi Alfred Chen	A comprehensive study of autonomous vehicle bugs.	ICSE	2020	DBLP DOI BibTeX RDF
13	Mingyuan Wu, Yicheng Ouyang, Husheng Zhou, Lingming Zhang 0001, Cong Liu 0005, Yuqun Zhang	Simulee: detecting CUDA synchronization bugs via memory-access modeling.	ICSE	2020	DBLP DOI BibTeX RDF
13	Sohil Lal Shrestha	Automatic generation of simulink models to find bugs in a cyber-physical system tool chain using deep learning.	ICSE (Companion Volume)	2020	DBLP DOI BibTeX RDF
13	Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner	SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI).	ICSE (Companion Volume)	2020	DBLP DOI BibTeX RDF
13	Wanwangying Ma, Lin Chen 0015, Xiangyu Zhang 0001, Yang Feng 0003, Zhaogui Xu, Zhifei Chen, Yuming Zhou, Baowen Xu	Impact analysis of cross-project bugs on software ecosystems.	ICSE	2020	DBLP DOI BibTeX RDF
13	Anders Fischer-Nielsen, Zhoulai Fu, Ting Su 0001, Andrzej Wasowski	The forgotten case of the dependency bugs: on the example of the robot operating system.	ICSE (SEIP)	2020	DBLP DOI BibTeX RDF
13	Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner	SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink.	ICSE	2020	DBLP DOI BibTeX RDF
13	Andrzej Wasowski	Dependency bugs: the dark side of variability, reuse and modularity.	VaMoS	2020	DBLP DOI BibTeX RDF
13	Jingzhu He, Ting Dai, Xiaohui Gu, Guoliang Jin	HangFix: automatically fixing software hang bugs for production cloud systems.	SoCC	2020	DBLP DOI BibTeX RDF
13	Jinghan Sun, Chen Wang 0004, Jian Huang 0006, Marc Snir	Understanding and Finding Crash-Consistency Bugs in Parallel File Systems.	HotStorage	2020	DBLP BibTeX RDF
13	Noam Zilberstein	Eliminating bugs with dependent Haskell (experience report).	Haskell@ICFP	2020	DBLP DOI BibTeX RDF
13	Daniel DeFreez, Antara Bhowmick, Ignacio Laguna, Cindy Rubio-González	Detecting and reproducing error-code propagation bugs in MPI implementations.	PPoPP	2020	DBLP DOI BibTeX RDF
13	Peipei Wang, Chris Brown 0001, Jamie A. Jennings, Kathryn T. Stolee	An Empirical Study on Regular Expression Bugs.	MSR	2020	DBLP DOI BibTeX RDF
13	Rafael-Michael Karampatsis, Charles Sutton	How Often Do Single-Statement Bugs Occur?: The ManySStuBs4J Dataset.	MSR	2020	DBLP DOI BibTeX RDF
13	Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, Ke Wang	Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs.	ICLR	2020	DBLP BibTeX RDF
13	Rafi Almhana, Thiago do Nascimento Ferreira, Marouane Kessentini, Tushar Sharma 0001	Understanding and Characterizing Changes in Bugs Priority: The Practitioners' Perceptive.	SCAM	2020	DBLP DOI BibTeX RDF
13	Felix Dobslaw, Morgan Vallin, Robin Sundström	Free the Bugs: Disclosing Blocking Violations in Reactive Programming.	SCAM	2020	DBLP DOI BibTeX RDF
13	Camilo Escobar-Velásquez, Michael Osorio-Riaño, Juan Dominguez-Osorio, Maria Arevalo, Mario Linares-Vásquez	An Empirical Study of i18n Collateral Changes and Bugs in GUIs of Android apps.	ICSME	2020	DBLP DOI BibTeX RDF
13	Mohammad Masudur Rahman 0001, Foutse Khomh, Marco Castelluccio	Why are Some Bugs Non-Reproducible? : -An Empirical Investigation using Data Fusion-.	ICSME	2020	DBLP DOI BibTeX RDF
13	Pengcheng Zhang, Feng Xiao, Xiapu Luo	A Framework and DataSet for Bugs in Ethereum Smart Contracts.	ICSME	2020	DBLP DOI BibTeX RDF
13	Sanjeev Das, Kedrian James, Jan Werner, Manos Antonakakis, Michalis Polychronakis, Fabian Monrose	A Flexible Framework for Expediting Bug Finding by Leveraging Past (Mis-)Behavior to Discover New Bugs.	ACSAC	2020	DBLP DOI BibTeX RDF
13	Qinchen Liu, Jianwen Xiang, Bin Xu, Dongdong Zhao 0001, Wenhua Hu, Jian Wang	Aging-Related Bugs Prediction Via Convolutional Neural Network.	DSA	2020	DBLP DOI BibTeX RDF
13	Zan Wang, Haichi Wang, Shuang Liu 0007, Jun Sun 0001, Haoyu Wang, Junjie Chen 0003	IFIX: Fixing Concurrency Bugs While They Are Introduced.	ICECCS	2020	DBLP DOI BibTeX RDF
13	Christian Gram Kalhauge	Reporting Bugs in Metaprograms.		2020	RDF
13	Christopher Salls	Fuzzing and Symbolic Execution to Identify and Patch Bugs.		2020	RDF
13	Milijana Surbatovich, Limin Jia 0001, Brandon Lucia	I/O dependent idempotence bugs in intermittent systems.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
13	Shuai Wang 0011, Chengyu Zhang 0001, Zhendong Su 0001	Detecting nondeterministic payment bugs in Ethereum smart contracts.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
13	Johannes Bader 0001, Andrew Scott, Michael Pradel, Satish Chandra 0001	Getafix: learning to fix bugs automatically.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
13	Dayi Lin, Cor-Paul Bezemer, Ahmed E. Hassan	Identifying gameplay videos that exhibit bugs in computer games.	Empir. Softw. Eng.	2019	DBLP DOI BibTeX RDF
13	Le An, Marco Castelluccio, Foutse Khomh	An empirical study of DLL injection bugs in the Firefox ecosystem.	Empir. Softw. Eng.	2019	DBLP DOI BibTeX RDF
13	Chenyang Zhu 0001, Zhengwei Zhu, Yunxin Xie, Wei Jiang 0022, Guiling Zhang	Evaluation of Machine Learning Approaches for Android Energy Bugs Detection With Revision Commits.	IEEE Access	2019	DBLP DOI BibTeX RDF
13	Chen Zhang, Jiaxin Li, Dongsheng Li 0001, Xicheng Lu	Understanding and Statically Detecting Synchronization Performance Bugs in Distributed Cloud Systems.	IEEE Access	2019	DBLP DOI BibTeX RDF
13	Yuxia Sun, Shing-Chi Cheung, Song Guo 0001, Ming Cheng	Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs.	IEEE Internet Things J.	2019	DBLP DOI BibTeX RDF
13	Mario Serna, Abraham Sánchez López, Martín Estrada Analco, María Beatríz Bernábe Loranca, Elberfeld E. Pérez G.	Navegación de robots móviles utilizando algoritmos Bugs extendidos.	Res. Comput. Sci.	2019	DBLP BibTeX RDF
13	Owolabi Legunsen, Nader Al Awar, Xinyue Xu, Wajih Ul Hassan, Grigore Rosu, Darko Marinov	How effective are existing Java API specifications for finding bugs during runtime verification?	Autom. Softw. Eng.	2019	DBLP DOI BibTeX RDF
13	Farimah Farahmandi, Prabhat Mishra 0001	Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits.	IEEE Trans. Computers	2019	DBLP DOI BibTeX RDF
13	Sergey A. Asryan, Sergey S. Gaissaryan, Shamil F. Kurmangaleev, A. M. Aghabalyan, N. G. Hovsepyan, S. S. Sargsyan	Dynamic Detection of Use-After-Free Bugs.	Program. Comput. Softw.	2019	DBLP DOI BibTeX RDF
13	Xiaobing Sun, Xin Peng 0001, Kai Zhang, Yang Liu 0003, Yuanfang Cai	How security bugs are fixed and what can be improved: an empirical study with Mozilla.	Sci. China Inf. Sci.	2019	DBLP DOI BibTeX RDF