|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.05584, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Massimiliano Di Penta, Gabriele Bavota, Fiorella Zampetti |
On the Relationship between Refactoring Actions and Bugs: A Differentiated Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.11685, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.14392, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Manuel Rigger, Zhendong Su 0001 |
Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.08292, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Pengcheng Zhang, Feng Xiao, Xiapu Luo |
A Framework and DataSet for Bugs in Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.02066, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.16303, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Anusha Bableshwar, Arun Ravindran, Manoj Iyer |
A Recurrent Neural Network Based Patch Recommender for Linux Kernel Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.08454, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.05934, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Akond Rahman, Effat Farhana |
An Exploratory Characterization of Bugs in COVID-19 Software Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.00586, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.03759, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.06086, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Ishrat-Un-Nisa Uqaili, Syed Ahsan |
Machine learning based prediction of complex bugs in source code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Arab J. Inf. Technol. ![In: Int. Arab J. Inf. Technol. 17(1), pp. 26-37, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Hu Huang, Samuel Z. Guyer, Jason H. Rife |
Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Aerosp. Inf. Syst. ![In: J. Aerosp. Inf. Syst. 17(4), pp. 204-213, April 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 16(2), pp. 10:1-10:35, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Chronis Kynigos, Marianthi Grizioti |
Modifying games with ChoiCo: Integrated affordances and engineered bugs for computational thinking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Br. J. Educ. Technol. ![In: Br. J. Educ. Technol. 51(6), pp. 2252-2267, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 123, pp. 106205, 2020. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 119, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Hongliang Liang, Mingyue Li, Jianli Wang |
Automated data race bugs addition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSec@EuroSys ![In: Proceedings of the 13th European Workshop on Systems Security, EuroSec@EuroSys 2020, Heraklion, Greece, April 27, 2020, pp. 37-42, 2020, ACM, 978-1-4503-7523-8. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIbSE ![In: Proceedings of the XXIII Iberoamerican Conference on Software Engineering, CIbSE 2020, Curitiba, Paraná, Brazil, November 9-13, 2020., pp. 306-319, 2020, Curran Associates, 978-1-7138-1853-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020, pp. 2085-2087, 2020, ACM, 978-1-4503-7089-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, pp. 225-252, 2020, Springer, 978-3-030-53290-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNS ![In: 8th IEEE Conference on Communications and Network Security, CNS 2020, Avignon, France, June 29 - July 1, 2020, pp. 1-9, 2020, IEEE, 978-1-7281-4760-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yann Herklotz, John Wickerson |
Finding and Understanding Bugs in FPGA Synthesis Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: FPGA '20: The 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, Seaside, CA, USA, February 23-25, 2020, pp. 277-287, 2020, ACM, 978-1-4503-7099-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020, pp. 1523-1531, 2020, ACM, 978-1-4503-6866-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAI (1) ![In: Intelligent Computing - Proceedings of the 2020 Computing Conference, Volume 1, SAI 2020, London, UK, 16-17 July 2020., pp. 54-74, 2020, Springer, 978-3-030-52248-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Moumita Asad, Kishan Kumar Ganguly, Kazi Sakib |
Combined Similarity Based Automated Program Repair Approaches for Expression Level Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE (Selected Papers) ![In: Evaluation of Novel Approaches to Software Engineering - 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers, pp. 311-335, 2020, Springer, 978-3-030-70005-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QuASoQ@APSEC ![In: Proceedings of the 8th International Workshop on Quantitative Approaches to Software Quality co-located with 27th Asia-Pacific Software Engineering Conference (APSEC 2020), Singapore (virtual), December 1, 2020., pp. 71-78, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Valentina Lenarduzzi, Francesco Lomio, Heikki Huttunen, Davide Taibi 0001 |
Are SonarQube Rules Inducing Bugs? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2020, London, ON, Canada, February 18-21, 2020, pp. 501-511, 2020, IEEE, 978-1-7281-5143-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2020, London, ON, Canada, February 18-21, 2020, pp. 527-531, 2020, IEEE, 978-1-7281-5143-4. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2020, London, ON, Canada, February 18-21, 2020, pp. 552-556, 2020, IEEE, 978-1-7281-5143-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2020, London, ON, Canada, February 18-21, 2020, pp. 378-388, 2020, IEEE, 978-1-7281-5143-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Hao Ren, Yanhui Li, Lin Chen 0015 |
An Empirical Study on Critical Blocking Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: ICPC '20: 28th International Conference on Program Comprehension, Seoul, Republic of Korea, July 13-15, 2020, pp. 72-82, 2020, ACM, 978-1-4503-7958-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020, pp. 199-216, 2020, USENIX Association, 978-1-939133-17-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Christoph Frädrich, Florian Obermüller, Nina Körber, Ute Heuer, Gordon Fraser 0001 |
Common Bugs in Scratch Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June 15-19, 2020., pp. 89-95, 2020, ACM, 978-1-4503-6874-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Taekjin Lee, Seongil Wi, Suyoung Lee, Sooel Son |
FUSE: Finding File Upload Bugs via Penetration Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDSS ![In: 27th Annual Network and Distributed System Security Symposium, NDSS 2020, San Diego, California, USA, February 23-26, 2020, 2020, The Internet Society, 1-891562-61-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Hadi Jahanshahi, Mucahit Cevik, Ayse Basar |
Predicting the Number of Reported Bugs in a Software Repository. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Canadian AI ![In: Advances in Artificial Intelligence - 33rd Canadian Conference on Artificial Intelligence, Canadian AI 2020, Ottawa, ON, Canada, May 13-15, 2020, Proceedings, pp. 309-320, 2020, Springer, 978-3-030-47357-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020, pp. 172-183, 2020, IEEE, 978-1-7281-9870-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020, pp. 313-324, 2020, IEEE, 978-1-7281-9870-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pp. 701-712, 2020, ACM, 978-1-4503-7043-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Massimiliano Di Penta, Gabriele Bavota, Fiorella Zampetti |
On the relationship between refactoring actions and bugs: a differentiated replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pp. 556-567, 2020, ACM, 978-1-4503-7043-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pp. 221-232, 2020, ACM, 978-1-4503-7043-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pp. 1556-1560, 2020, ACM, 978-1-4503-7043-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Manuel Rigger, Zhendong Su 0001 |
Detecting optimization bugs in database engines via non-optimizing reference engine construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pp. 1140-1152, 2020, ACM, 978-1-4503-7043-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pp. 826-837, 2020, ACM, 978-1-4503-7043-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Hiromu Yakura, Youhei Akimoto, Jun Sakuma |
Generate (Non-Software) Bugs to Fool Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020., pp. 1070-1078, 2020, AAAI Press, 978-1-57735-823-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020., pp. 435-448, 2020, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Pietro Bressana, Noa Zilberman, Robert Soulé |
Finding hard-to-find data plane bugs with a PTA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNEXT ![In: CoNEXT '20: The 16th International Conference on emerging Networking EXperiments and Technologies, Barcelona, Spain, December, 2020, pp. 218-231, 2020, ACM, 978-1-4503-7948-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Li Jia, Hao Zhong 0001, Xiaoyin Wang, Linpeng Huang, Xuansheng Lu |
An Empirical Study on Bugs Inside TensorFlow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA (1) ![In: Database Systems for Advanced Applications - 25th International Conference, DASFAA 2020, Jeju, South Korea, September 24-27, 2020, Proceedings, Part I, pp. 604-620, 2020, Springer, 978-3-030-59409-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLS ![In: Interdisciplinarity in the Learning Sciences: Proceedings of the 14th International Conference of the Learning Sciences, ICLS 2020, [Nashville, Tennessee, USA], Online Conference, June 19-23, 2020, 2020, International Society of the Learning Sciences. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOUPS @ USENIX Security Symposium ![In: Sixteenth Symposium on Usable Privacy and Security, SOUPS 2020, August 7-11, 2020., pp. 319-339, 2020, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 363-375, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 189-199, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 141-152, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Roman Kápl, Pavel Parízek |
Endicheck: Dynamic Analysis for Detecting Endianness Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II, pp. 254-270, 2020, Springer, 978-3-030-45236-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Fabian Ruffy, Tao Wang, Anirudh Sivaraman |
Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020., pp. 683-699, 2020, USENIX Association, 978-1-939133-19-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Jacqueline Whalley, Harley Ogier |
Learning Journals in Creative Programming Assessments: Exposing Bugs, Issues, and Misconceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACE ![In: ACE 2020, Proceedings of the Twenty-Second Australasian Computing Education Conference, Melbourne, VIC, Australia, February 4-6, 2020, pp. 39-47, 2020, ACM, 978-1-4503-7686-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Oussama Beroual, Francis Guérin, Sylvain Hallé |
Detecting Responsive Web Design Bugs with Declarative Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering - 20th International Conference, ICWE 2020, Helsinki, Finland, June 9-12, 2020, Proceedings, pp. 3-18, 2020, Springer, 978-3-030-50577-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yana Malysheva, Caitlin Kelleher |
Using Bugs in Student Code to Predict Need for Help. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2020, Dunedin, New Zealand, August 10-14, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-6901-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Thamali Madhushani Adhikari, Yan Wu |
Classifying Software Vulnerabilities by Using the Bugs Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDFS ![In: 8th International Symposium on Digital Forensics and Security, ISDFS 2020, Beirut, Lebanon, June 1-2, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-6939-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Aryaz Eghbali, Michael Pradel |
No Strings Attached: An Empirical Study of String-related Software Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 956-967, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 623-634, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 185-193, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, pp. 385-396, 2020, ACM, 978-1-4503-7121-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, pp. 937-948, 2020, ACM, 978-1-4503-7121-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020, pp. 110-112, 2020, ACM, 978-1-4503-7122-3. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020, pp. 1-4, 2020, ACM, 978-1-4503-7122-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, pp. 100-111, 2020, ACM, 978-1-4503-7121-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (SEIP) ![In: ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June - 19 July, 2020, pp. 21-30, 2020, ACM, 978-1-4503-7123-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, pp. 335-346, 2020, ACM, 978-1-4503-7121-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Andrzej Wasowski |
Dependency bugs: the dark side of variability, reuse and modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VaMoS ![In: VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, pp. 1:1-1:2, 2020, ACM, 978-1-4503-7501-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Jingzhu He, Ting Dai, Xiaohui Gu, Guoliang Jin |
HangFix: automatically fixing software hang bugs for production cloud systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCC ![In: SoCC '20: ACM Symposium on Cloud Computing, Virtual Event, USA, October 19-21, 2020, pp. 344-357, 2020, ACM, 978-1-4503-8137-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotStorage ![In: 12th USENIX Workshop on Hot Topics in Storage and File Systems, HotStorage 2020, July 13-14, 2020, 2020, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Noam Zilberstein |
Eliminating bugs with dependent Haskell (experience report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020, pp. 9-16, 2020, ACM, 978-1-4503-8050-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, California, USA, February 22-26, 2020, pp. 187-201, 2020, ACM, 978-1-4503-6818-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Peipei Wang, Chris Brown 0001, Jamie A. Jennings, Kathryn T. Stolee |
An Empirical Study on Regular Expression Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: MSR '20: 17th International Conference on Mining Software Repositories, Seoul, Republic of Korea, 29-30 June, 2020, pp. 103-113, 2020, ACM, 978-1-4503-7517-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Rafael-Michael Karampatsis, Charles Sutton |
How Often Do Single-Statement Bugs Occur?: The ManySStuBs4J Dataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: MSR '20: 17th International Conference on Mining Software Repositories, Seoul, Republic of Korea, 29-30 June, 2020, pp. 573-577, 2020, ACM, 978-1-4503-7517-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: 8th International Conference on Learning Representations, ICLR 2020, Addis Ababa, Ethiopia, April 26-30, 2020, 2020, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020, Adelaide, Australia, September 28 - October 2, 2020, pp. 87-97, 2020, IEEE, 978-1-7281-9248-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Felix Dobslaw, Morgan Vallin, Robin Sundström |
Free the Bugs: Disclosing Blocking Violations in Reactive Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020, Adelaide, Australia, September 28 - October 2, 2020, pp. 177-186, 2020, IEEE, 978-1-7281-9248-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSME ![In: IEEE International Conference on Software Maintenance and Evolution, ICSME 2020, Adelaide, Australia, September 28 - October 2, 2020, pp. 581-592, 2020, IEEE, 978-1-7281-5619-4. The full citation details ...](Pics/full.jpeg) |
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-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSME ![In: IEEE International Conference on Software Maintenance and Evolution, ICSME 2020, Adelaide, Australia, September 28 - October 2, 2020, pp. 605-616, 2020, IEEE, 978-1-7281-5619-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Pengcheng Zhang, Feng Xiao, Xiapu Luo |
A Framework and DataSet for Bugs in Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSME ![In: IEEE International Conference on Software Maintenance and Evolution, ICSME 2020, Adelaide, Australia, September 28 - October 2, 2020, pp. 139-150, 2020, IEEE, 978-1-7281-5619-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: ACSAC '20: Annual Computer Security Applications Conference, Virtual Event / Austin, TX, USA, 7-11 December, 2020, pp. 345-359, 2020, ACM, 978-1-4503-8858-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSA ![In: 7th International Conference on Dependable Systems and Their Applications, DSA 2020, Xi'an, China, November 28-29, 2020, pp. 90-98, 2020, IEEE, 978-0-7381-2422-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020, pp. 155-164, 2020, IEEE, 978-1-7281-8558-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Christian Gram Kalhauge |
Reporting Bugs in Metaprograms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
13 | Christopher Salls |
Fuzzing and Symbolic Execution to Identify and Patch Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
13 | Milijana Surbatovich, Limin Jia 0001, Brandon Lucia |
I/O dependent idempotence bugs in intermittent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(OOPSLA), pp. 183:1-183:31, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Shuai Wang 0011, Chengyu Zhang 0001, Zhendong Su 0001 |
Detecting nondeterministic payment bugs in Ethereum smart contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(OOPSLA), pp. 189:1-189:29, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Johannes Bader 0001, Andrew Scott, Michael Pradel, Satish Chandra 0001 |
Getafix: learning to fix bugs automatically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(OOPSLA), pp. 159:1-159:27, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Dayi Lin, Cor-Paul Bezemer, Ahmed E. Hassan |
Identifying gameplay videos that exhibit bugs in computer games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 24(6), pp. 4006-4033, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Le An, Marco Castelluccio, Foutse Khomh |
An empirical study of DLL injection bugs in the Firefox ecosystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 24(4), pp. 1799-1822, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 85241-85252, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 99123-99135, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 6(5), pp. 8945-8957, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Res. Comput. Sci. ![In: Res. Comput. Sci. 148(8), pp. 159-171, 2019. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 26(4), pp. 795-837, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Farimah Farahmandi, Prabhat Mishra 0001 |
Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 68(2), pp. 182-197, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 45(7), pp. 365-371, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 62(1), pp. 19102:1-19102:3, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
|
|