Search results for "bugs"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Shaikh Mostafa, Xiaoyin Wang	An Exploration Study On the Dependency Among Vulnerabilities and Bugs.	APSEC	2021	DBLP DOI BibTeX RDF
13	Wenchu Xu, Yanran Ma	Mining and Detecting Bugs in Introductory Programs.	SEED/QuASoQ@APSEC	2021	DBLP BibTeX RDF
13	Emilio Rivera-Landos, Foutse Khomh, Amin Nikanjam	The Challenge of Reproducible ML: An Empirical Study on The Impact of Bugs.	QRS	2021	DBLP DOI BibTeX RDF
13	Carmen Torres Lopez, Louise Van Verre, Elisa Gonzalez Boix	What's the problem? interrogating actors to identify the root cause of concurrency bugs.	AGERE!@SPLASH	2021	DBLP DOI BibTeX RDF
13	Berfin Kucuk, Eray Tuzun	Characterizing Duplicate Bugs: An Empirical Analysis.	SANER	2021	DBLP DOI BibTeX RDF
13	Xiaoyuan Xie, Haolin Yang, Qiang He 0001, Lin Chen 0015	Towards Understanding Tool-chain Bugs in the LLVM Compiler Infrastructure.	SANER	2021	DBLP DOI BibTeX RDF
13	Mathieu Laurent, Emmanuelle Saillard, Martin Quinson	The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation.	Correctness@SC	2021	DBLP DOI BibTeX RDF
13	HyungSeok Han, Andrew Wesie, Brian Pak	Precise and Scalable Detection of Use-after-Compacting-Garbage-Collection Bugs.	USENIX Security Symposium	2021	DBLP BibTeX RDF
13	Libo Chen, Yanhao Wang, Quanpu Cai, Yunfan Zhan, Hong Hu 0004, Jiaqi Linghu, Qinsheng Hou, Chao Zhang 0008, Haixin Duan, Zhi Xue	Sharing More and Checking Less: Leveraging Common Input Keywords to Detect Bugs in Embedded Systems.	USENIX Security Symposium	2021	DBLP BibTeX RDF
13	Seyed Mohammadjavad Seyed Talebi, Zhihao Yao 0001, Ardalan Amiri Sani, Zhiyun Qian, Daniel Austin	Undo Workarounds for Kernel Bugs.	USENIX Security Symposium	2021	DBLP BibTeX RDF
13	Mansour Ahmadi, Reza Mirzazade Farkhani, Ryan Williams, Long Lu	Finding Bugs Using Your Own Code: Detecting Functionally-similar yet Inconsistent Code.	USENIX Security Symposium	2021	DBLP BibTeX RDF
13	Taegyu Kim, Vireshwar Kumar, Junghwan Rhee, Jizhou Chen, Kyungtae Kim, Chung Hwan Kim, Dongyan Xu, Dave (Jing) Tian	PASAN: Detecting Peripheral Access Concurrency Bugs within Bare-Metal Embedded Applications.	USENIX Security Symposium	2021	DBLP BibTeX RDF
13	Xin Tan, Yuan Zhang 0009, Xiyu Yang, Kangjie Lu, Min Yang 0002	Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking.	USENIX Security Symposium	2021	DBLP BibTeX RDF
13	Changming Liu, Yaohui Chen, Long Lu	KUBO: Precise and Scalable Detection of User-triggerable Undefined Behavior Bugs in OS Kernel.	NDSS	2021	DBLP BibTeX RDF
13	Lifan Xu, Gabriela Mogos	Bugs in Security Onion.	ICSCC	2021	DBLP DOI BibTeX RDF
13	Shyam Rajendren, Sandeep Reddivari	Predicting Number of Bugs before Launch: An Investigation based on Machine Learning.	COMPSAC	2021	DBLP DOI BibTeX RDF
13	Wenchu Xu, Yanran Ma	A Static Analysis Framework for Detecting Bugs in Introductory Programs.	ISSRE Workshops	2021	DBLP DOI BibTeX RDF
13	Irena Bojanova, Carlos Eduardo Galhardo, Sara Moshtari	Input/Output Check Bugs Taxonomy: Injection Errors in Spotlight.	ISSRE Workshops	2021	DBLP DOI BibTeX RDF
13	Xiaoting Du, Zheng Zheng 0001, Lei Ma 0003, Jianjun Zhao 0001	An Empirical Study on Common Bugs in Deep Learning Compilers.	ISSRE	2021	DBLP DOI BibTeX RDF
13	Lukas Beierlieb, Alberto Avritzer, Lukas Iffländer, Nuno Antunes, Aleksandar Milenkoski, Samuel Kounev	Software Testing Strategies for Detecting Hypercall Handlers' Aging-related Bugs.	ISSRE Workshops	2021	DBLP DOI BibTeX RDF
13	Duo Zhang, Om Rameshwar Gatla, Wei Xu, Mai Zheng	A study of persistent memory bugs in the Linux kernel.	SYSTOR	2021	DBLP DOI BibTeX RDF
13	Wuqi Zhang, Lili Wei, Shuqing Li, Yepang Liu 0001, Shing-Chi Cheung	ÐArcher: detecting on-chain-off-chain synchronization bugs in decentralized applications.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
13	Ting Su 0001, Jue Wang, Zhendong Su 0001	Benchmarking automated GUI testing for Android against real-world bugs.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
13	Dinghua Wang, Shuqing Li, Guanping Xiao, Yepang Liu 0001, Yulei Sui	An exploratory study of autopilot software bugs in unmanned aerial vehicles.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
13	Mohna Chakraborty	Does reusing pre-trained NLP model propagate bugs?	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
13	Jibesh Patra, Michael Pradel	Semantic bug seeding: a learning-based approach for creating realistic bugs.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
13	Qingchao Shen, Haoyang Ma, Junjie Chen 0003, Yongqiang Tian 0001, Shing-Chi Cheung, Xiang Chen 0005	A comprehensive study of deep learning compiler bugs.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
13	Ming Yan, Junjie Chen 0003, Xiangyu Zhang 0001, Lin Tan 0001, Gan Wang, Zan Wang	Exposing numerical bugs in deep learning via gradient back-propagation.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
13	Chijung Jung, Ali Ahad, Jinho Jung 0001, Sebastian G. Elbaum, Yonghwi Kwon 0001	Swarmbug: debugging configuration bugs in swarm robotics.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
13	Yuandao Cai, Peisen Yao, Charles Zhang 0001	Canary: practical static detection of inter-thread value-flow bugs.	PLDI	2021	DBLP DOI BibTeX RDF
13	Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan	Repairing serializability bugs in distributed database programs via automated schema refactoring.	PLDI	2021	DBLP DOI BibTeX RDF
13	Sishuai Gong, Deniz Altinbüken, Pedro Fonseca 0001, Petros Maniatis	Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis.	SOSP	2021	DBLP DOI BibTeX RDF
13	Yechan Bae, Youngsuk Kim, Ammar Askar, Jungwon Lim, Taesoo Kim	Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale.	SOSP	2021	DBLP DOI BibTeX RDF
13	Yong-Hao Zou, Jia-Ju Bai, Jielong Zhou, Jianfeng Tan, Chenggang Qin, Shi-Min Hu 0001	TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with Fuzzing.	USENIX Annual Technical Conference	2021	DBLP BibTeX RDF
13	Guorui Yu, Shibin Zhao, Chao Zhang 0008, Zhiniang Peng, Yuandong Ni, Xinhui Han	Code is the (F)Law: Demystifying and Mitigating Blockchain Inconsistency Attacks Caused by Software Bugs.	INFOCOM	2021	DBLP DOI BibTeX RDF
13	Toshihiro Nakamura, Akito Monden, Mariko Sasakura, Hidetake Uwano	Effectiveness of Explaining a Program to Others in Finding Its Bugs.	SNPD	2021	DBLP DOI BibTeX RDF
13	Sebastian Sztwiertnia, Maximilian Grübel, Amine Chouchane, Daniel Sokolowski, Krishna Narasimhan, Mira Mezini	Impact of programming languages on machine learning bugs.	AISTA@ISSTA	2021	DBLP DOI BibTeX RDF
13	Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel	Finding data compatibility bugs with JSON subschema checking.	ISSTA	2021	DBLP DOI BibTeX RDF
13	Ming Yuan 0003, Yeseop Lee, Chao Zhang 0008, Yun Li, Yan Cai 0001, Bodong Zhao	RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis.	ISSTA	2021	DBLP DOI BibTeX RDF
13	Youngseok Yang, Taesoo Kim, Byung-Gon Chun	Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing.	OSDI	2021	DBLP BibTeX RDF
13	Chi Li, Min Zhou 0001, Xinrong Han, Ming Gu 0001	Sensing Error Handling Bugs in SSL Library Usages.	TrustCom	2021	DBLP DOI BibTeX RDF
13	Stéphane Jacquet, Xavier Chamberland-Thibeault, Sylvain Hallé	Automated Repair of Layout Bugs in Web Pages with Linear Programming.	ICWE	2021	DBLP DOI BibTeX RDF
13	Joshua Bundt, Andrew Fasano, Brendan Dolan-Gavitt, William Robertson 0002, Tim Leek	Evaluating Synthetic Bugs.	AsiaCCS	2021	DBLP DOI BibTeX RDF
13	Camelia Serban, Andreea Vescan	Towards a Neural Network based Reliability Prediction Model via Bugs and Changes.	ICSOFT	2021	DBLP DOI BibTeX RDF
13	Asia Shahab, Ayesha Naseer, Muhammad Nouman Zafar, Aamer Nadeem	Detection of Energy Bugs in Android Applications: A Systematic Literature Review.	FIT	2021	DBLP DOI BibTeX RDF
13	Yue Yan, Shujuan Jiang, Shenggang Zhang, Ying Huang	CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum.	SETTA	2021	DBLP DOI BibTeX RDF
13	Syed Farhan Alam Zaidi, Chan-Gun Lee	Learning Graph Representation of Bug Reports to Triage Bugs using Graph Convolution Network.	ICOIN	2021	DBLP DOI BibTeX RDF
13	Charaka Geethal	Training Automated Test Oracles to Identify Semantic Bugs.	ASE	2021	DBLP DOI BibTeX RDF
13	Pengzhan Zhao, Jianjun Zhao 0001, Zhongtao Miao, Shuhan Lan	Bugs4Q: A Benchmark of Real Bugs for Quantum Programs.	ASE	2021	DBLP DOI BibTeX RDF
13	Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan 0009, Jian Zhang 0001, Zongyan Qiu	Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers.	ASE	2021	DBLP DOI BibTeX RDF
13	Chenyang Yang 0002, Shurui Zhou, Jin L. C. Guo, Christian Kästner	Subtle Bugs Everywhere: Generating Documentation for Data Wrangling Code.	ASE	2021	DBLP DOI BibTeX RDF
13	Chen Liu, Jie Lu 0009, Guangwei Li, Ting Yuan, Lian Li 0002, Feng Tan, Jun Yang, Liang You, Jingling Xue	Detecting TensorFlow Program Bugs in Real-World Industrial Environment.	ASE	2021	DBLP DOI BibTeX RDF
13	Alan Romano, Xinyue Liu, Yonghwi Kwon 0001, Weihang Wang 0001	An Empirical Study of Bugs in WebAssembly Compilers.	ASE	2021	DBLP DOI BibTeX RDF
13	Rui Abreu 0001, Franjo Ivancic, Filip Niksic, Hadi Ravanbakhsh, Ramesh Viswanathan	Reducing Time-To-Fix For Fuzzer Bugs.	ASE	2021	DBLP DOI BibTeX RDF
13	Penghui Li 0001, Yinxi Liu, Wei Meng 0001	Understanding and Detecting Performance Bugs in Markdown Compilers.	ASE	2021	DBLP DOI BibTeX RDF
13	Jaewon Hur, Suhwan Song, Dongup Kwon, Eunjin Baek, Jangwoo Kim, Byoungyoung Lee	DifuzzRTL: Differential Fuzz Testing to Find CPU Bugs.	SP	2021	DBLP DOI BibTeX RDF
13	Haoye Wang, Xin Xia 0001, David Lo 0001, John C. Grundy, Xinyu Wang 0001	Automatic Solution Summarization for Crash Bugs.	ICSE	2021	DBLP DOI BibTeX RDF
13	Amreeta Chatterjee, Mariam Guizani, Catherine Stevens, Jillian Emard, Mary Evelyn May, Margaret Burnett, Iftekhar Ahmed 0001, Anita Sarma	AID: An automated detector for gender-inclusivity bugs in OSS project pages.	ICSE	2021	DBLP DOI BibTeX RDF
13	Zhouyang Jia, Shanshan Li 0001, Tingting Yu, Chen Zeng, Erci Xu, Xiaodong Liu 0004, Ji Wang 0001, Xiangke Liao	DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures.	ICSE	2021	DBLP DOI BibTeX RDF
13	Amir Makhshari, Ali Mesbah 0001	IoT Bugs and Development Challenges.	ICSE	2021	DBLP DOI 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.	ICSE (SEET)	2021	DBLP DOI BibTeX RDF
13	Jinghan Sun, Jian Huang 0006, Marc Snir	Pinpointing crash-consistency bugs in the HPC I/O stack: a cross-layer approach.	SC	2021	DBLP DOI BibTeX RDF
13	Sohil Lal Shrestha, Christoph Csallner	SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain.	EASE	2021	DBLP DOI BibTeX RDF
13	Jasmine Latendresse, Rabe Abdalkareem, Diego Elias Costa, Emad Shihab	How Effective is Continuous Integration in Indicating Single-Statement Bugs?	MSR	2021	DBLP DOI BibTeX RDF
13	Wenhan Zhu, Michael W. Godfrey	Mea culpa: How developers fix their own simple bugs differently from other developers.	MSR	2021	DBLP DOI BibTeX RDF
13	Anthony Peruma, Christian D. Newman	On the Distribution of "Simple Stupid Bugs" in Unit Test Files: An Exploratory Study.	MSR	2021	DBLP DOI BibTeX RDF
13	Ehsan Mashhadi, Hadi Hemmati	Applying CodeBERT for Automated Program Repair of Java Simple Bugs.	MSR	2021	DBLP DOI BibTeX RDF
13	Balázs Mosolygó, Norbert Vándor, Gábor Antal, Péter Hegedüs	On the Rise and Fall of Simple Stupid Bugs: a Life-Cycle Analysis of SStuBs.	MSR	2021	DBLP DOI BibTeX RDF
13	Arthur V. Kamienski, Luisa Palechor, Cor-Paul Bezemer, Abram Hindle	PySStuBs: Characterizing Single-Statement Bugs in Popular Open-Source Python Projects.	MSR	2021	DBLP DOI BibTeX RDF
13	Zhen Yu Ding, Claire Le Goues	An Empirical Study of OSS-Fuzz Bugs.	MSR	2021	DBLP DOI BibTeX RDF
13	Dongliang Fang, Zhanwei Song, Le Guan, Puzhuo Liu, Anni Peng, Kai Cheng, Yaowen Zheng, Peng Liu 0005, Hongsong Zhu, Limin Sun	ICS3Fuzzer: A Framework for Discovering Protocol Implementation Bugs in ICS Supervisory Software by Fuzzing.	ACSAC	2021	DBLP DOI BibTeX RDF
13	Ziheng Liu, Shuofei Zhu, Boqin Qin, Hao Chen 0003, Linhai Song	Automatically detecting and fixing concurrency bugs in go software systems.	ASPLOS	2021	DBLP DOI BibTeX RDF
13	Giuseppe Antonio Di Luna, Davide Italiano, Luca Massarelli, Sebastian Österlund, Cristiano Giuffrida, Leonardo Querzoni	Who's debugging the debuggers? exposing debug information bugs in optimized binaries.	ASPLOS	2021	DBLP DOI BibTeX RDF
13	Ian Neal, Andrew Quinn 0001, Baris Kasikci	Hippocrates: healing persistent memory bugs without doing any harm.	ASPLOS	2021	DBLP DOI BibTeX RDF
13	José Campos 0001, André Souto	QBugs: A Collection of Reproducible Bugs in Quantum Algorithms and a Supporting Infrastructure to Enable Controlled Quantum Software Testing and Debugging Experiments.	Q-SE@ICSE	2021	DBLP DOI BibTeX RDF
13	Yuqing Xie 0001, Yi-An Lai, Yuanjun Xiong, Yi Zhang, Stefano Soatto	Regression Bugs Are In Your Model! Measuring, Reducing and Analyzing Regressions In NLP Model Updates.	ACL/IJCNLP (1)	2021	DBLP DOI BibTeX RDF
13	Amarin Phaosawasdi	Automatic test generation for the detection of performance bugs in code optimization		2021	RDF
13	Daming D. Chen	Mitigating Memory-Safety Bugs with Efficient Out-of-Process Integrity Checking.		2021	DOI RDF
13	Andrew Habib	Learning to Find Bugs in Programs and their Documentation.		2021	RDF
13	Wen Xu 0002	An IR-based Fuzzing Approach for Finding Context-Aware Bugs in API-based systems.		2021	RDF
13	Mehdi Bagherzadeh 0001, Nicholas Fireman, Anas Shawesh, Raffi Khatchadourian	Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differences.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
13	Manuel Rigger, Zhendong Su 0001	Finding bugs in database systems via query partitioning.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
13	Nikolaos Alexopoulos, Sheikh Mahbub Habib, Steffen Schulz 0001, Max Mühlhäuser	The Tip of the Iceberg: On the Merits of Finding Security Bugs.	ACM Trans. Priv. Secur.	2020	DBLP DOI BibTeX RDF
13	Alejandro Mazuera-Rozo, Catia Trubiani, Mario Linares-Vásquez, Gabriele Bavota	Investigating types and survivability of performance bugs in mobile apps.	Empir. Softw. Eng.	2020	DBLP DOI BibTeX RDF
13	Steven Costiou, Mickaël Kerboeuf, Clotilde Toullec, Alain Plantec, Stéphane Ducasse	Object Miners: Acquire, Capture and Replay Objects to Track Elusive Bugs.	J. Object Technol.	2020	DBLP DOI BibTeX RDF
13	Zachery Casey, Michael D. Shah	Combating Run-time Performance Bugs with Performance Claim Annotations.	Softwaretechnik-Trends	2020	DBLP BibTeX RDF
13	Ana Belén Sánchez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura	TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Gen Zhang	Detecting Memory Life-Cycle Bugs With Extended Define-Use Chain Analysis.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Fu Xiao 0001, Letian Sha, Zai-Ping Yuan, Ruchuan Wang 0001	VulHunter: A Discovery for Unknown Bugs Based on Analysis for Known Patches in Industry Internet of Things.	IEEE Trans. Emerg. Top. Comput.	2020	DBLP DOI BibTeX RDF
13	Jihyun Park, Byoungju Choi, Seung Yeun Jang	Dynamic Analysis Method for Concurrency Bugs in Multi-process/Multi-thread Environments.	Int. J. Parallel Program.	2020	DBLP DOI BibTeX RDF
13	Abdullah Alourani, Ajay D. Kshemkalyani, Mark Grechanik	T-BASIR: Finding Shutdown Bugs for Cloud-Based Applications in Cloud Spot Markets.	IEEE Trans. Parallel Distributed Syst.	2020	DBLP DOI BibTeX RDF
13	Robert J. B. Goudie, Rebecca M. Turner, Daniela De Angelis, Andrew Thomas	MultiBUGS: A Parallel Implementation of the BUGS Modeling Framework for Faster Bayesian Inference.	J. Stat. Softw.	2020	DBLP DOI BibTeX RDF
13	Neil Veira, Zissis Poulos, Andreas G. Veneris	Searching for Bugs Using Probabilistic Suspect Implications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
13	A. Yu. Gerasimov, Daniil O. Kuts, Alexander A. Novikov	A Formal Model for Detecting Bugs by Symbolic Execution of Programs.	Program. Comput. Softw.	2020	DBLP DOI BibTeX RDF
13	Roberto Natella, Stefan Winter 0001, Domenico Cotroneo, Neeraj Suri	Analyzing the Effects of Bugs on Software Interfaces.	IEEE Trans. Software Eng.	2020	DBLP DOI BibTeX RDF
13	Pan Bian, Bin Liang 0002, Yan Zhang, Chaoqun Yang, Wenchang Shi, Yan Cai 0001	Corrections to "Detecting Bugs by Discovering Expectations and Their Violations".	IEEE Trans. Software Eng.	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.	CoRR	2020	DBLP BibTeX RDF
13	Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, Diomidis Spinellis	Identifying Bugs in Make and JVM-Oriented Builds.	CoRR	2020	DBLP BibTeX RDF
13	Fabian Ruffy, Tao Wang, Anirudh Sivaraman	Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing.	CoRR	2020	DBLP BibTeX RDF
13	Giuseppe Antonio Di Luna, Davide Italiano, Luca Massarelli, Sebastian Österlund, Cristiano Giuffrida, Leonardo Querzoni	Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries.	CoRR	2020	DBLP BibTeX RDF