|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW Companion ![In: Computer Supported Cooperative Work and Social Computing, CSCW 2023, Minneapolis, MN, USA, October 14-18, 2023, pp. 388-390, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 584-597, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: IEEE International Conference on Communications, ICC 2023, Rome, Italy, May 28 - June 1, 2023, pp. 753-758, 2023, IEEE, 978-1-5386-7462-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Wenlong Zheng, Baojian Hua, Zhuochen Jiang |
WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023, pp. 867-868, 2023, IEEE, 979-8-3503-5939-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Qianyue Wu, Sijie Yu, Ziyuan Wang, Nannan Wang, Yaping Feng |
Toward Understanding Bugs in Swift Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023, Chiang Mai, Thailand, October 22-26, 2023, pp. 117-127, 2023, IEEE, 979-8-3503-1958-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Vo Dai Trinh, Yuri Nishimura, Haibo Yu |
Development of a Web System for Detecting Bugs in Probabilistic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023, pp. 122-130, 2023, IEEE, 979-8-3503-5939-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023, Chiang Mai, Thailand, October 22-26, 2023, pp. 616-627, 2023, IEEE, 979-8-3503-1958-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Xinmeng Xia, Yang Feng, Qingkai Shi |
Understanding Bugs in Rust Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023, Chiang Mai, Thailand, October 22-26, 2023, pp. 138-149, 2023, IEEE, 979-8-3503-1958-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Rrezarta Krasniqi, Hyunsook Do |
A Hierarchical Topical Modeling Approach for Recommending Repair of Quality Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2023, Taipa, Macao, March 21-24, 2023, pp. 37-48, 2023, IEEE, 978-1-6654-5278-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Le Chen, Zhide Zhou, Xiaochen Li, He Jiang 0001 |
Detecting JavaScript Transpiler Bugs with Grammar-guided Mutation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2023, Taipa, Macao, March 21-24, 2023, pp. 558-568, 2023, IEEE, 978-1-6654-5278-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2023, Taipa, Macao, March 21-24, 2023, pp. 355-366, 2023, IEEE, 978-1-6654-5278-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | HeuiChan Lim, Saumya Debray |
Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-End. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, CC 2023, Montréal, QC, Canada, February 25-26, 2023, pp. 145-155, 2023, ACM, 979-8-4007-0088-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: 31st IEEE/ACM International Conference on Program Comprehension, ICPC 2023, Melbourne, Australia, May 15-16, 2023, pp. 328-338, 2023, IEEE, 979-8-3503-3750-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jinhan Kim, Jongchan Park, Shin Yoo |
The Inversive Relationship Between Bugs and Patches: An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSTW ![In: IEEE International Conference on Software Testing, Verification and Validation, ICST 2023 - Workshops, Dublin, Ireland, April 16-20, 2023, pp. 314-323, 2023, IEEE, 979-8-3503-3335-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KISV@SOSP ![In: Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023, pp. 33-40, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings, pp. 381-394, 2023, Springer, 978-3-031-49332-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 1343-1360, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 3691-3708, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Miaoqian Lin, Kai Chen 0012, Yang Xiao 0011 |
Detecting API Post-Handling Bugs Using Code and Description in Patches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 3709-3726, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Yuandao Cai, Peisen Yao, Chengfeng Ye, Charles Zhang |
Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 3727-3744, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 3673-3690, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDSS ![In: 30th Annual Network and Distributed System Security Symposium, NDSS 2023, San Diego, California, USA, February 27 - March 3, 2023, 2023, The Internet Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDSS ![In: 30th Annual Network and Distributed System Security Symposium, NDSS 2023, San Diego, California, USA, February 27 - March 3, 2023, 2023, The Internet Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Winter Simulation Conference, WSC 2023, San Antonio, TX, USA, December 10-13, 2023, pp. 106-117, 2023, IEEE, 979-8-3503-6966-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSW ![In: IEEE International Conference on Quantum Software, QSW 2023, Chicago, IL, USA, July 2-8, 2023, pp. 68-75, 2023, IEEE, 979-8-3503-0479-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 47th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2023, Torino, Italy, June 26-30, 2023, pp. 28-38, 2023, IEEE, 979-8-3503-2697-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Xinmeng Xia, Yang Feng |
Detecting Interpreter Bugs via Filling Function Calls in Skeletal Program Enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, pp. 612-622, 2023, IEEE, 979-8-3503-1594-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, pp. 403-414, 2023, IEEE, 979-8-3503-1594-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 45th Annual Meeting of the Cognitive Science Society, CogSci 2023, Sydney, NSW, Australia, July 26-29, 2023, 2023, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Suhwan Song, Byoungyoung Lee |
Metamong: Detecting Render-Update Bugs in Web Browsers through Fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, pp. 1075-1087, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, pp. 450-462, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, pp. 262-274, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yingying Wen, Guanjie Cheng |
Module-Based Approach for Detecting Performance Bugs in Java Applications at Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: 49th Annual Conference of the IEEE Industrial Electronics Society, IECON 2023, Singapore, October 16-19, 2023, pp. 1-7, 2023, IEEE, 979-8-3503-3182-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Alexandra Sasha Luccioni, David Rolnick |
Bugs in the Data: How ImageNet Misrepresents Biodiversity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 14382-14390, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Leon Fernandez, Gunnar Karlsson |
Squashing Resource Exhaustion Bugs with Black-Box Fuzzing and Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSRS ![In: 7th International Conference on System Reliability and Safety, ICSRS 2023, Bologna, Italy, November 22-24, 2023, pp. 439-448, 2023, IEEE, 979-8-3503-0605-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference ![In: 2023 USENIX Annual Technical Conference, USENIX ATC 2023, Boston, MA, USA, July 10-12, 2023., pp. 345-358, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Tobias Paxian, Armin Biere |
Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023., pp. 59-71, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Max Schrötter, Maximilian Falk, Bettina Schnor |
Automated Detection of Bugs in Error Handling for Teaching Secure C Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABP ![In: Proceedings of the Sixth Workshop `Automatische Bewertung von Programmieraufgaben`, ABP 2023, Munich, Germany, October 12-13, 2023., pp. 3-10, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2023, Hong Kong, China, October 16-18, 2023, pp. 412-425, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Sonam Sherpa, Xinghui Zhao |
A Hybrid Approach for Detecting Bugs in HPC Workloads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 29th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2023, Ocean Flower Island, China, December 17-21, 2023, pp. 1968-1974, 2023, IEEE, 979-8-3503-3071-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Sara Ayman Metwalli, Rodney Van Meter |
A Categorization of Bugs in Quantum Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QCE ![In: IEEE International Conference on Quantum Computing and Engineering, QCE 2023, Bellevue, WA, USA, September 17-22, 2023, pp. 346-347, 2023, IEEE, 979-8-3503-4323-6. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES (1) ![In: Product-Focused Software Process Improvement - 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I, pp. 451-467, 2023, Springer, 978-3-031-49265-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, pp. 1345-1356, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, pp. 1319-1331, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, pp. 163-174, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, pp. 1370-1382, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, pp. 298-309, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023, Boston, MA, USA, July 10-12, 2023., pp. 397-417, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2023, New Orleans, LA, USA, October 26-27, 2023, pp. 1-11, 2023, IEEE, 978-1-6654-5223-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, EMNLP 2023, Singapore, December 6-10, 2023, pp. 6508-6524, 2023, Association for Computational Linguistics, 979-8-89176-060-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | V. Kusumaniswari, Mukesh Chinta, Sk. Nawaz Shareff |
Classification of Software Bugs using Support Vector Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCNT ![In: 14th International Conference on Computing Communication and Networking Technologies, ICCCNT 2023, Delhi, India, July 6-8, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-3509-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Cedric Richter, Heike Wehrheim |
How to Train Your Neural Bug Detector: Artificial vs Real Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pp. 1036-1048, 2023, IEEE, 979-8-3503-2996-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pp. 1899-1910, 2023, IEEE, 979-8-3503-2996-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Eric Liu, Shengjie Xu, David Lie |
FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pp. 1061-1072, 2023, IEEE, 979-8-3503-2996-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Elizabeth Wyss, Lorenzo De Carli, Drew Davidson |
(Nothing But) Many Eyes Make All Bugs Shallow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCORED@CCS ![In: Proceedings of the 2023 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses, SCORED 2023, Copenhagen, Denmark, 30 November 2023, pp. 53-63, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023, pp. 3279-312795, 2023, IEEE, 978-1-6654-9336-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023, pp. 2517-2532, 2023, IEEE, 978-1-6654-9336-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Kelly Kaoudis, Henrik Brodin, Evan Sultanik |
Automatically Detecting Variability Bugs Through Hybrid Control and Data Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP (Workshops) ![In: 2023 IEEE Security and Privacy Workshops (SPW), San Francisco, CA, USA, May 25, 2023, pp. 187-197, 2023, IEEE, 979-8-3503-1236-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023, pp. 2104-2121, 2023, IEEE, 978-1-6654-9336-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023, pp. 2138-2154, 2023, IEEE, 978-1-6654-9336-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoSE@ICSE ![In: 5th IEEE/ACM International Workshop on Robotics Software Engineering, RoSE@ICSE 2023, Melbourne, Australia, May 15, 2023, pp. 61-68, 2023, IEEE, 979-8-3503-0184-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 1084-1095, 2023, IEEE, 978-1-6654-5701-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 43-55, 2023, IEEE, 978-1-6654-5701-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Parvez Mahbub, Ohiduzzaman Shuvo, Mohammad Masudur Rahman 0001 |
Explaining Software Bugs Leveraging Code Structures in Neural Machine Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 640-652, 2023, IEEE, 978-1-6654-5701-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Zhuo Zhang 0002, Brian Zhang, Wen Xu, Zhiqiang Lin |
Demystifying Exploitable Bugs in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 615-627, 2023, IEEE, 978-1-6654-5701-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Gennaro Laudato, Simone Scalabrino, Nicole Novielli, Filippo Lanubile, Rocco Oliveto |
Predicting Bugs by Monitoring Developers During Task Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 1-13, 2023, IEEE, 978-1-6654-5701-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 2591-2603, 2023, IEEE, 978-1-6654-5701-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 147-158, 2023, IEEE, 978-1-6654-5701-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 1123-1135, 2023, IEEE, 978-1-6654-5701-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 628-639, 2023, IEEE, 978-1-6654-5701-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2023, Denver, CO, USA, November 12-17, 2023, pp. 88:1-88:15, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3 ![In: Proceedings of the 2023 Fifteenth International Conference on Contemporary Computing, IC3-2023, Noida, India, August 3-5, 2023, pp. 750-758, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Pragya Bhandari, Gema Rodríguez-Pérez |
BuggIn: Automatic Intrinsic Bugs Classification Model using NLP and ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROMISE ![In: Proceedings of the 19th International Conference on Predictive Models and Data Analytics in Software Engineering, PROMISE 2023, San Francisco, CA, USA, 8 December 2023, pp. 2-11, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the Eighteenth European Conference on Computer Systems, EuroSys 2023, Rome, Italy, May 8-12, 2023, pp. 111-126, 2023, ACM, 978-1-4503-9487-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the Eighteenth European Conference on Computer Systems, EuroSys 2023, Rome, Italy, May 8-12, 2023, pp. 33-45, 2023, ACM, 978-1-4503-9487-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: 20th IEEE/ACM International Conference on Mining Software Repositories, MSR 2023, Melbourne, Australia, May 15-16, 2023, pp. 194-206, 2023, IEEE, 979-8-3503-1184-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Kevin Jesse, Toufique Ahmed, Premkumar T. Devanbu, Emily Morgan |
Large Language Models and Simple, Stupid Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: 20th IEEE/ACM International Conference on Mining Software Repositories, MSR 2023, Melbourne, Australia, May 15-16, 2023, pp. 563-575, 2023, IEEE, 979-8-3503-1184-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Leonhard Applis, Annibale Panichella |
HasBugs - Handpicked Haskell Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: 20th IEEE/ACM International Conference on Mining Software Repositories, MSR 2023, Melbourne, Australia, May 15-16, 2023, pp. 223-227, 2023, IEEE, 979-8-3503-1184-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Rrezarta Krasniqi, Hyunsook Do |
Capturing Contextual Relationships of Buggy Classes for Detecting Quality-Related Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSME ![In: IEEE International Conference on Software Maintenance and Evolution, ICSME 2023, Bogotá, Colombia, October 1-6, 2023, pp. 375-379, 2023, IEEE, 979-8-3503-2783-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSME ![In: IEEE International Conference on Software Maintenance and Evolution, ICSME 2023, Bogotá, Colombia, October 1-6, 2023, pp. 220-231, 2023, IEEE, 979-8-3503-2783-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSME ![In: IEEE International Conference on Software Maintenance and Evolution, ICSME 2023, Bogotá, Colombia, October 1-6, 2023, pp. 530-535, 2023, IEEE, 979-8-3503-2783-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security - 25th International Conference, ICICS 2023, Tianjin, China, November 18-20, 2023, Proceedings, pp. 702-718, 2023, Springer, 978-981-99-7355-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | David Griffin 0002, Susan Stepney, Ian T. Vidamour |
DebugNS: Novelty Search for Finding Bugs in Simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI ![In: IEEE/ACM International Workshop on Genetic Improvement, GI@ICSE 2023, Melbourne, Australia, May 20, 2023, pp. 17-18, 2023, IEEE, 979-8-3503-1232-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Congyu Liu, Sishuai Gong, Pedro Fonseca 0001 |
KIT: Testing OS-Level Virtualization for Functional Interference Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS (2) ![In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2023, Vancouver, BC, Canada, March 25-29, 2023, pp. 427-441, 2023, ACM, 978-1-4503-9916-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: 60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2348-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: 60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2348-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Pengzhan Zhao, Xiongfei Wu, Zhuo Li, Jianjun Zhao 0001 |
QChecker: Detecting Bugs in Quantum Programs via Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Q-SE@ICSE ![In: 4th IEEE/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2023, Melbourne, Australia, May 17, 2023, pp. 50-57, 2023, IEEE, 979-8-3503-0180-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Matteo Paltenghi, Michael Pradel |
Bugs in Quantum computing platforms: an empirical study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(OOPSLA1), pp. 1-27, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(OOPSLA1), pp. 1-27, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 71(2), pp. 896-910, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 71(2), pp. 716-734, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Steffen Herbold, Tobias Haar |
Smoke testing for machine learning: simple tests to discover severe bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 27(2), pp. 45, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 27(4), pp. 92, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Peipei Wang, Chris Brown 0001, Jamie A. Jennings, Kathryn T. Stolee |
Demystifying regular expression bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 27(1), pp. 21, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 27(5), pp. 111, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 37(2), pp. 405-422, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Hirsch, Birgit Hofer |
Using textual bug reports to predict the fault category of software bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Array ![In: Array 15, pp. 100189, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Doowon Lee, Valeria Bertacco |
Bypassing Multicore Memory Bugs With Coarse-Grained Reconfigurable Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 71(9), pp. 2191-2204, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Big Data Cogn. Comput. ![In: Big Data Cogn. Comput. 6(4), pp. 156, 2022. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|