|
|
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 | Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani |
Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Massimiliano Di Penta, Gabriele Bavota, Fiorella Zampetti |
On the Relationship between Refactoring Actions and Bugs: A Differentiated Replication. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Shin Hwei Tan, Chunfeng Hu, Ziqiang Li 0005, Xiaowen Zhang, Ying Zhou |
GitHub-OSS Fixit: Fixing bugs at scale in a Software Engineering Course. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Manuel Rigger, Zhendong Su 0001 |
Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Pengcheng Zhang, Feng Xiao, Xiapu Luo |
A Framework and DataSet for Bugs in Ethereum Smart Contracts. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Maarten Vandercammen, Laurent Christophe, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover |
Prioritising Server Bugs via Inter-process Concolic Testing. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Anusha Bableshwar, Arun Ravindran, Manoj Iyer |
A Recurrent Neural Network Based Patch Recommender for Linux Kernel Bugs. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang |
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Akond Rahman, Effat Farhana |
An Exploratory Characterization of Bugs in COVID-19 Software Projects. |
CoRR |
2020 |
DBLP 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. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Xinwei Fu, Wook-Hee Kim, Ajay Paddayuru Shreepathi, Mohannad Ismail, Sunny Wadkar, Changwoo Min, Dongyoon Lee |
WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Ishrat-Un-Nisa Uqaili, Syed Ahsan |
Machine learning based prediction of complex bugs in source code. |
Int. Arab J. Inf. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Hu Huang, Samuel Z. Guyer, Jason H. Rife |
Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables. |
J. Aerosp. Inf. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Seulbae Kim, Meng Xu 0001, Sanidhya Kashyap, Jungyeon Yoon, Wen Xu 0002, Taesoo Kim |
Finding Bugs in File Systems with an Extensible Fuzzing Framework. |
ACM Trans. Storage |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Chronis Kynigos, Marianthi Grizioti |
Modifying games with ChoiCo: Integrated affordances and engineered bugs for computational thinking. |
Br. J. Educ. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Korosh Koochekian Sabor, Mohammad Hamdaqa, Abdelwahab Hamou-Lhadj |
Automatic prediction of the severity of bugs using stack traces and categorical features. |
Inf. Softw. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Wei Yuan, Shan Lu 0001, Hailong Sun 0001, Xudong Liu 0001 |
How are distributed bugs diagnosed and fixed through system logs? |
Inf. Softw. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Hongliang Liang, Mingyue Li, Jianli Wang |
Automated data race bugs addition. |
EuroSec@EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Fischer Ferreira, Eduardo Fernandes, Johnatan Oliveira, Maurício R. de A. Souza, Eduardo Figueiredo 0001 |
How Difficult and Effective is Writing Assertions for Observing Bugs at Runtime? |
CIbSE |
2020 |
DBLP BibTeX RDF |
|
13 | Ziyi Zhang, Boqin Qin, Yilun Chen, Linhai Song, Yiying Zhang 0005 |
VRLifeTime - An IDE Tool to Avoid Concurrency and Memory Bugs in Rust. |
CCS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Azalea Raad, Josh Berdine, Hoang-Hai Dang, Derek Dreyer, Peter W. O'Hearn, Jules Villard |
Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic. |
CAV (2) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Jens Müller 0007, Marcus Brinkmann, Damian Poddebniak, Sebastian Schinzel, Jörg Schwenk |
Mailto: Me Your Secrets. On Bugs and Features in Email End-to-End Encryption. |
CNS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yann Herklotz, John Wickerson |
Finding and Understanding Bugs in FPGA Synthesis Tools. |
FPGA |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Md Rakibul Islam 0002, Minhaz F. Zibran |
How bugs are fixed: exposing bug-fix patterns with edits and nesting levels. |
SAC |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Jasmin Jahic, Thomas Bauer 0002, Thomas Kuhn 0001, Norbert Wehn, Pablo Oliveira Antonino |
FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs. |
SAI (1) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Moumita Asad, Kishan Kumar Ganguly, Kazi Sakib |
Combined Similarity Based Automated Program Repair Approaches for Expression Level Bugs. |
ENASE (Selected Papers) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Iffat Fatima, Hina Anwar, Dietmar Pfahl, Usman Qamar |
Detection and Correction of Android-specific Code Smells and Energy Bugs: An Android Lint Extension. |
QuASoQ@APSEC |
2020 |
DBLP BibTeX RDF |
|
13 | Valentina Lenarduzzi, Francesco Lomio, Heikki Huttunen, Davide Taibi 0001 |
Are SonarQube Rules Inducing Bugs? |
SANER |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Syed Fatiul Huq, Ali Zafar Sadiq, Kazi Sakib |
Is Developer Sentiment Related to Software Bugs: An Exploratory Study on GitHub Commits. |
SANER |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Felipe Ebert, Fernando Castor, Alexander Serebrenik |
A Reflection on "An Exploratory Study on Exception Handling Bugs in Java Programs". |
SANER |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Filipe Falcão, Caio Barbosa, Baldoino Fonseca, Alessandro Garcia 0001, Márcio Ribeiro 0001, Rohit Gheyi |
On Relating Technical, Social Factors, and the Introduction of Bugs. |
SANER |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Hao Ren, Yanhui Li, Lin Chen 0015 |
An Empirical Study on Critical Blocking Bugs. |
ICPC |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Fraser Brown, Deian Stefan, Dawson R. Engler |
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code. |
USENIX Security Symposium |
2020 |
DBLP BibTeX RDF |
|
13 | Christoph Frädrich, Florian Obermüller, Nina Körber, Ute Heuer, Gordon Fraser 0001 |
Common Bugs in Scratch Programs. |
ITiCSE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Taekjin Lee, Seongil Wi, Suyoung Lee, Sooel Son |
FUSE: Finding File Upload Bugs via Penetration Testing. |
NDSS |
2020 |
DBLP BibTeX RDF |
|
13 | Hadi Jahanshahi, Mucahit Cevik, Ayse Basar |
Predicting the Number of Reported Bugs in a Software Repository. |
Canadian AI |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Shuqing Li, Yechang Wu, Yi Liu, Dinghua Wang, Ming Wen 0001, Yida Tao, Yulei Sui, Yepang Liu 0001 |
An Exploratory Study of Bugs in Extended Reality Applications on the Web. |
ISSRE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yiwei Wang 0001, Wei Wang 0059, Yujun Cai, Bryan Hooi, Beng Chin Ooi |
Detecting Implementation Bugs in Graph Convolutional Network based Node Classifiers. |
ISSRE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang |
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing. |
ESEC/SIGSOFT FSE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Massimiliano Di Penta, Gabriele Bavota, Fiorella Zampetti |
On the relationship between refactoring actions and bugs: a differentiated replication. |
ESEC/SIGSOFT FSE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yizhuo Zhai, Yu Hao 0006, Hang Zhang 0012, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, Paul L. Yu |
UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel. |
ESEC/SIGSOFT FSE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Ratnadira Widyasari, Sheng Qin Sim, Camellia Lok, Haodi Qi, Jack Phan, Qijin Tay, Constance Tan, Fiona Wee, Jodie Ethelda Tan, Yuheng Yieh, Brian Goh, Ferdian Thung, Hong Jin Kang, Thong Hoang, David Lo 0001, Eng Lieh Ouh |
BugsInPy: a database of existing bugs in Python programs to enable controlled testing and debugging studies. |
ESEC/SIGSOFT FSE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Manuel Rigger, Zhendong Su 0001 |
Detecting optimization bugs in database engines via non-optimizing reference engine construction. |
ESEC/SIGSOFT FSE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yuhao Zhang 0005, Luyao Ren, Liqian Chen, Yingfei Xiong 0001, Shing-Chi Cheung, Tao Xie 0001 |
Detecting numerical bugs in neural network architectures. |
ESEC/SIGSOFT FSE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Hiromu Yakura, Youhei Akimoto, Jun Sakuma |
Generate (Non-Software) Bugs to Fool Classifiers. |
AAAI |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Sonu Mehta, Ranjita Bhagwan, Rahul Kumar 0002, Chetan Bansal, Chandra Shekhar Maddila, Balasubramanyan Ashok, Sumit Asthana, Christian Bird, Aditya Kumar |
Rex: Preventing Bugs and Misconfiguration in Large Services Using Correlated Change Analysis. |
NSDI |
2020 |
DBLP BibTeX RDF |
|
13 | Pietro Bressana, Noa Zilberman, Robert Soulé |
Finding hard-to-find data plane bugs with a PTA. |
CoNEXT |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Li Jia, Hao Zhong 0001, Xiaoyin Wang, Linpeng Huang, Xuansheng Lu |
An Empirical Study on Bugs Inside TensorFlow. |
DASFAA (1) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yasmin B. Kafai, Gautam Biswas, Nicole Hutchins, Caitlin Snyder, Karen Brennan, Paulina Haduong, Kayla DesPortes, Morgan Fong, Virginia J. Flood, Oia Walker-van Aalst, David DeLiema, Deborah A. Fields, Melissa S. Gresalfi, Corey E. Brady, Selena Steinberg, Madison Knowe, Diana Franklin, Merijke Coenraad, David Weintrop, Donna Eatinger, Jen Palmer, Michelle Hoda Wilkerson, Collette Roberto, Nicole Bulalacao, Joshua A. Danish |
Turning Bugs into Learning Opportunities: Understanding Debugging Processes, Perspectives, and Pedagogies. |
ICLS |
2020 |
DBLP BibTeX RDF |
|
13 | Noura Alomar, Primal Wijesekera, Edward Qiu, Serge Egelman |
"You've Got Your Nice List of Bugs, Now What?" Vulnerability Discovery and Management Processes in the Wild. |
SOUPS @ USENIX Security Symposium |
2020 |
DBLP BibTeX RDF |
|
13 | Hui Li, Dong Wang, Tianze Huang, Yu Gao 0002, Wensheng Dou, Lijie Xu, Wei Wang 0049, Jun Wei 0001, Hua Zhong 0001 |
Detecting cache-related bugs in Spark applications. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi 0001 |
Detecting and understanding real-world differential performance bugs in machine learning libraries. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani |
Data loss detector: automatically revealing data loss bugs in Android apps. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Roman Kápl, Pavel Parízek |
Endicheck: Dynamic Analysis for Detecting Endianness Bugs. |
TACAS (2) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Fabian Ruffy, Tao Wang, Anirudh Sivaraman |
Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing. |
OSDI |
2020 |
DBLP BibTeX RDF |
|
13 | Jacqueline Whalley, Harley Ogier |
Learning Journals in Creative Programming Assessments: Exposing Bugs, Issues, and Misconceptions. |
ACE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Oussama Beroual, Francis Guérin, Sylvain Hallé |
Detecting Responsive Web Design Bugs with Declarative Specifications. |
ICWE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yana Malysheva, Caitlin Kelleher |
Using Bugs in Student Code to Predict Need for Help. |
VL/HCC |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Thamali Madhushani Adhikari, Yan Wu |
Classifying Software Vulnerabilities by Using the Bugs Framework. |
ISDFS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Aryaz Eghbali, Michael Pradel |
No Strings Attached: An Empirical Study of String-related Software Bugs. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Haochen He, Zhouyang Jia, Shanshan Li 0001, Erci Xu, Tingting Yu, Yue Yu 0001, Ji Wang 0001, Xiangke Liao |
CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Byron Cook, Björn Döbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz |
Using model checking tools to triage the severity of security bugs in the Xen hypervisor. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Joshua Garcia, Yang Feng 0003, Junjie Shen 0001, Sumaya Almanee, Yuan Xia, Qi Alfred Chen |
A comprehensive study of autonomous vehicle bugs. |
ICSE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mingyuan Wu, Yicheng Ouyang, Husheng Zhou, Lingming Zhang 0001, Cong Liu 0005, Yuqun Zhang |
Simulee: detecting CUDA synchronization bugs via memory-access modeling. |
ICSE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Sohil Lal Shrestha |
Automatic generation of simulink models to find bugs in a cyber-physical system tool chain using deep learning. |
ICSE (Companion Volume) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner |
SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI). |
ICSE (Companion Volume) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Wanwangying Ma, Lin Chen 0015, Xiangyu Zhang 0001, Yang Feng 0003, Zhaogui Xu, Zhifei Chen, Yuming Zhou, Baowen Xu |
Impact analysis of cross-project bugs on software ecosystems. |
ICSE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Anders Fischer-Nielsen, Zhoulai Fu, Ting Su 0001, Andrzej Wasowski |
The forgotten case of the dependency bugs: on the example of the robot operating system. |
ICSE (SEIP) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner |
SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink. |
ICSE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Andrzej Wasowski |
Dependency bugs: the dark side of variability, reuse and modularity. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Jingzhu He, Ting Dai, Xiaohui Gu, Guoliang Jin |
HangFix: automatically fixing software hang bugs for production cloud systems. |
SoCC |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Jinghan Sun, Chen Wang 0004, Jian Huang 0006, Marc Snir |
Understanding and Finding Crash-Consistency Bugs in Parallel File Systems. |
HotStorage |
2020 |
DBLP BibTeX RDF |
|
13 | Noam Zilberstein |
Eliminating bugs with dependent Haskell (experience report). |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Daniel DeFreez, Antara Bhowmick, Ignacio Laguna, Cindy Rubio-González |
Detecting and reproducing error-code propagation bugs in MPI implementations. |
PPoPP |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Peipei Wang, Chris Brown 0001, Jamie A. Jennings, Kathryn T. Stolee |
An Empirical Study on Regular Expression Bugs. |
MSR |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Rafael-Michael Karampatsis, Charles Sutton |
How Often Do Single-Statement Bugs Occur?: The ManySStuBs4J Dataset. |
MSR |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, Ke Wang |
Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs. |
ICLR |
2020 |
DBLP BibTeX RDF |
|
13 | Rafi Almhana, Thiago do Nascimento Ferreira, Marouane Kessentini, Tushar Sharma 0001 |
Understanding and Characterizing Changes in Bugs Priority: The Practitioners' Perceptive. |
SCAM |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Felix Dobslaw, Morgan Vallin, Robin Sundström |
Free the Bugs: Disclosing Blocking Violations in Reactive Programming. |
SCAM |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Camilo Escobar-Velásquez, Michael Osorio-Riaño, Juan Dominguez-Osorio, Maria Arevalo, Mario Linares-Vásquez |
An Empirical Study of i18n Collateral Changes and Bugs in GUIs of Android apps. |
ICSME |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad Masudur Rahman 0001, Foutse Khomh, Marco Castelluccio |
Why are Some Bugs Non-Reproducible? : -An Empirical Investigation using Data Fusion-. |
ICSME |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Pengcheng Zhang, Feng Xiao, Xiapu Luo |
A Framework and DataSet for Bugs in Ethereum Smart Contracts. |
ICSME |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Sanjeev Das, Kedrian James, Jan Werner, Manos Antonakakis, Michalis Polychronakis, Fabian Monrose |
A Flexible Framework for Expediting Bug Finding by Leveraging Past (Mis-)Behavior to Discover New Bugs. |
ACSAC |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Qinchen Liu, Jianwen Xiang, Bin Xu, Dongdong Zhao 0001, Wenhua Hu, Jian Wang |
Aging-Related Bugs Prediction Via Convolutional Neural Network. |
DSA |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Zan Wang, Haichi Wang, Shuang Liu 0007, Jun Sun 0001, Haoyu Wang, Junjie Chen 0003 |
IFIX: Fixing Concurrency Bugs While They Are Introduced. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Christian Gram Kalhauge |
Reporting Bugs in Metaprograms. |
|
2020 |
RDF |
|
13 | Christopher Salls |
Fuzzing and Symbolic Execution to Identify and Patch Bugs. |
|
2020 |
RDF |
|
13 | Milijana Surbatovich, Limin Jia 0001, Brandon Lucia |
I/O dependent idempotence bugs in intermittent systems. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Shuai Wang 0011, Chengyu Zhang 0001, Zhendong Su 0001 |
Detecting nondeterministic payment bugs in Ethereum smart contracts. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Johannes Bader 0001, Andrew Scott, Michael Pradel, Satish Chandra 0001 |
Getafix: learning to fix bugs automatically. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Dayi Lin, Cor-Paul Bezemer, Ahmed E. Hassan |
Identifying gameplay videos that exhibit bugs in computer games. |
Empir. Softw. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Le An, Marco Castelluccio, Foutse Khomh |
An empirical study of DLL injection bugs in the Firefox ecosystem. |
Empir. Softw. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Chenyang Zhu 0001, Zhengwei Zhu, Yunxin Xie, Wei Jiang 0022, Guiling Zhang |
Evaluation of Machine Learning Approaches for Android Energy Bugs Detection With Revision Commits. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Chen Zhang, Jiaxin Li, Dongsheng Li 0001, Xicheng Lu |
Understanding and Statically Detecting Synchronization Performance Bugs in Distributed Cloud Systems. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yuxia Sun, Shing-Chi Cheung, Song Guo 0001, Ming Cheng |
Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs. |
IEEE Internet Things J. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mario Serna, Abraham Sánchez López, Martín Estrada Analco, María Beatríz Bernábe Loranca, Elberfeld E. Pérez G. |
Navegación de robots móviles utilizando algoritmos Bugs extendidos. |
Res. Comput. Sci. |
2019 |
DBLP BibTeX RDF |
|
13 | Owolabi Legunsen, Nader Al Awar, Xinyue Xu, Wajih Ul Hassan, Grigore Rosu, Darko Marinov |
How effective are existing Java API specifications for finding bugs during runtime verification? |
Autom. Softw. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Farimah Farahmandi, Prabhat Mishra 0001 |
Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits. |
IEEE Trans. Computers |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Sergey A. Asryan, Sergey S. Gaissaryan, Shamil F. Kurmangaleev, A. M. Aghabalyan, N. G. Hovsepyan, S. S. Sargsyan |
Dynamic Detection of Use-After-Free Bugs. |
Program. Comput. Softw. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Xiaobing Sun, Xin Peng 0001, Kai Zhang, Yang Liu 0003, Yuanfang Cai |
How security bugs are fixed and what can be improved: an empirical study with Mozilla. |
Sci. China Inf. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
|
|