|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1831 occurrences of 917 keywords
|
|
|
Results
Found 2557 publication records. Showing 2555 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Yifei Lu, Minxue Pan, Yu Pei 0001, Xuandong Li |
Detecting resource utilization bugs induced by variant lifecycles in Android. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Irman Faqrizal, Gwen Salaün |
Counting Bugs in Behavioural Models using Counterexample Analysis. |
FormaliSE@ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Xinwei Fu, Dongyoon Lee, Changwoo Min |
DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs. |
OSDI |
2022 |
DBLP BibTeX RDF |
|
13 | Nikos Kanakaris, Ilias Siachos, Nikos I. Karacapilidis |
Is it a bug or a feature? Identifying software bugs using graph attention networks. |
ICTAI |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Rodrigo Casamayor, Lorena Arcega, Francisca Pérez 0001, Carlos Cetina |
Bug localization in game software engineering: evolving simulations to locate bugs in software models of video games. |
MoDELS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Sheena Panthaplackel, Milos Gligoric 0001, Junyi Jessy Li, Raymond J. Mooney |
Using Developer Discussions to Guide Fixing Bugs in Software. |
EMNLP (Findings) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Shikhar Murty, Christopher D. Manning, Scott M. Lundberg, Marco Túlio Ribeiro |
Fixing Model Bugs with Natural Language Patches. |
EMNLP |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim |
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? |
ASE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Mauro Bringolf, Dominik Winterer, Zhendong Su 0001 |
Finding and Understanding Incompleteness Bugs in SMT Solvers. |
ASE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Finlay Macklon, Mohammad Reza Taesiri, Markos Viggiato, Stefan Antoszko, Natalia Romanova, Dale Paas, Cor-Paul Bezemer |
Automatically Detecting Visual Bugs in HTML5 Canvas Games. |
ASE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Gan Wang, Zan Wang, Junjie Chen 0003, Xiang Chen 0005, Ming Yan |
An Empirical Study on Numerical Bugs in Deep Learning Programs. |
ASE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zhenpeng Lin, Yueqi Chen 0001, Yuhang Wu 0003, Dongliang Mu, Chensheng Yu, Xinyu Xing, Kang Li |
GREBE: Unveiling Exploitation Potential for Linux Kernel Bugs. |
SP |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Priyanka Bose, Dipanjan Das 0002, Yanju Chen, Yu Feng 0001, Christopher Kruegel, Giovanni Vigna |
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. |
SP |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tao Wang 0030, Qingxin Xu, Xiaoning Chang, Wensheng Dou, Jiaxin Zhu, Jinhui Xie, Yuetang Deng, Jianbo Yang, Jiaheng Yang, Jun Wei 0001, Tao Huang 0001 |
Characterizing and Detecting Bugs in WeChat Mini-Programs. |
ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ruidong Han, Chao Yang 0016, Siqi Ma, Jianfeng Ma 0001, Cong Sun 0001, Juanru Li, Elisa Bertino |
Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search. |
ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Mariam Guizani, Igor Steinmacher, Jillian Emard, Abrar Fallatah, Margaret Burnett, Anita Sarma |
How to Debug Inclusivity Bugs? A Debugging Process with Information Architecture. |
ICSE-SEIS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Xinyu Liu, Qi Zhou 0010, Joy Arulraj, Alessandro Orso |
Automatic Detection of Performance Bugs in Database Systems using Equivalent Queries. |
ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Benjamin Reidys, Jian Huang 0006 |
Understanding and detecting deep memory persistency bugs in NVM programs with DeepMC. |
PPoPP |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Guoming Long, Tao Chen 0001 |
On Reporting Performance and Accuracy Bugs for Deep Learning Frameworks: An Exploratory Study from GitHub. |
EASE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Amirreza Bagheri, Péter Hegedüs |
Is Refactoring Always a Good Egg? Exploring the Interconnection Between Bugs and Refactorings. |
MSR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Fatemeh Khoshnoud, Ali Rezaei Nasab, Zahra Toudeji, Ashkan Sami |
Which bugs are missed in code reviews: An empirical study on SmartSHARK dataset. |
MSR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Cedric Richter, Heike Wehrheim |
TSSB-3M: Mining single statement bugs at massive scale. |
MSR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ovidiu Cosma, Petrica C. Pop, Cosmin Sabo, Laura Cosma |
Forecasting the Number of Bugs and Vulnerabilities in Software Components Using Neural Network Models. |
CISIS-ICEUTE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tarek Makkouk, Dong Jae Kim, Tse-Hsun Peter Chen |
An Empirical Study on Performance Bugs in Deep Learning Frameworks. |
ICSME |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yutian Yang, Wenbo Shen, Xun Xie, Kangjie Lu, Mingsen Wang, Tianyu Zhou, Chenggang Qin, Wang Yu, Kui Ren 0001 |
Making Memory Account Accountable: Analyzing and Detecting Memory Missing-account bugs for Container Platforms. |
ACSAC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zhihua Chen, Xiaolin Ju, Guilong Lu, Xiang Chen 0005 |
Blocking Bugs Identification via Binary Relevance and Logistic Regression Analysis. |
DSA |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tuo Li, Jia-Ju Bai, Yulei Sui, Shi-Min Hu 0001 |
Path-sensitive and alias-aware typestate analysis for detecting OS bugs. |
ASPLOS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zhangyu Chen, Yu Hua 0001, Yongle Zhang, Luochangqi Ding |
Efficiently detecting concurrency bugs in persistent memory programs. |
ASPLOS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ziheng Liu, Shihao Xia, Yu Liang 0002, Linhai Song, Hong Hu 0004 |
Who goes first? detecting go concurrency bugs via message reordering. |
ASPLOS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Lukas Grätz, Reiner Hähnle, Richard Bubel |
Finding Semantic Bugs Fast. |
FASE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Sadullah Canakci |
Directing greybox fuzzing to discover bugs in hardware and software |
|
2022 |
RDF |
|
13 | Fraser Brown |
Eliminating bugs in real systems. |
|
2022 |
RDF |
|
13 | Ting Su 0001, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang 0022, Zhendong Su 0001 |
Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs. |
Proc. ACM Program. Lang. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, Diomidis Spinellis |
Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers. |
Proc. ACM Program. Lang. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Sophia Quach, Maxime Lamothe, Yasutaka Kamei, Weiyi Shang |
An empirical study on the use of SZZ for identifying inducing changes of non-functional bugs. |
Empir. Softw. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Deheng Yang, Kui Liu 0001, Dongsun Kim 0001, Anil Koyuncu, Kisub Kim, Haoye Tian, Yan Lei, Xiaoguang Mao, Jacques Klein, Tegawendé F. Bissyandé |
Where were the repair ingredients for Defects4j bugs? |
Empir. Softw. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Wei Song 0003, Chengzhen Zhang, Hans-Arno Jacobsen |
An Empirical Study on Data Flow Bugs in Business Processes. |
IEEE Trans. Cloud Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Bassam A. Abdelghani, Shadi Banitaan, Mina Maleki, Amna Mazen |
Kissing Bugs Identification Using Convolutional Neural Network. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Wei Zhou 0026, Chen Cao, Dongdong Huo, Kai Cheng, Lan Zhang, Le Guan, Tao Liu, Yan Jia, Yaowen Zheng, Yuqing Zhang 0001, Limin Sun, Yazhe Wang, Peng Liu 0005 |
Reviewing IoT Security via Logic Bugs in IoT Platforms and Systems. |
IEEE Internet Things J. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ying-Jie Wang, Liangze Yin, Wei Dong |
AMCheX: Accurate Analysis of Missing-Check Bugs for Linux Kernel. |
J. Comput. Sci. Technol. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Gen Zhang, Peng-Fei Wang 0010, Tai Yue, Xu Zhou, Kai Lu |
MEBS: Uncovering Memory Life-Cycle Bugs in Operating System Kernels. |
J. Comput. Sci. Technol. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Rafi Almhana, Marouane Kessentini |
Considering dependencies between bug reports to improve bugs triage. |
Autom. Softw. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Padma Jayaraman, Ranjani Parthasarathi |
Performance counter based online pipeline bugs detection using machine learning techniques. |
Microprocess. Microsystems |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Maarten Vandercammen, Laurent Christophe, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover |
Prioritising Server Bugs via Inter-process Concolic Testing. |
Art Sci. Eng. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Janice Chin, David Pearce |
Finding Bugs with Specification-Based Testing is Easy! |
Art Sci. Eng. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | I. V. Bolotnikov, A. E. Borodin |
Interprocedural Static Analysis for Finding Bugs in Go Programs. |
Program. Comput. Softw. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Mark C. Miller, Mary Ann E. Leung, Ann E. Jeffers |
Inclusivity Bugs and the Language We Use. |
Comput. Sci. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Janice Chin, David Pearce |
Finding Bugs with Specification-Based Testing is Easy! |
CoRR |
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. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Mohammad Rezaalipour, Carlo A. Furia |
Test-Case Generation for Finding Neural Network Bugs. |
CoRR |
2021 |
DBLP 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. |
CoRR |
2021 |
DBLP 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. |
CoRR |
2021 |
DBLP 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. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Daniel Lehmann 0002, Martin Toldam Torp, Michael Pradel |
Fuzzm: Finding Memory Bugs through Binary-Only Instrumentation and Fuzzing of WebAssembly. |
CoRR |
2021 |
DBLP 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. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Mohan Cui, Chengjun Chen, Hui Xu 0009, Yangfan Zhou |
SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Zhen Yu Ding, Claire Le Goues |
An Empirical Study of OSS-Fuzz Bugs. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Hal Abelson, Ross J. Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Jon Callas, Whitfield Diffie, Susan Landau 0001, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Vanessa Teague, Carmela Troncoso |
Bugs in our Pockets: The Risks of Client-Side Scanning. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Dawn Drain, Colin B. Clement, Guillermo Serrato, Neel Sundaresan |
DeepDebug: Fixing Python Bugs Using Stack Traces, Backtranslation, and Code Skeletons. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Marcus Niemietz, Mario Korth, Christian Mainka, Juraj Somorovsky |
Over 100 Bugs in a Row: Security Analysis of the Top-Rated Joomla Extensions. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Ehsan Mashhadi, Hadi Hemmati |
Applying CodeBERT for Automated Program Repair of Java Simple Bugs. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Matteo Paltenghi, Michael Pradel |
Bugs in Quantum Computing Platforms: An Empirical Study. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Wenhan Zhu, Michael W. Godfrey |
Mea culpa: How developers fix their own simple bugs differently from other developers. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Florian Tambon, Amin Nikanjam, Le An, Foutse Khomh, Giuliano Antoniol |
Silent Bugs in Deep Learning Frameworks: An Empirical Study of Keras and TensorFlow. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Gema Rodríguez-Pérez, Meiyappan Nagappan, Gregorio Robles |
Watch out for Extrinsic Bugs! A Case Study of their Impact in Just-In-Time Bug Prediction Models on the OpenStack project. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Hammond Pearce, Benjamin Tan 0001, Baleegh Ahmad, Ramesh Karri, Brendan Dolan-Gavitt |
Can OpenAI Codex and Other Large Language Models Help Us Fix Security Bugs? |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Junming Cao, Bihuan Chen 0001, Chao Sun, Longjie Hu, Xin Peng 0001 |
Characterizing Performance Bugs in Deep Learning Systems. |
CoRR |
2021 |
DBLP 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. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Mohammad Masudur Rahman 0001, Foutse Khomh, Marco Castelluccio |
Why are Some Bugs Non-Reproducible? An Empirical Investigation using Data Fusion. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Junjie Wang 0001, Yuchao Huang, Song Wang 0009, Qing Wang 0001 |
Find Bugs in Static Bug Finders. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Pengzhan Zhao, Jianjun Zhao 0001, Zhongtao Miao, Shuhan Lan |
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Vasudevan Nagendra, Abhishek Pokala, Arani Bhattacharya, Samir R. Das |
MAVERICK: Proactively detecting network control plane bugs using structural outlierness. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Shin Hwei Tan, Ziqiang Li 0005, Lu Yan |
CrossFix: Collaborative bug fixing by recommending similar bugs. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Christoph Frädrich, Florian Obermüller, Nina Körber, Ute Heuer, Gordon Fraser 0001 |
Common Bugs in Scratch Programs. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Priyanka Bose, Dipanjan Das 0002, Yanju Chen, Yu Feng 0001, Christopher Kruegel, Giovanni Vigna |
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Peipei Wang, Chris Brown 0001, Jamie A. Jennings, Kathryn T. Stolee |
Demystifying Regular Expression Bugs: A comprehensive study on regular expression bug causes, fixes, and testing. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan |
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Anthony Peruma, Christian D. Newman |
On the Distribution of "Simple Stupid Bugs" in Unit Test Files: An Exploratory Study. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Xiaochen Zou, Guoren Li, Weiteng Chen, Hang Zhang 0012, Zhiyun Qian |
SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Hadi Jahanshahi, Mucahit Cevik, Ayse Basar |
Predicting the Number of Reported Bugs in a Software Repository. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Eike Stein, Steffen Herbold, Fabian Trautsch, Jens Grabowski |
A new perspective on the competent programmer hypothesis through the reproduction of bugs with repeated mutations. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Ruidong Han, Chao Yang 0016, Siqi Ma, Jianfeng Ma 0001, Cong Sun 0001, Juanru Li, Elisa Bertino |
Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search. |
CoRR |
2021 |
DBLP 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. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Priyanka Raghavan |
James Smith on Software Bugs and Quality. |
IEEE Softw. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Akond Ashfaque Ur Rahman, Effat Farhana |
An Empirical Study of Bugs in COVID-19 Software Projects. |
J. Softw. Eng. Res. Dev. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Li Jia, Hao Zhong 0001, Xiaoyin Wang, Linpeng Huang, Xuansheng Lu |
The symptoms, causes, and repairs of bugs inside a deep learning library. |
J. Syst. Softw. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Zhide Zhou, Zhilei Ren, Guojun Gao, He Jiang 0001 |
An empirical study of optimization bugs in GCC and LLVM. |
J. Syst. Softw. |
2021 |
DBLP DOI 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. |
Softw. Qual. J. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad-Mahdi Bidmeshki, Yunjie Zhang, Monir Zaman, Liwei Zhou, Yiorgos Makris |
Hunting Security Bugs in SoC Designs: Lessons Learned. |
IEEE Des. Test |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Luiz Alberto Ferreira Gomes, Ricardo da Silva Torres, Mario Lúcio Côrtes |
On the prediction of long-lived bugs: An analysis and comparative study using FLOSS projects. |
Inf. Softw. Technol. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Péter Gyimesi, Béla Vancsics, Andrea Stocco 0001, Davood Mazinanian, Árpád Beszédes, Rudolf Ferenc, Ali Mesbah 0001 |
BUGSJS: a benchmark and taxonomy of JavaScript bugs. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Aurélien Francillon, Sam L. Thomas, Andrei Costin |
Finding Software Bugs in Embedded Devices. |
Security of Ubiquitous Computing Systems |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ayush Bhardwaj, Zhenyu Zhou, Theophilus A. Benson |
A Comprehensive Study of Bugs in Software Defined Networks. |
DSN |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Taesoo Kim |
Are we done yet? Our Journey to Fight against Memory-safety Bugs. |
CCS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Lirong Fu, Shouling Ji, Kangjie Lu, Peiyu Liu 0003, Xuhong Zhang 0002, Yuxuan Duan, Zihui Zhang, Wenzhi Chen, Yanjun Wu |
CPscan: Detecting Bugs Caused by Code Pruning in IoT Kernels. |
CCS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Zhuohua Li, Jincheng Wang, Mingshen Sun, John C. S. Lui |
MirChecker: Detecting Bugs in Rust Programs via Static Analysis. |
CCS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Guillaume Girol, Benjamin Farinier, Sébastien Bardin |
Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference. |
CAV (1) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Steve Counsell, Stephen Swift, Amjed Tahir |
Where the Bugs are: A Quasi-replication Study of the Effect of Inheritance Depth and Width in Java Systems. |
QUATIC |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ting Yuan, Guangwei Li, Jie Lu 0009, Chen Liu, Lian Li 0002, Jingling Xue |
GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs. |
CGO |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Penghui Li 0001, Wei Meng 0001 |
LChecker: Detecting Loose Comparison Bugs in PHP. |
WWW |
2021 |
DBLP DOI BibTeX RDF |
|
|
|