|
|
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 | Laewoo Leo Kang |
Lady Bugs: Collaborative Interface for Exploring Creative Error and Uncertainty. |
CSCW Companion |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Ben Liblit, Linghui Luo, Alejandro Molina 0002, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser |
Shifting Left for Early Detection of Machine-Learning Bugs. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Youlin Li, Weina Niu, Yukun Zhu, Jiacheng Gong, Beibei Li 0002, Xiaosong Zhang 0001 |
Fuzzing Logical Bugs in eBPF Verifier with Bound-Violation Indicator. |
ICC |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Wenlong Zheng, Baojian Hua, Zhuochen Jiang |
WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis. |
QRS Companion |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Qianyue Wu, Sijie Yu, Ziyuan Wang, Nannan Wang, Yaping Feng |
Toward Understanding Bugs in Swift Programming Language. |
QRS |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Vo Dai Trinh, Yuri Nishimura, Haibo Yu |
Development of a Web System for Detecting Bugs in Probabilistic Programs. |
QRS Companion |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Kuiliang Lin, Xiangpu Song, Yingpei Zeng, Shanqing Guo |
DeepDiffer: Find Deep Learning Compiler Bugs via Priority-guided Differential Fuzzing. |
QRS |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Xinmeng Xia, Yang Feng, Qingkai Shi |
Understanding Bugs in Rust Compilers. |
QRS |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Rrezarta Krasniqi, Hyunsook Do |
A Hierarchical Topical Modeling Approach for Recommending Repair of Quality Bugs. |
SANER |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Le Chen, Zhide Zhou, Xiaochen Li, He Jiang 0001 |
Detecting JavaScript Transpiler Bugs with Grammar-guided Mutation. |
SANER |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yue Wang, Zhide Zhou, Zhilei Ren, Dong Liu 0025, He Jiang 0001 |
A Comprehensive Study of WebAssembly Runtime Bugs. |
SANER |
2023 |
DBLP DOI BibTeX RDF |
|
13 | HeuiChan Lim, Saumya Debray |
Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-End. |
CC |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Zengyang Li, Sicheng Wang, Wenshuo Wang, Peng Liang 0001, Ran Mo, Bing Li 0010 |
Understanding Bugs in Multi-Language Deep Learning Frameworks. |
ICPC |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jinhan Kim, Jongchan Park, Shin Yoo |
The Inversive Relationship Between Bugs and Patches: An Empirical Study. |
ICSTW |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yi Chien, Vlad-Andrei Badoiu, Yudi Yang, Yuqian Huo, Kelly Kaoudis, Hugo Lefeuvre, Pierre Olivier, Nathan Dautenhahn |
CIVSCOPE: Analyzing Potential Memory Corruption Bugs in Compartment Interfaces. |
KISV@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Arwa Ahmed, Ahmed Tamer Salah, Ghada Khoriba, Tamer Arafa |
Localizing Non-functional Code Bugs in User Interfaces Using Deep Learning Techniques. |
MEDI |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Han Zheng, Jiayuan Zhang, Yuhang Huang, Zezhong Ren, He Wang 0014, Chunjie Cao, Yuqing Zhang 0001, Flavio Toffalini, Mathias Payer |
FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
13 | Yudi Zhao, Yuan Zhang 0009, Min Yang 0002 |
Remote Code Execution from SSTI in the Sandbox: Automatically Detecting and Exploiting Template Escape Bugs. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
13 | Miaoqian Lin, Kai Chen 0012, Yang Xiao 0011 |
Detecting API Post-Handling Bugs Using Code and Description in Patches. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
13 | Yuandao Cai, Peisen Yao, Chengfeng Ye, Charles Zhang |
Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
13 | Gertjan Franken, Tom van Goethem, Lieven Desmet, Wouter Joosen |
A Bug's Life: Analyzing the Lifecycle and Mitigation Process of Content Security Policy Bugs. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
13 | Paul Fiterau-Brostean, Bengt Jonsson 0001, Konstantinos Sagonas, Fredrik Tåquist |
Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations. |
NDSS |
2023 |
DBLP BibTeX RDF |
|
13 | Seongil Wi, Trung Tin Nguyen, Jihwan Kim, Ben Stock, Sooel Son |
DiffCSP: Finding Browser Bugs in Content Security Policy Enforcement through Differential Testing. |
NDSS |
2023 |
DBLP BibTeX RDF |
|
13 | Susan K. Aros, Mary L. McDonald |
Squashing Bugs And Improving Design: Using Data Farming To Support Verification And Validation Of Military Agent-Based Simulations. |
WSC |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Pengzhan Zhao, Xiongfei Wu, Junjie Luo 0005, Zhuo Li, Jianjun Zhao 0001 |
An Empirical Study of Bugs in Quantum Machine Learning Frameworks. |
QSW |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Katerina Goseva-Popstojanova, Denny Hood, Johann Schumann, Noble Nkwocha |
The Anatomy of Software Changes and Bugs in Autonomous Operating System. |
COMPSAC |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Xinmeng Xia, Yang Feng |
Detecting Interpreter Bugs via Filling Function Calls in Skeletal Program Enumeration. |
ISSRE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Hui Guo, Ting Su 0001, Xiaoqiang Liu, Siyi Gu, Jingling Sun |
Effectively Finding ICC-related Bugs in Android Apps via Reinforcement Learning. |
ISSRE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Gaia Molinaro, Anne G. E. Collins |
Human hacks and bugs in the recruitment of reward systems for goal achievement. |
CogSci |
2023 |
DBLP BibTeX RDF |
|
13 | Suhwan Song, Byoungyoung Lee |
Metamong: Detecting Render-Update Bugs in Web Browsers through Fuzzing. |
ESEC/SIGSOFT FSE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Kaifeng Huang, Bihuan Chen 0001, Susheng Wu, Junming Cao, Lei Ma, Xin Peng 0001 |
Demystifying Dependency Bugs in Deep Learning Stack. |
ESEC/SIGSOFT FSE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Mohsen Moradi-Moghadam, Mehdi Bagherzadeh 0001, Raffi Khatchadourian, Hamid Bagheri |
µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs. |
ESEC/SIGSOFT FSE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yingying Wen, Guanjie Cheng |
Module-Based Approach for Detecting Performance Bugs in Java Applications at Scale. |
IECON |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Alexandra Sasha Luccioni, David Rolnick |
Bugs in the Data: How ImageNet Misrepresents Biodiversity. |
AAAI |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Leon Fernandez, Gunnar Karlsson |
Squashing Resource Exhaustion Bugs with Black-Box Fuzzing and Reinforcement Learning. |
ICSRS |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Zongyin Hao, Quanfeng Huang, Chengpeng Wang, Jianfeng Wang, Yushan Zhang, Rongxin Wu, Charles Zhang |
Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis. |
USENIX Annual Technical Conference |
2023 |
DBLP BibTeX RDF |
|
13 | Tobias Paxian, Armin Biere |
Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging. |
POS@SAT |
2023 |
DBLP BibTeX RDF |
|
13 | Max Schrötter, Maximilian Falk, Bettina Schnor |
Automated Detection of Bugs in Error Handling for Teaching Secure C Programming. |
ABP |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jingting Chen, Feng Li, Qingfang Chen, Ping Li 0065, Lili Xu, Wei Huo |
EBugDec: Detecting Inconsistency Bugs caused by RFC Evolution in Protocol Implementations. |
RAID |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Sonam Sherpa, Xinghui Zhao |
A Hybrid Approach for Detecting Bugs in HPC Workloads. |
ICPADS |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Sara Ayman Metwalli, Rodney Van Meter |
A Categorization of Bugs in Quantum Programs. |
QCE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Simone Romano 0001, Giuseppe Scanniello, Maria Teresa Baldassarre, Danilo Caivano, Genoveffa Tortora |
On Fixing Bugs: Do Personality Traits Matter? |
PROFES (1) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Chao Li, Rui Chen, Boxiang Wang, Zhixuan Wang, Tingting Yu, Yunsong Jiang, Bin Gu 0006, Mengfei Yang |
An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yiheng Xiong, Mengqian Xu, Ting Su 0001, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He 0001, Zhendong Su 0001 |
An Empirical Study of Functional Bugs in Android Apps. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Ziyue Hua, Wei Lin, Luyao Ren, Zongyang Li, Lu Zhang, Wenpin Jiao, Tao Xie 0001 |
GDsmith: Detecting Bugs in Cypher Graph Database Engines. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jian Zhang, Xu Wang 0007, Hongyu Zhang 0002, Hailong Sun 0001, Xudong Liu 0001, Chunming Hu, Yang Liu 0003 |
Detecting Condition-Related Bugs with Control Flow Graph Neural Network. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Mingxi Ye, Yuhong Nan, Zibin Zheng, Dongpeng Wu, Huizhong Li |
Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su 0001 |
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. |
OSDI |
2023 |
DBLP BibTeX RDF |
|
13 | Zengyang Li, Wenshuo Wang, Sicheng Wang, Peng Liang 0001, Ran Mo |
Understanding Resolution of Multi-Language Bugs: An Empirical Study on Apache Projects. |
ESEM |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Leonie Weissweiler, Valentin Hofmann, Anjali Kantharuban, Anna Cai, Ritam Dutt, Amey Hengle, Anubha Kabra, Atharva Kulkarni, Abhishek Vijayakumar, Haofei Yu, Hinrich Schütze, Kemal Oflazer, David R. Mortensen |
Counting the Bugs in ChatGPT's Wugs: A Multilingual Investigation into the Morphological Capabilities of a Large Language Model. |
EMNLP |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Tuan Dinh, Jinman Zhao, Samson Tan, Renato Negrinho, Leonard Lausen, Sheng Zha, George Karypis |
Large Language Models of Code Fail at Completing Code with Potential Bugs. |
NeurIPS |
2023 |
DBLP BibTeX RDF |
|
13 | V. Kusumaniswari, Mukesh Chinta, Sk. Nawaz Shareff |
Classification of Software Bugs using Support Vector Machine. |
ICCCNT |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Cedric Richter, Heike Wehrheim |
How to Train Your Neural Bug Detector: Artificial vs Real Bugs. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | He Ye, Zimin Chen, Claire Le Goues |
PreciseBugCollector: Extensible, Executable and Precise Bug-Fix Collection: Solution for Challenge 8: Automating Precise Data Collection for Code Snippets with Bugs, Fixes, Locations, and Types. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Eric Liu, Shengjie Xu, David Lie |
FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Elizabeth Wyss, Lorenzo De Carli, Drew Davidson |
(Nothing But) Many Eyes Make All Bugs Shallow. |
SCORED@CCS |
2023 |
DBLP DOI BibTeX RDF |
|
13 | HyungSeok Han, JeongOh Kyea, Yonghwi Jin, Jinoh Kang, Brian Pak, Insu Yun |
QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries. |
SP |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Yu Jiang 0001, Ting Chen 0002, Jia-Guang Sun 0001 |
Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model. |
SP |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Kelly Kaoudis, Henrik Brodin, Evan Sultanik |
Automatically Detecting Variability Bugs Through Hybrid Control and Data Flow Analysis. |
SP (Workshops) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Dae R. Jeong, Byoungyoung Lee, Insik Shin, Youngjin Kwon |
SegFuzz: Segmentizing Thread Interleaving to Discover Kernel Concurrency Bugs through Fuzzing. |
SP |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Lin Ma, Duoming Zhou, Hanjie Wu, Yajin Zhou, Rui Chang, Hao Xiong, Lei Wu 0012, Kui Ren 0001 |
When Top-down Meets Bottom-up: Detecting and Exploiting Use-After-Cleanup Bugs in Linux Kernel. |
SP |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Momina Rizwan, Ricardo Caldas, Christoph Reichenbach, Matthias Mayr |
EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early. |
RoSE@ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Hao Zhang, Ji Luo, Mengze Hu, Jun Yan 0009, Jian Zhang, Zongyan Qiu |
Detecting Exception Handling Bugs in C++ Programs. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Haoxiang Jia, Ming Wen 0001, Zifan Xie, Xiaochen Guo, Rongxin Wu, Maolin Sun, Kang Chen, Hai Jin 0001 |
Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Parvez Mahbub, Ohiduzzaman Shuvo, Mohammad Masudur Rahman 0001 |
Explaining Software Bugs Leveraging Code Structures in Neural Machine Translation. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Zhuo Zhang 0002, Brian Zhang, Wen Xu, Zhiqiang Lin |
Demystifying Exploitable Bugs in Smart Contracts. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Gennaro Laudato, Simone Scalabrino, Nicole Novielli, Filippo Lanubile, Rocco Oliveto |
Predicting Bugs by Monitoring Developers During Task Execution. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yuqi Huai, Yuntianyi Chen, Sumaya Almanee, Tuan Ngo, Xiang Liao, Ziwen Wan, Qi Alfred Chen, Joshua Garcia |
Doppelgänger Test Generation for Revealing Bugs in Autonomous Driving Software. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Hao Guan, Ying Xiao, Jiaying Li, Yepang Liu 0001, Guangdong Bai |
A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Wensheng Dou, Ziyu Cui, Qianwang Dai, Jiansen Song, Dong Wang, Yu Gao 0002, Wei Wang 0049, Jun Wei 0001, Lei Chen, Hanmo Wang, Hua Zhong 0001, Tao Huang 0001 |
Detecting Isolation Bugs via Transaction Oracle Construction. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Teng Wang 0004, Zhouyang Jia, Shanshan Li 0001, Si Zheng, Yue Yu 0001, Erci Xu, Shaoliang Peng, Xiangke Liao |
Understanding and Detecting On-The-Fly Configuration Bugs. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Philipp Schaad, Timo Schneider, Tal Ben-Nun, Alexandru Calotoiu, Alexandros Nikolaos Ziogas, Torsten Hoefler |
FuzzyFlow: Leveraging Dataflow To Find and Squash Program Optimization Bugs. |
SC |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Neetu Singh, Sandeep Kumar Singh 0001 |
An Empirical Assessment of the Performance of Multi-Armed Bandits and Contextual Multi-Armed Bandits in Handling Cold-Start Bugs. |
IC3 |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Pragya Bhandari, Gema Rodríguez-Pérez |
BuggIn: Automatic Intrinsic Bugs Classification Model using NLP and ML. |
PROMISE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Bogdan Alexandru Stoica, Shan Lu 0001, Madanlal Musuvathi, Suman Nath |
WAFFLE: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection. |
EuroSys |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Baptiste Lepers, Josselin Giet, Willy Zwaenepoel, Julia Lawall |
OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel. |
EuroSys |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Md. Abul Kalam Azad, Nafees Iqbal, Foyzul Hassan, Probir Roy |
An Empirical Study of High Performance Computing (HPC) Performance Bugs. |
MSR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Kevin Jesse, Toufique Ahmed, Premkumar T. Devanbu, Emily Morgan |
Large Language Models and Simple, Stupid Bugs. |
MSR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Leonhard Applis, Annibale Panichella |
HasBugs - Handpicked Haskell Bugs. |
MSR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Rrezarta Krasniqi, Hyunsook Do |
Capturing Contextual Relationships of Buggy Classes for Detecting Quality-Related Bugs. |
ICSME |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Sharon Chee Yin Ho, Vahid Majdinasab, Mohayeminul Islam, Diego Elias Costa, Emad Shihab, Foutse Khomh, Sarah Nadi, Muhammad Raza |
An Empirical Study on Bugs Inside PyTorch: A Replication Study. |
ICSME |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Parvez Mahbub, Mohammad Masudur Rahman 0001, Ohiduzzaman Shuvo, Avinash Gopal |
Bugsplainer: Leveraging Code Structures to Explain Software Bugs with Neural Machine Translation. |
ICSME |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yeqi Fu, Yongzhi Liu, Qian Zhang, Zhou Yang, Xiarun Chen, Chenglin Xie, Weiping Wen |
Finding Missing Security Operation Bugs via Program Slicing and Differential Check. |
ICICS |
2023 |
DBLP DOI BibTeX RDF |
|
13 | David Griffin 0002, Susan Stepney, Ian T. Vidamour |
DebugNS: Novelty Search for Finding Bugs in Simulators. |
GI |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Congyu Liu, Sishuai Gong, Pedro Fonseca 0001 |
KIT: Testing OS-Level Virtualization for Functional Interference Bugs. |
ASPLOS (2) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | He Jiang 0001, Hongyi Cheng, Shikai Guo, Xiaochen Li |
Partition Based Differential Testing for Finding Embedded Code Generation Bugs in Simulink. |
DAC |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jiang Wu, Yan Lei, Zhuo Zhang 0007, Xiankai Meng, Deheng Yang, Pan Li, Jiayu He, Xiaoguang Mao |
Mantra: Mutation Testing of Hardware Design Code Based on Real Bugs. |
DAC |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Pengzhan Zhao, Xiongfei Wu, Zhuo Li, Jianjun Zhao 0001 |
QChecker: Detecting Bugs in Quantum Programs via Static Analysis. |
Q-SE@ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Matteo Paltenghi, Michael Pradel |
Bugs in Quantum computing platforms: an empirical study. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Quang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer, Peter W. O'Hearn |
Finding real bugs in big programs with incorrectness logic. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zhide Zhou, He Jiang 0001, Zhilei Ren, Yuting Chen, Lei Qiao |
LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM. |
IEEE Trans. Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ziyuan Wang, Dexin Bu, Aiyue Sun, Shanyi Gou, Yong Wang 0008, Lin Chen 0015 |
An Empirical Study on Bugs in Python Interpreters. |
IEEE Trans. Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Steffen Herbold, Tobias Haar |
Smoke testing for machine learning: simple tests to discover severe bugs. |
Empir. Softw. Eng. |
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. |
Empir. Softw. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Peipei Wang, Chris Brown 0001, Jamie A. Jennings, Kathryn T. Stolee |
Demystifying regular expression bugs. |
Empir. Softw. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad Masudur Rahman 0001, Foutse Khomh, Marco Castelluccio |
Works for Me! Cannot Reproduce - A Large Scale Empirical Study of Non-reproducible Bugs. |
Empir. Softw. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Gen Zhang, Peng-Fei Wang 0010, Tai Yue, Xiangdong Kong, Xu Zhou, Kai Lu |
ovAFLow: Detecting Memory Corruption Bugs with Fuzzing-Based Taint Inference. |
J. Comput. Sci. Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Hirsch, Birgit Hofer |
Using textual bug reports to predict the fault category of software bugs. |
Array |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Doowon Lee, Valeria Bertacco |
Bypassing Multicore Memory Bugs With Coarse-Grained Reconfigurable Logic. |
IEEE Trans. Computers |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ali Alawneh 0001, Iyad M. Alazzam, Khadijah Zayed Shatnawi |
Locating Source Code Bugs in Software Information Systems Using Information Retrieval Techniques. |
Big Data Cogn. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 2555 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|