Search results for "Debugging"

Hits ?▲	Authors	Title	Venue	Year	Link
11	José Campos 0001, André Souto	QBugs: A Collection of Reproducible Bugs in Quantum Algorithms and a Supporting Infrastructure to Enable Controlled Quantum Software Testing and Debugging Experiments.	Q-SE@ICSE	2021	DBLP DOI BibTeX RDF
11	Wachara Fungwacharakorn	Detecting and Resolving Counterintuitive Consequences in Law as Legal Debugging.		2021	RDF
11	Saeed Taheri	Debugging and Analysis Tools for Concurrent Programs.		2021	RDF
11	Tilman Michaeli	Debugging im Informatikunterricht.		2021	RDF
11	Ezekiel Olamide Soremekun	Evidence-driven testing and debugging of software systems.		2021	RDF
11	Andreas Nolle	Federated knowledge base debugging in DL-Lite A.		2021	RDF
11	Xiangyu Li 0001	Developer-Centric Automated Debugging.		2021	RDF
11	Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie 0001	Projection-based runtime assertions for testing and debugging Quantum programs.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
11	Stefano Berlato, Mariano Ceccato	A large-scale study on the adoption of anti-debugging and anti-tampering protections in android apps.	J. Inf. Secur. Appl.	2020	DBLP DOI BibTeX RDF
11	Dongmin Jang, Sujune Lee, Yoowon Jang, Hohyeon Jeong, Eunseok Lee 0001	A Novel Debugging Technique Based on Lightweight Crash Report Considering Security.	J. Inf. Sci. Eng.	2020	DBLP BibTeX RDF
11	Alexandra Kourfali, Dirk Stroobandt	In-Circuit Debugging with Dynamic Reconfiguration of FPGA Interconnects.	ACM Trans. Reconfigurable Technol. Syst.	2020	DBLP DOI BibTeX RDF
11	Al-Shahna Jamal, Eli Cahill, Jeffrey Goeders, Steven J. E. Wilton	Fast Turnaround HLS Debugging Using Dependency Analysis and Debug Overlays.	ACM Trans. Reconfigurable Technol. Syst.	2020	DBLP DOI BibTeX RDF
11	Akhila Sri Manasa Venigalla, Sridhar Chimalakonda	G4D - a treasure hunt game for novice programmers to learn debugging.	Smart Learn. Environ.	2020	DBLP DOI BibTeX RDF
11	Long Zhang, Zijie Li, Yang Feng 0003, Zhenyu Zhang 0004, Wing Kwong Chan, Jian Zhang 0001, Yuming Zhou	Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness.	IEEE Trans. Reliab.	2020	DBLP DOI BibTeX RDF
11	Ákos Kiss 0001	Generalizing the Split Factor of the Minimizing Delta Debugging Algorithm.	IEEE Access	2020	DBLP DOI BibTeX RDF
11	Max Frohberg, Peter Langendörfer	Demonstration of WISDOM - a Wireless in Field Measurement and Debugging Platform for Wireless Sensor Networks and Devices.	WiPiEC Journal	2020	DBLP BibTeX RDF
11	Mohammed I. Al-Saleh, Ethar Qawasmeh, Ziad A. Al-Sharif	Utilizing Debugging Information of Applications in Memory Forensics.	J. Univers. Comput. Sci.	2020	DBLP BibTeX RDF
11	Nikhil Kumar Singh 0004, Indranil Saha	Specification-Guided Automated Debugging of CPS Models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
11	Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali 0001, Eric Bodden	Debugging Static Analysis.	IEEE Trans. Software Eng.	2020	DBLP DOI BibTeX RDF
11	Mozhan Soltani, Annibale Panichella, Arie van Deursen	Search-Based Crash Reproduction and Its Impact on Debugging.	IEEE Trans. Software Eng.	2020	DBLP DOI BibTeX RDF
11	Michael Knobloch, Bernd Mohr	Tools for GPU Computing - Debugging and Performance Analysis of Heterogenous HPC Applications.	Supercomput. Front. Innov.	2020	DBLP DOI BibTeX RDF
11	Vladimir A. Bakhtin, Dmitry Zakharov, Aleksandr Ermichev, Victor A. Krukov	Debugging Parallel Programs in DVM-System.	Russ. Digit. Libr. J.	2020	DBLP BibTeX RDF
11	Julius Adebayo, Michael Muelly, Ilaria Liccardi, Been Kim	Debugging Tests for Model Explanations.	CoRR	2020	DBLP BibTeX RDF
11	Giuseppe Antonio Di Luna, Davide Italiano, Luca Massarelli, Sebastian Österlund, Cristiano Giuffrida, Leonardo Querzoni	Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries.	CoRR	2020	DBLP BibTeX RDF
11	Vaastav Anand, Matheus Stolet, Thomas Davidson, Ivan Beschastnikh, Tamara Munzner, Jonathan Mace	Aggregate-Driven Trace Visualizations for Performance Debugging.	CoRR	2020	DBLP BibTeX RDF
11	Thomas Dupriez, Steven Costiou, Stéphane Ducasse	First Infrastructure and Experimentation in Echo-debugging.	CoRR	2020	DBLP BibTeX RDF
11	Anna Fariha, Suman Nath, Alexandra Meliou	Causality-Guided Adaptive Interventional Debugging.	CoRR	2020	DBLP BibTeX RDF
11	Abdulaziz Alaboudi, Thomas D. LaToza	Using Hypotheses as a Debugging Aid.	CoRR	2020	DBLP BibTeX RDF
11	Raoni Lourenço, Juliana Freire, Dennis E. Shasha	Debugging Machine Learning Pipelines.	CoRR	2020	DBLP BibTeX RDF
11	Courtney Ford, Eoin M. Kenny, Mark T. Keane	Play MNIST For Me! User Studies on the Effects of Post-Hoc, Example-Based Explanations & Error Rates on Debugging a Deep Learning, Black-Box Classifier.	CoRR	2020	DBLP BibTeX RDF
11	Germán Vidal	Reversible Debugging in Logic Programming.	CoRR	2020	DBLP BibTeX RDF
11	Piyawat Lertvittayakumjorn, Lucia Specia, Francesca Toni	FIND: Human-in-the-Loop Debugging Deep Text Classifiers.	CoRR	2020	DBLP BibTeX RDF
11	Andreia Rodrigues, Jose Pedro Silva, João Pedro Dias, Hugo Sereno Ferreira	Multi-Approach Debugging of Industrial IoT Workflows.	CoRR	2020	DBLP BibTeX RDF
11	Bert Abrath, Bart Coppens 0001, Ilja Nevolin, Bjorn De Sutter	Resilient Self-Debugging Software Protection.	CoRR	2020	DBLP BibTeX RDF
11	Weiyuan Wu, Lampros Flokas, Eugene Wu 0002, Jiannan Wang 0001	Complaint-driven Training Data Debugging for Query 2.0.	CoRR	2020	DBLP BibTeX RDF
11	Jingjing Liang, Ruyi Ji, Jiajun Jiang, Yiling Lou, Yingfei Xiong 0001, Gang Huang 0001	Interactive Patch Filtering as Debugging Aid.	CoRR	2020	DBLP BibTeX RDF
11	Marco T. Morazán, Joshua M. Schappel, Sachin Mahashabde	Visual Designing and Debugging of Deterministic Finite-State Machines in FSM.	TFPIE	2020	DBLP DOI BibTeX RDF
11	Roozbeh Yousefzadeh, Dianne P. O'Leary	Auditing and Debugging Deep Learning Models via Decision Boundaries: Individual-level and Group-level Analysis.	CoRR	2020	DBLP BibTeX RDF
11	Rahul Krishna, Md Shahriar Iqbal, Mohammad Ali Javidian, Baishakhi Ray, Pooyan Jamshidi	CADET: A Systematic Method For Debugging Misconfigurations using Counterfactual Reasoning.	CoRR	2020	DBLP BibTeX RDF
11	Suyun "Sandra" Bae, Federico Rossi 0001, Joshua Vander Hook, Scott Davidoff, Kwan-Liu Ma	A Visual Analytics Approach to Debugging Cooperative, Autonomous Multi-Robot Systems' Worldviews.	CoRR	2020	DBLP BibTeX RDF
11	Han Guo, Nazneen Fatema Rajani, Peter Hase, Mohit Bansal, Caiming Xiong	FastIF: Scalable Influence Functions for Efficient Model Interpretation and Debugging.	CoRR	2020	DBLP BibTeX RDF
11	Xiaomin Zhang, Xiaojin Zhu 0001, Po-Ling Loh	Theory of Machine Learning Debugging via M-estimation.	CoRR	2020	DBLP BibTeX RDF
11	Andrea Fioraldi	Symbolic Execution and Debugging Synchronization.	CoRR	2020	DBLP BibTeX RDF
11	Shuby Deshpande, Benjamin Eysenbach, Jeff Schneider	Interactive Visualization for Debugging RL.	CoRR	2020	DBLP BibTeX RDF
11	Yifan Gan, Xueyuan Ren, Drew Ripberger, Spyros Blanas, Yang Wang 0009	IsoDiff: Debugging Anomalies Caused by Weak Isolation.	Proc. VLDB Endow.	2020	DBLP BibTeX RDF
11	El Kindi Rezig, Ashrita Brahmaroutu, Nesime Tatbul, Mourad Ouzzani, Nan Tang 0001, Timothy G. Mattson, Samuel Madden 0001, Michael Stonebraker	Debugging Large-Scale Data Science Pipelines using Dagger. (PDF / PS)	Proc. VLDB Endow.	2020	DBLP DOI BibTeX RDF
11	Zuozhi Wang, Avinash Kumar, Shengquan Ni, Chen Li 0001	Demonstration of Interactive Runtime Debugging of Distributed Dataflows in Texera. (PDF / PS)	Proc. VLDB Endow.	2020	DBLP DOI BibTeX RDF
11	CACM Staff	To catch a failure: the record-and-replay approach to debugging.	Commun. ACM	2020	DBLP DOI BibTeX RDF
11	John Vilk, Emery D. Berger	BLeak: automatically debugging memory leaks in web applications.	Commun. ACM	2020	DBLP DOI BibTeX RDF
11	Charisma Chan, Beth Cooper	Debugging incidents in Google's distributed systems.	Commun. ACM	2020	DBLP DOI BibTeX RDF
11	Simon Van Mierlo, Hans Vangheluwe, Simon Breslav, Rhys Goldstein, Azam Khan	Extending Explicitly Modelled Simulation Debugging Environments with Dynamic Structure.	ACM Trans. Model. Comput. Simul.	2020	DBLP DOI BibTeX RDF
11	Jie Gao, Dantong Ouyang, Yuxin Ye	Exploring duality on ontology debugging.	Appl. Intell.	2020	DBLP DOI BibTeX RDF
11	Pasquale Ardimento, Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo	Reusing Bugged Source Code to Support Novice Programmers in Debugging Tasks.	ACM Trans. Comput. Educ.	2020	DBLP DOI BibTeX RDF
11	Kasikrit Damkliang, Pichaya Tandayya	Middleware for running and debugging Taverna workflows utilising RESTful web services.	Int. J. Simul. Process. Model.	2020	DBLP DOI BibTeX RDF
11	Sheng Chen 0008, Baijun Wu	Efficient counter-factual type error debugging.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
11	Matteo Marra, Guillermo Polito, Elisa Gonzalez Boix	A debugging approach for live Big Data applications.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
11	David Zhao 0001, Pavle Subotic, Bernhard Scholz	Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy.	ACM Trans. Program. Lang. Syst.	2020	DBLP DOI BibTeX RDF
11	Charisma Chan, Beth Cooper	Debugging Incidents in Google's Distributed Systems.	ACM Queue	2020	DBLP DOI BibTeX RDF
11	Robert O'Callahan, Kyle Huey, Devon H. O'Dell, Terry Coatta	To Catch a Failure: The Record-and-Replay Approach to Debugging.	ACM Queue	2020	DBLP DOI BibTeX RDF
11	Daniel Ingalls, Eliot Miranda, Clément Béra, Elisa Gonzalez Boix	Two decades of live coding and debugging of virtual machines through simulation.	Softw. Pract. Exp.	2020	DBLP DOI BibTeX RDF
11	James Hoey, Ivan Lanese, Naoki Nishida 0001, Irek Ulidowski, Germán Vidal	A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs.	Selected Results of the COST Action IC1405	2020	DBLP DOI BibTeX RDF
11	Suyun "Sandra" Bae, Federico Rossi 0001, Joshua Vander Hook, Scott Davidoff, Kwan-Liu Ma	A Visual Analytics Approach to Debugging Cooperative, Autonomous Multi-Robot Systems' Worldviews.	IEEE VAST@IEEE VIS	2020	DBLP DOI BibTeX RDF
11	Muhammad Faisal, Sergio Montenegro 0001	Awareness Implementation of a Real Time Operating Systems(RTOS) for Debugging.	ICCAD	2020	DBLP DOI BibTeX RDF
11	Peiyi Han, Chaozheng Wang, Chuanyi Liu, Shaoming Duan, Hezhong Pan, Pengshuai Luo	SecureMLDebugger: A Privacy-Preserving Machine Learning Debugging Tool.	DSC	2020	DBLP DOI BibTeX RDF
11	Yuichiro Tateiwa, Akifumi Asano, Yonghwan Kim 0001, Yoshiaki Katayama, Masaaki Niimura	Proposal of an event visualization system for debugging in software-defined networking exercises using Trema.	ICCE-TW	2020	DBLP DOI BibTeX RDF
11	Manuel Alabor, Markus Stolze	Debugging of RxJS-based applications.	REBLS@SPLASH	2020	DBLP DOI BibTeX RDF
11	Udo Schlegel, Eren Cakmak, Hiba Arnout, Mennatallah El-Assady, Daniela Oelke, Daniel A. Keim	Towards visual debugging for multi-target time series classification.	IUI	2020	DBLP DOI BibTeX RDF
11	Wachara Fungwacharakorn, Ken Satoh	Generalizing Culprit Resolution in Legal Debugging with Background Knowledge.	JURIX	2020	DBLP DOI BibTeX RDF
11	Sameh Attia, Vaughn Betz	StateMover: Combining Simulation and Hardware Execution for Efficient FPGA Debugging.	FPGA	2020	DBLP DOI BibTeX RDF
11	Matteo Marra, Guillermo Polito, Elisa Gonzalez Boix	Framework-aware debugging with stack tailoring.	DLS	2020	DBLP DOI BibTeX RDF
11	Aman Dureja, Aditya Keerthi, Andrew Liang, Paul Zhang, Nancy Day	ALDB: Debugging Alloy Models of Behavioural Requirements.	MoDRE@RE	2020	DBLP DOI BibTeX RDF
11	Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, Subhajit Roy 0001	Interactive debugging of concurrent programs under relaxed memory models.	CGO	2020	DBLP DOI BibTeX RDF
11	Cheng-Yu Chung, I-Han Hsiao	Computational Thinking in Augmented Reality: An Investigation of Collaborative Debugging Practices.	iLRN	2020	DBLP DOI BibTeX RDF
11	Gernot Fiala, Tobias Scheipel, Werner Neuwirth, Marcel Baunach	FPGA-Based Debugging with Dynamic SignalSelection at Run-Time.	Software Engineering (Workshops)	2020	DBLP BibTeX RDF
11	Irman Faqrizal, Gwen Salaün	Clusters of Faulty States for Debugging Behavioural Models.	APSEC	2020	DBLP DOI BibTeX RDF
11	Pavel Dovgalyuk, Ivan Vasiliev, Natalia Fursova, Denis Dmitriev, Mikhail Abakumov, Vladimir Makarov	Non-intrusive Virtual Machine Analysis and Reverse Debugging with SWAT.	QRS	2020	DBLP DOI BibTeX RDF
11	Alex Groce, Josie Holmes	Practical Automatic Lightweight Nondeterminism and Flaky Test Detection and Debugging for Python.	QRS	2020	DBLP DOI BibTeX RDF
11	Xiangyu Li 0001, Alessandro Orso	More Accurate Dynamic Slicing for Better Supporting Software Debugging.	ICST	2020	DBLP DOI BibTeX RDF
11	Paul Denny 0001, James Prather, Brett A. Becker	Error Message Readability and Novice Debugging Performance.	ITiCSE	2020	DBLP DOI BibTeX RDF
11	Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi 0001	Data-Driven Debugging for Functional Side Channels.	NDSS	2020	DBLP BibTeX RDF
11	Eduardo Garcia-Espinosa, Enrique Gonzalez-Garcia, Adolfo Hernandez-Padilla, Raymundo Aguillon, Paulo Lopez-Meyer	Thermal Debugging Tool for Servers.	LASCAS	2020	DBLP DOI BibTeX RDF
11	Raoni Lourenço, Juliana Freire, Dennis E. Shasha	BugDoc: A System for Debugging Computational Pipelines.	SIGMOD Conference	2020	DBLP DOI BibTeX RDF
11	Weiyuan Wu, Lampros Flokas, Eugene Wu 0002, Jiannan Wang 0001	Complaint-driven Training Data Debugging for Query 2.0.	SIGMOD Conference	2020	DBLP DOI BibTeX RDF
11	Anna Fariha, Suman Nath, Alexandra Meliou	Causality-Guided Adaptive Interventional Debugging.	SIGMOD Conference	2020	DBLP DOI BibTeX RDF
11	Fuyuki Ishikawa	Testing and Debugging Autonomous Driving: Experiences with Path Planner and Future Challenges.	ISSRE Workshops	2020	DBLP DOI BibTeX RDF
11	Thomas Hirsch	A Fault Localization and Debugging Support Framework driven by Bug Tracking Data.	ISSRE Workshops	2020	DBLP DOI BibTeX RDF
11	Henry Zhu, Nik Sultana, Boon Thau Loo	Debugging strongly-compartmentalized distributed systems.	IPDPS Workshops	2020	DBLP DOI BibTeX RDF
11	Baris Aktemur, Markus Metzger, Natalia Saiapova, Mihails Strasuns	Debugging SYCL Programs on Heterogeneous Intel® Architectures.	IWOCL	2020	DBLP DOI BibTeX RDF
11	Ma. Victoria Almeda, Erica Kleinman, Chaima Jemmali, Carter Ithier, Elizabeth Rowe, Magy Seif El-Nasr	Labeling Debugging in May's Journey Gameplay.	SIGCSE	2020	DBLP DOI BibTeX RDF
11	Cheng-Yu Chung	Using Augmented Reality to Support Collaborative Problem Solving in Computer Debugging Practice.	SIGCSE	2020	DBLP DOI BibTeX RDF
11	Chaima Jemmali, Erica Kleinman, Sara Bunian, Mia Victoria Almeda, Elizabeth Rowe, Magy Seif El-Nasr	MAADS: Mixed-Methods Approach for the Analysis of Debugging Sequences of Beginner Programmers.	SIGCSE	2020	DBLP DOI BibTeX RDF
11	Michael Schneider	Pin Status: An Arduino Debugging Library for High School E-textile Courses.	SIGCSE	2020	DBLP DOI BibTeX RDF
11	Phoebe Martinez, John Lopez, Fernando J. Rodríguez, Joseph B. Wiggins, Kristy Elizabeth Boyer	Novice Debugging in Block-Based and Hybrid Environments.	SIGCSE	2020	DBLP DOI BibTeX RDF
11	Rona Sadan	A "Low-Floor" Multimeter: Supporting E-textile Debugging by Revealing Voltage and Continuity.	SIGCSE	2020	DBLP DOI BibTeX RDF
11	Joanna Sharrad, Olaf Chitil	Scaling Up Delta Debugging of Type Errors - Category: Research.	TFP	2020	DBLP DOI BibTeX RDF
11	Zenan Li, Xiaoxing Ma, Chang Xu 0001, Jingwei Xu 0001, Chun Cao, Jian Lu 0001	Operational calibration: debugging confidence errors for DNNs in the field.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
11	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
11	Bert Abrath, Bart Coppens 0001, Ilja Nevolin, Bjorn De Sutter	Resilient Self-Debugging Software Protection.	EuroS&P Workshops	2020	DBLP DOI BibTeX RDF
11	Sneha Gathani, Peter Lim, Leilani Battle	Debugging Database Queries: A Survey of Tools, Techniques, and Users.	CHI	2020	DBLP DOI BibTeX RDF
11	Habib ul Hasan Khan, Ariel Podlubne, Gökhan Akgün, Diana Göhringer	Cycle-Accurate Debugging of Embedded Designs Using Recurrent Neural Networks.	ARC	2020	DBLP DOI BibTeX RDF