|
|
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 | Jie Lu 0009, Feng Li, Chen Liu, Lian Li 0002, Xiaobing Feng 0002, Jingling Xue |
CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement. |
IEEE Trans. Software Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Hao Zhong 0001, Xiaoyin Wang, Hong Mei 0001 |
Inferring Bug Signatures to Detect Real Bugs. |
IEEE Trans. Software Eng. |
2022 |
DBLP DOI 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. |
IEEE Trans. Software Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Mohammed Q. Shatnawi, Batool Alazzam |
An Assessment of Eclipse Bugs' Priority and Severity Prediction Using Machine Learning. |
Int. J. Commun. Networks Inf. Secur. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Kentaro Fukai, Yusaku Ogai, Shuji Shinohara, Toru Moriyama |
Evaluation of turn alternation in pill bugs using omnidirectional motion compensator ANTAM. |
Artif. Life Robotics |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Olivia Wiles, Isabela Albuquerque, Sven Gowal |
Discovering Bugs in Vision Models using Off-the-shelf Image Generation and Captioning. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Seulbae Kim, Major Liu, Junghwan John Rhee, Yuseok Jeon, Yonghwi Kwon 0001, Chung Hwan Kim |
DriveFuzz: Discovering Autonomous Driving Bugs through Driving Quality-Guided Fuzzing. |
CoRR |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Cedric Richter, Heike Wehrheim |
TSSB-3M: Mining single statement bugs at massive scale. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
13 | Zheng Li 0001, Austen Rainer |
Academic Search Engines: Constraints, Bugs, and Recommendation. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Joshua Bundt, Andrew Fasano, Brendan Dolan-Gavitt, William K. Robertson, Tim Leek |
Evaluating Synthetic Bugs. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Haoyang Ma, Qingchao Shen, Yongqiang Tian 0001, Junjie Chen 0003, Shing-Chi Cheung |
HirFuzz: Detecting High-Level Optimization Bugs in DL Compilers via Computational Graph Generation. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jialu Zhang 0002, José Cambronero, Sumit Gulwani, Vu Le 0002, Ruzica Piskac, Gustavo Soares, Gust Verbruggen |
Repairing Bugs in Python Assignments Using Large Language Models. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ankur Tagra, Haoxiang Zhang 0001, Gopi Krishnan Rajbahadur, Ahmed E. Hassan |
Revisiting reopened bugs in open source software systems. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
13 | Jens-Rene Giesen, Sébastien Andreina, Michael Rodler, Ghassan O. Karame, Lucas Davi |
Practical Mitigation of Smart Contract Bugs. |
CoRR |
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. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
13 | Tuan Dung Lai, Anj Simmons, Scott Barnett, Jean-Guy Schneider, Rajesh Vasa |
Comparative analysis of real bugs in open-source Machine Learning projects - A Registered Report. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Li Sui, Shawn Rasheed, Amjed Tahir, Jens Dietrich 0001 |
A Study of Single Statement Bugs Involving Dynamic Language Features. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Simon Kawuma, Evarist Nabaasa |
An Empirical Study of Bugs in Eclipse Stable Internal Interfaces. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Alexandra Sasha Luccioni, David Rolnick |
Bugs in the Data: How ImageNet Misrepresents Biodiversity. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jiawei Liu 0004, Jinkun Lin, Fabian Ruffy, Cheng Tan 0005, Jinyang Li 0001, Aurojit Panda, Lingming Zhang 0001 |
Finding Deep-Learning Compilation Bugs with NNSmith. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Parvez Mahbub, Ohiduzzaman Shuvo, Mohammad Masudur Rahman 0001 |
Explaining Software Bugs Leveraging Code Structures in Neural Machine Translation. |
CoRR |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Junjie Chen 0003, Yihua Liang, Qingchao Shen, Jiajun Jiang |
Toward Understanding Deep Learning Framework Bugs. |
CoRR |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Chongxin Zhong, Qidong Zhao, Xu Liu 0001 |
BinGo: Pinpointing Concurrency Bugs in Go via Binary Analysis. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
13 | Han Zheng, Jiayuan Zhang, Yuhang Huang, Zezhong Ren, He Wang 0014, Chunjie Cao, Yuqing Zhang 0001, Flavio Toffalini, Mathias Payer |
FishFuzz: Throwing Larger Nets to Catch Deeper Bugs. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Finlay Macklon, Markos Viggiato, Cor-Paul Bezemer, Natalia Romanova, Chris Buzon, Dale Paas |
A Taxonomy of HTML5 Canvas Bugs. |
CoRR |
2022 |
DBLP 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 Games. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Quang Loc Le, Jun Sun 0001, Long H. Pham, Shengchao Qin |
S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Omar I. Al-Bataineh, Leon Moonen |
Towards Extending the Range of Bugs That Automated Program Repair Can Handle. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Guoming Long, Tao Chen 0001, Georgina Cosma |
Multifaceted Hierarchical Report Identification for Non-Functional Bugs in Deep Learning Frameworks. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Wei Lin, Ziyue Hua, Luyao Ren, Zongyang Li, Lu Zhang, Tao Xie 0001 |
GDsmith: Detecting Bugs in Graph Database Engines. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Benedict Wilkins, Kostas Stathis |
World of Bugs: A Platform for Automated Bug Detection in 3D Video Games. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Rangeet Pan, Sumon Biswas, Mohna Chakraborty, Breno Dantas Cruz, Hridesh Rajan |
An Empirical Study on the Bugs Found while Reusing Pre-trained Natural Language Processing Models. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yaojie Hu, Xingjian Shi, Qiang Zhou, Lee Pike |
Fix Bugs with Transformer through a Neural-Symbolic Edit Grammar. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Cedric Richter, Heike Wehrheim |
Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Sangdon Park 0001, Xiang Cheng, Taesoo Kim |
Unsafe's Betrayal: Abusing Unsafe Rust in Binary Reverse Engineering toward Finding Memory-safety Bugs via Machine Learning. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Benedict Wilkins, Kostas Stathis |
Learning to Identify Perceptual Bugs in 3D Video Games. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
13 | Kaifeng Huang, Bihuan Chen 0001, Susheng Wu, Junmin Cao, Lei Ma, Xin Peng 0001 |
Demystifying Dependency Bugs in Deep Learning Stack. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Hayley LeBlanc, Shankara Pailoor, Isil Dillig, James Bornholt, Vijay Chidambaram |
Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad Mehdi Morovati, Amin Nikanjam, Foutse Khomh, Zhen Ming Jiang |
Bugs in Machine Learning-based Systems: A Faultload Benchmark. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Haruna Isotani, Hironori Washizaki, Yoshiaki Fukazawa, Tsutomu Nomoto, Saori Ouji, Shinobu Saito |
Sentence embedding and fine-tuning to automatically identify duplicate bugs. |
Frontiers Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Drew Ripberger, Yifan Gan, Xueyuan Ren, Spyros Blanas, Yang Wang 0009 |
IsoBugView: Interactively Debugging Isolation Bugs in Database Applications. (PDF / PS) |
Proc. VLDB Endow. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Maurizio Leotta, Dario Olianas, Filippo Ricca |
A large experimentation to analyze the effects of implementation bugs in machine learning algorithms. |
Future Gener. Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Fiorella Zampetti, Ritu Kapur, Massimiliano Di Penta, Sebastiano Panichella |
An empirical characterization of software bugs in open-source Cyber-Physical Systems. |
J. Syst. Softw. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Aghyad Albaghajati, Moataz A. Ahmed |
A co-evolutionary genetic algorithms approach to detect video game bugs. |
J. Syst. Softw. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Youngjoo Ko, Bin Zhu, Jong Kim 0001 |
Fuzzing with automatically controlled interleavings to detect concurrency bugs. |
J. Syst. Softw. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ziyuan Wang, Dexin Bu, Xingpeng Xuan, Jia Gu |
An Empirical Study on Bugs in PHP. |
Int. J. Softw. Eng. Knowl. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yixuan Tang, Zhilei Ren, He Jiang 0001, Lei Qiao, Dong Liu 0025, Zhide Zhou, Weiqiang Kong |
Detecting Compiler Bugs Via a Deep Learning-Based Framework. |
Int. J. Softw. Eng. Knowl. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Seulbae Kim, Major Liu, Junghwan John Rhee, Yuseok Jeon, Yonghwi Kwon 0001, Chung Hwan Kim |
DriveFuzz: Discovering Autonomous Driving Bugs through Driving Quality-Guided Fuzzing. |
CCS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Qingyang Zhou, Qiushi Wu, Dinghao Liu, Shouling Ji, Kangjie Lu |
Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs. |
CCS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Qintao Shen, Hongyu Sun, Guozhu Meng, Kai Chen 0012, Yuqing Zhang 0001 |
Detecting API Missing-Check Bugs Through Complete Cross Checking of Erroneous Returns. |
Inscrypt |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Guoming Long, Tao Chen 0001, Georgina Cosma |
Multifaceted Hierarchical Report Identification for Non-Functional Bugs in Deep Learning Frameworks. |
APSEC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Julian Aron Prenner, Hlib Babii, Romain Robbes |
Can OpenAI's Codex Fix Bugs?: An evaluation on QuixBugs. |
APR@ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Omar I. Al-Bataineh, Leon Moonen |
Towards Extending the Range of Bugs That Automated Program Repair Can Handle. |
QRS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Amreeta Chatterjee, Lara Letaw, Rosalinda Garcia, Doshna Umma Reddy, Rudrajit Choudhuri, Sabyatha Sathish Kumar, Patricia Morreale, Anita Sarma, Margaret Burnett |
Inclusivity Bugs in Online Courseware: A Field Study. |
ICER (1) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Xin Zhang, Rongjie Yan, Jiwei Yan, Baoquan Cui, Jun Yan 0009, Jian Zhang 0001 |
ExcePy: A Python Benchmark for Bugs with Python Built-in Types. |
SANER |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yu Hu, Zekun Shen, Brendan Dolan-Gavitt |
Characterizing and Improving Bug-Finders with Synthetic Bugs. |
SANER |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Aidan Connor, Aaron Harris, Nathan Cooper, Denys Poshyvanyk |
Can We Automatically Fix Bugs by Learning Edit Operations? |
SANER |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Li Jia, Hao Zhong 0001, Xiaoyin Wang, Linpeng Huang, Zexuan Li |
How Do Injected Bugs Affect Deep Learning? |
SANER |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Junjie Wang 0001, Yuchao Huang, Song Wang 0009, Qing Wang 0001 |
Find bugs in static bug finders. |
ICPC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Hiroki Kuramoto, Masanari Kondo, Yutaro Kashiwa, Yuta Ishimoto, Kaze Shindo, Yasutaka Kamei, Naoyasu Ubayashi |
Do visual issue reports help developers fix bugs?: a preliminary study of using videos and images to report issues on GitHub. |
ICPC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Li Sui, Shawn Rasheed, Amjed Tahir, Jens Dietrich 0001 |
A study of single statement bugs involving dynamic language features. |
ICPC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Justs Zarins, Michèle Weiland, Paul Bartholomew, Leigh Lapworth, Mark Parsons 0001 |
Detecting Scale-Induced Overflow Bugs in Production HPC Codes. |
ISC Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Liang He, Hong Hu 0004, Purui Su, Yan Cai 0001, Zhenkai Liang |
FreeWill: Automatically Diagnosing Use-after-free Bugs via Reference Miscounting Detection on Binaries. |
USENIX Security Symposium |
2022 |
DBLP BibTeX RDF |
|
13 | Yu Liang 0002, Song Liu, Hong Hu 0004 |
Detecting Logical Bugs of DBMS with Coverage-based Guidance. |
USENIX Security Symposium |
2022 |
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. |
USENIX Security Symposium |
2022 |
DBLP BibTeX RDF |
|
13 | Zekun Shen, Ritik Roongta, Brendan Dolan-Gavitt |
Drifuzz: Harvesting Bugs in Device Drivers from Golden Seeds. |
USENIX Security Symposium |
2022 |
DBLP BibTeX RDF |
|
13 | Yizhuo Zhai, Yu Hao 0006, Zheng Zhang, Weiteng Chen, Guoren Li, Zhiyun Qian, Chengyu Song, Manu Sridharan, Srikanth V. Krishnamurthy, Trent Jaeger, Paul L. Yu |
Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel. |
NDSS |
2022 |
DBLP BibTeX RDF |
|
13 | Lampros Flokas, Weiyuan Wu, Jiannan Wang 0001, Nakul Verma, Eugene Wu 0002 |
How I stopped worrying about training data bugs and started complaining. |
DEEM@SIGMOD |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Duo Zhang, Tabassum Mahmud, Om Rameshwar Gatla, Runzhou Han, Yong Chen 0001, Mai Zheng |
On the Reproducibility of Bugs in File-System Aware Storage Applications. |
NAS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Bogdan-Adrian Enache, Sorin-Dan Grigorescu, Florin-Ciprian Argatu, Felix Constantin Adochiei, Irina Vilciu, Teodor-Iulian Voicila |
Energy Evaluation of Bugs vs Birds Path Planning Strategies for Robots. |
ECAI |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Lili Sun, Chenggang Wu 0002, Zhe Wang 0017, Yan Kang 0002, Bowen Tang |
KOP-Fuzzer: A Key-Operation-based Fuzzer for Type Confusion Bugs in JavaScript Engines. |
COMPSAC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jun Wang, Samuel Sungmin Cho, Myoungkyu Song |
RepChaBug: Automatically Repairing Incorrect Change Bugs in Software Evolution. |
COMPSAC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zhihao Liu, Yang Zheng, Xiaoting Du, Zheng Hu, Wenjie Ding, Yanming Miao, Zheng Zheng 0001 |
Taxonomy of Aging-related Bugs in Deep Learning Libraries. |
ISSRE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Mohamad Kassab, Joanna F. DeFranco, Phillip A. Laplante |
Investigating Bugs in AI-Infused Systems: Analysis and Proposed Taxonomy. |
ISSRE Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yiqun Chen, Oliver Schwahn, Roberto Natella, Matthew Bradbury, Neeraj Suri |
SlowCoach: Mutating Code to Simulate Performance Bugs. |
ISSRE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Francesco Betti Sorbelli, Federico Corò, Sajal K. Das 0001, Emanuele Di Bella, Lara Maistrello, Lorenzo Palazzetti, Cristina M. Pinotti |
A Drone-based Application for Scouting Halyomorpha halys Bugs in Orchards with Multifunctional Nets. |
PerCom Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Benedict Wilkins, Kostas Stathis |
World of Bugs: A Platform for Automated Bug Detection in 3D Video Games. |
CoG |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Xiuhan Shi, Xiaofei Xie, Yi Li 0008, Yao Zhang, Sen Chen 0001, Xiaohong Li 0001 |
Large-scale analysis of non-termination bugs in real-world OSS projects. |
ESEC/SIGSOFT FSE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman |
MAAT: a novel ensemble approach to addressing fairness and performance bugs for machine learning software. |
ESEC/SIGSOFT FSE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zheng Li 0001, Austen Rainer |
Academic search engines: constraints, bugs, and recommendations. |
A-TEST@ESEC/SIGSOFT FSE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Seulbae Kim, Taesoo Kim |
RoboFuzz: fuzzing robotic systems over robot operating system (ROS) for finding correctness bugs. |
ESEC/SIGSOFT FSE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jue Wang, Yanyan Jiang 0001, Ting Su 0001, Shaohua Li 0002, Chang Xu 0001, Jian Lu 0001, Zhendong Su 0001 |
Detecting non-crashing functional bugs in Android apps via deep-state differential analysis. |
ESEC/SIGSOFT FSE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Shikai Guo, He Jiang 0001, Zhihao Xu, Xiaochen Li, Zhilei Ren, Zhide Zhou, Rong Chen 0003 |
Detecting Simulink compiler bugs via controllable zombie blocks mutation. |
ESEC/SIGSOFT FSE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yanjie Jiang, Hui Liu 0003, Yuxia Zhang, Weixing Ji, Hao Zhong 0001, Lu Zhang 0023 |
Do bugs lead to unnaturalness of source code? |
ESEC/SIGSOFT FSE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Youngkyoung Kim, Misoo Kim, Eunseok Lee 0001 |
Tracking Down Misguiding Terms for Locating Bugs in Deep Learning-Based Software (Student Abstract). |
AAAI |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Siva Kesava Reddy Kakarla, Ryan Beckett, Todd D. Millstein, George Varghese |
SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. |
NSDI |
2022 |
DBLP BibTeX RDF |
|
13 | Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos |
Finding typing compiler bugs. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jiamin Cao, Yu Zhou 0008, Chen Sun 0005, Lin He 0004, Zhaowei Xi, Ying Liu 0024 |
Firebolt: Finding Bugs in Programmable Data Plane Generators. |
USENIX Annual Technical Conference |
2022 |
DBLP BibTeX RDF |
|
13 | Beom Heyn Kim, Taesoo Kim, David Lie |
Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models. |
USENIX Annual Technical Conference |
2022 |
DBLP BibTeX RDF |
|
13 | Zhenghao Hu, Yu Hu, Brendan Dolan-Gavitt |
Towards Deceptive Defense in Software Security with Chaff Bugs. |
RAID |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tobias Sundqvist, Monowar H. Bhuyan, Erik Elmroth |
Unsupervised root-cause identification of software bugs in 5G RAN. |
CCNC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ye Liu 0012, Yi Li 0008, Shang-Wei Lin 0001, Cyrille Artho |
Finding permission bugs in smart contracts with role mining. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao 0002, Dong Wang, Wei Wang 0049, Jun Wei 0001 |
Finding bugs in Gremlin-based graph database systems via Randomized differential testing. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Xiaohui Zhang, Yuanjun Gong, Bin Liang 0002, Jianjun Huang 0001, Wei You, Wenchang Shi, Jian Zhang |
Hunting bugs with accelerated optimal graph vertex matching. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tao Wang 0030, Kangkang Zhang, Wei Chen 0018, Wensheng Dou, Jiaxin Zhu, Jun Wei 0001, Tao Huang 0001 |
Understanding device integration bugs in smart home system. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Charaka Geethal Kapugama, Van-Thuan Pham, Aldeida Aleti, Marcel Böhme |
Human-in-the-loop oracle learning for semantic bugs in string processing programs. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 2555 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|