Search results for "Debugging"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Sangeeta Chowdhary, Jay P. Lim, Santosh Nagarakatte	Debugging and detecting numerical errors in computation with posits.	PLDI	2020	DBLP DOI BibTeX RDF
11	Deborah A. Fields, Yuhan Lin, Gayithri Jayathirtha, Yasmin B. Kafai	A Redesigned Reconstruction Kit for Rapid Collaborative Debugging and Designing of E-Textiles.	FabLearn	2020	DBLP DOI BibTeX RDF
11	Xinyang Ge, Ben Niu 0007, Weidong Cui	Reverse Debugging of Kernel Failures in Deployed Systems.	USENIX Annual Technical Conference	2020	DBLP BibTeX RDF
11	Vasiliy Pinkevich, Alexey Platunov	Method for Testing and Debugging Flow Formal Specification in Full-Stack Embedded Systems Designs.	MECO	2020	DBLP DOI BibTeX RDF
11	Gayithri Jayathirtha, Deborah A. Fields, Yasmin B. Kafai	Pair Debugging of Electronic Textiles Projects: Analyzing Think-Aloud Protocols for High School Students' Strategies and Practices While Problem Solving.	ICLS	2020	DBLP BibTeX RDF
11	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
11	Chrysanthos Socratous, Andri Ioannou	Common Errors, Successful Debugging, and Engagement During Block-based Programming Using Educational Robotics in Elementary Education.	ICLS	2020	DBLP BibTeX RDF
11	Mona Emara, Shuchi Grover, Nicole Hutchins, Gautam Biswas, Caitlin Snyder	Examining Students' Debugging and Regulation Processes During Collaborative Computational Modeling in Science.	ICLS	2020	DBLP BibTeX RDF
11	Melissa S. Gresalfi, Corey E. Brady, Madison Knowe, Selena Steinberg	Engaging in a New Practice: What Are Students Doing When They Are "Doing" Debugging?	ICLS	2020	DBLP BibTeX RDF
11	Robert Strandh	Omnipresent and low-overhead application debugging.	ELS	2020	DBLP DOI BibTeX RDF
11	Tilman Michaeli, Ralf Romeike	Investigating Students' Preexisting Debugging Traits: A Real World Escape Room Study.	Koli Calling	2020	DBLP DOI BibTeX RDF
11	Daniel Gis, Nils Büscher, Christian Haubelt	Advanced Debugging Architecture for Smart Inertial Sensors using Sensor-in-the-Loop.	RSP	2020	DBLP DOI BibTeX RDF
11	Pengyu Nie 0001, Ahmet Çelik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell 0001, Milos Gligoric 0001	Debugging the performance of Maven's test isolation: experience report.	ISSTA	2020	DBLP DOI BibTeX RDF
11	Yiling Lou, Ali Ghanbari 0001, Xia Li 0009, Lingming Zhang 0001, Haotian Zhang, Dan Hao 0001, Lu Zhang 0023	Can automated program repair refine fault localization? a unified debugging approach.	ISSTA	2020	DBLP DOI BibTeX RDF
11	Edward Kim 0005, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia	A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors.	CVPR	2020	DBLP BibTeX RDF
11	Martin Geier 0001, Marian Brändle, Dominik Faller, Samarjit Chakraborty	Debugging FPGA-accelerated Real-time Systems.	RTAS	2020	DBLP DOI BibTeX RDF
11	Abdulaziz Alaboudi, Thomas D. LaToza	Using Hypotheses as a Debugging Aid.	VL/HCC	2020	DBLP DOI BibTeX RDF
11	Abdulaziz Alaboudi	Helping Developers Find and Share Debugging Hypotheses.	VL/HCC	2020	DBLP DOI BibTeX RDF
11	Piyawat Lertvittayakumjorn, Lucia Specia, Francesca Toni	FIND: Human-in-the-Loop Debugging Deep Text Classifiers.	EMNLP (1)	2020	DBLP DOI BibTeX RDF
11	Julius Adebayo, Michael Muelly, Ilaria Liccardi, Been Kim	Debugging Tests for Model Explanations.	NeurIPS	2020	DBLP BibTeX RDF
11	Long Chen, Yuan Yao 0001, Feng Xu 0007, Miao Xu, Hanghang Tong	Trading Personalization for Accuracy: Data Debugging in Collaborative Filtering.	NeurIPS	2020	DBLP BibTeX RDF
11	Xuejie Sun, Jiwei Li	Simulation of Software Reliability Growth Model Based on Fault Severity and Imperfect Debugging.	SimuTools (2)	2020	DBLP DOI BibTeX RDF
11	Hong Zhu 0002, Ian Bayley, Hongbo Wang 0003	Continuous Debugging of Microservices.	ISPA/BDCloud/SocialCom/SustainCom	2020	DBLP DOI BibTeX RDF
11	Samuel Benton, Xia Li 0009, Yiling Lou, Lingming Zhang 0001	On the Effectiveness of Unified Debugging: An Extensive Study on 16 Program Repair Systems.	ASE	2020	DBLP DOI BibTeX RDF
11	Oliver Moseler, Michael Wolz, Stephan Diehl 0001	Visual Breakpoint Debugging for Sum and Product Formulae.	VISSOFT	2020	DBLP DOI BibTeX RDF
11	Robin Marx, Maxime Piraux, Peter Quax, Wim Lamotte	Debugging QUIC and HTTP/3 with qlog and qvis.	ANRW	2020	DBLP DOI BibTeX RDF
11	Mahnaz Behroozi, Shivani Shirolkar, Titus Barik, Chris Parnin	Debugging hiring: what went right and what went wrong in the technical interview process.	ICSE-SEIS	2020	DBLP DOI BibTeX RDF
11	Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra 0001	Debugging crashes using continuous contrast set mining.	ICSE (SEIP)	2020	DBLP DOI BibTeX RDF
11	Jinhan Kim, Valeriy V. Savchenko, Kihyuck Shin, Konstantin S. Sorokin, Hyunseok Jeon, Georgiy A. Pankratenko, Sergey Markov, Chul-Joo Kim	Automatic abnormal log detection by analyzing log history for providing debugging insight.	ICSE (SEIP)	2020	DBLP DOI BibTeX RDF
11	Andrew Wood, Zachary Eberhart, Collin McMillan	Dialogue Act Classification for Virtual Agents for Software Engineers during Debugging.	ICSE (Workshops)	2020	DBLP DOI BibTeX RDF
11	Guanhong Tao 0001, Shiqing Ma, Yingqi Liu, Qiuling Xu, Xiangyu Zhang 0001	TRADER: trace divergence analysis and embedding regulation for debugging recurrent neural networks.	ICSE	2020	DBLP DOI BibTeX RDF
11	Jonas De Bleser, Dario Di Nucci, Coen De Roover	A Delta-Debugging Approach to Assessing the Resilience of Actor Programs through Run-time Test Perturbations.	AST@ICSE	2020	DBLP DOI BibTeX RDF
11	Lukas Kirschner, Ezekiel O. Soremekun, Andreas Zeller	Debugging inputs.	ICSE	2020	DBLP DOI BibTeX RDF
11	Lukas Kirschner, Ezekiel O. Soremekun, Andreas Zeller	Debugging inputs.	ICSE (Companion Volume)	2020	DBLP DOI BibTeX RDF
11	Jiefan Qiu, Chenglin Li, Yuanchu Yin, Mingsheng Cao	Research on Debugging Interaction of IoT Devices Based on Visible Light Communication.	CollaborateCom (1)	2020	DBLP DOI BibTeX RDF
11	Samuel Thayer, Ganesh Gopalakrishnan, Ian Briggs, Michael Bentley, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee	ArcherGear: data race equivalencing for expeditious HPC debugging.	PPoPP	2020	DBLP DOI BibTeX RDF
11	Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen	Debugging Declarative Models in Alloy.	ICSME	2020	DBLP DOI BibTeX RDF
11	Raiya Yamamoto, Yasuhiro Noguchi, Satoru Kogure, Koichi Yamashita, Tatsuhiro Konishi, Yukihiro Itoh	Experimental Design of a Learning Support System for Algorithm Refinement in Novice Debugging.	TALE	2020	DBLP DOI BibTeX RDF
11	Dmitry Resnyansky	Augmented Reality-Supported Tangible Gamification for Debugging Learning.	TALE	2020	DBLP DOI BibTeX RDF
11	Elodie Billionniere, Farzana Rahman, Brandeis Marshall, Tami Forman	Debugging the Gender Gap: (Re-)entry Initiatives in Emerging Technologies for Women.	SIGITE	2020	DBLP DOI BibTeX RDF
11	Jong-Yih Kuo, Hui-Chi Lin, Jia-Yu Chen	The Study of Programming Debugging and Intelligent Feedback System.	ICS	2020	DBLP DOI BibTeX RDF
11	Robin Marx	Debugging Modern Web Protocols		2020	RDF
11	Muhammad Ali Gulzar	Automated Testing and Debugging for Big Data Analytics.		2020	RDF
11	Evan Strasnick	Facilitating analog circuit design and debugging with instrumented, programmable hardware.		2020	RDF
11	Baris Tekin Tezel	Yazılım etmenleri için geliştirilen alana-özgü etmen modelleme dillerinde hata ayıklama (Debugging for the domain-specific agent modeling languages of software agents)		2020	RDF
11	John G. Whitington	Debugging functional programs by interpretation.		2020	RDF
11	Ayse Kok Arslan	Research Study: Towards a Collaborative Trust-Based Debugging Model for the Telecom Industry.	Netw. Commun. Technol.	2019	DBLP DOI BibTeX RDF
11	Johannes Manner, Stefan Kolb 0001, Guido Wirtz	Troubleshooting Serverless functions: a combined monitoring and debugging approach.	SICS Softw.-Intensive Cyber Phys. Syst.	2019	DBLP DOI BibTeX RDF
11	Hui Lu 0005, Xiaohan Helu, Chengjie Jin, Yanbin Sun, Man Zhang 0004, Zhihong Tian	Salaxy: Enabling USB Debugging Mode Automatically to Control Android Devices.	IEEE Access	2019	DBLP DOI BibTeX RDF
11	Iqra Saraf, Javaid Iqbal	Generalized multi-release modelling of software reliability growth models from the perspective of two types of imperfect debugging and change point.	Qual. Reliab. Eng. Int.	2019	DBLP DOI BibTeX RDF
11	Tiantian Wang 0001, JiaHuan Xu, Xiaohong Su, ChenShi Li, Yang Chi	Automatic debugging of operator errors based on efficient mutation analysis.	Multim. Tools Appl.	2019	DBLP DOI BibTeX RDF
11	Yusuke Kimura, Amir Masoud Gharehbaghi, Masahiro Fujita	Signal Selection Methods for Debugging Gate-Level Sequential Circuits.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2019	DBLP DOI BibTeX RDF
11	Dietmar Jannach, Thomas Schmitz 0002, Birgit Hofer, Konstantin Schekotihin, Patrick W. Koch, Franz Wotawa	Fragment-based spreadsheet debugging.	Autom. Softw. Eng.	2019	DBLP DOI BibTeX RDF
11	Subhashis Chatterjee, Ankur Shukla	A unified approach of testing coverage-based software reliability growth modelling with fault detection probability, imperfect debugging, and change point.	J. Softw. Evol. Process.	2019	DBLP DOI BibTeX RDF
11	Abubakar Zakari, Sai Peck Lee	Parallel debugging: An investigative study.	J. Softw. Evol. Process.	2019	DBLP DOI BibTeX RDF
11	Yu Zhou 0008, Jun Bi, Cheng Zhang 0012, Bingyang Liu, Zhaogeng Li, Yangyang Wang 0001, Mingli Yu	P4DB: On-the-Fly Debugging for Programmable Data Planes.	IEEE/ACM Trans. Netw.	2019	DBLP DOI BibTeX RDF
11	Sudipta Das, Debasis Sengupta, Anup Dewanji	Optimum release time of a software under periodic debugging schedule.	Commun. Stat. Simul. Comput.	2019	DBLP DOI BibTeX RDF
11	Farimah Farahmandi, Prabhat Mishra 0001	Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits.	IEEE Trans. Computers	2019	DBLP DOI BibTeX RDF
11	Habib ul Hasan Khan, Ariel Podlubne, Diana Göhringer	Intrusive FPGA-in-the-loop debugging using a rule-based inference system.	Microprocess. Microsystems	2019	DBLP DOI BibTeX RDF
11	Evgeniy Shishkin	Debugging Smart Contract's Business Logic Using Symbolic Model Checking.	Program. Comput. Softw.	2019	DBLP DOI BibTeX RDF
11	Martin Hentschel 0002, Richard Bubel, Reiner Hähnle	The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more.	Int. J. Softw. Tools Technol. Transf.	2019	DBLP DOI BibTeX RDF
11	Martin Becker 0001, Ravindra Metta, R. Venkatesh 0001, Samarjit Chakraborty	Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking.	Int. J. Softw. Tools Technol. Transf.	2019	DBLP DOI BibTeX RDF
11	Hendrik Strobelt, Sebastian Gehrmann, Michael Behrisch 0001, Adam Perer, Hanspeter Pfister, Alexander M. Rush	Seq2seq-Vis: A Visual Debugging Tool for Sequence-to-Sequence Models.	IEEE Trans. Vis. Comput. Graph.	2019	DBLP DOI BibTeX RDF
11	Patrick Lambrix	Completing and Debugging Ontologies: state of the art and challenges.	CoRR	2019	DBLP BibTeX RDF
11	Bilal Soomro, Anssi Kanervisto, Trung Ngo Trong, Ville Hautamäki	Towards Debugging Deep Neural Networks by Generating Speech Utterances.	CoRR	2019	DBLP BibTeX RDF
11	Matús Sulír, Ján Juhár	Draw This Object: A Study of Debugging Representations.	CoRR	2019	DBLP BibTeX RDF
11	Yuzhe Luo, Xin Yu	An Automatic Debugging Tool of Instruction-Driven Multicore Systems with Synchronization Points.	CoRR	2019	DBLP BibTeX RDF
11	Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie 0001	Poq: Projection-based Runtime Assertions for Debugging on a Quantum Computer.	CoRR	2019	DBLP BibTeX RDF
11	Roshan Gopalakrishnan, Ashish Jith Sreejith Kumar, Yansong Chua	MaD: Mapping and debugging framework for implementing deep neural network onto a neuromorphic chip with crossbar array of synapses.	CoRR	2019	DBLP BibTeX RDF
11	Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra 0001	Debugging Crashes using Continuous Contrast Set Mining.	CoRR	2019	DBLP BibTeX RDF
11	Safeeullah Soomro, Mohammad Riyaz Belgaum, Zainab Alansari, Mahdi H. Miraz	A Framework for Debugging Java Programs in a Bytecode.	CoRR	2019	DBLP BibTeX RDF
11	Zenan Li, Xiaoxing Ma, Chang Xu 0001, Jingwei Xu 0001, Chun Cao, Jian Lü 0001	Operational Calibration: Debugging Confidence Errors for DNNs in the Field.	CoRR	2019	DBLP BibTeX RDF
11	Alexandre Kabbach	Debugging Frame Semantic Role Labeling.	CoRR	2019	DBLP BibTeX RDF
11	Mohammad Jafar Mashhadi, Taha R. Siddiqui, Hadi Hemmati, Howard W. Loewen	Interactive Semi-automated Specification Mining for Debugging: An Experience Report.	CoRR	2019	DBLP BibTeX RDF
11	Marco Manca 0001, Fabio Paternò, Carmen Santoro, Luca Corcella	Supporting end-user debugging of trigger-action rules for IoT applications.	Int. J. Hum. Comput. Stud.	2019	DBLP DOI BibTeX RDF
11	Zhenyu Ning, Fengwei Zhang	Hardware-Assisted Transparent Tracing and Debugging on ARM.	IEEE Trans. Inf. Forensics Secur.	2019	DBLP DOI BibTeX RDF
11	Krzysztof Opasiak, Wojciech Mazurczyk	(In)Secure Android Debugging: Security analysis and lessons learned.	Comput. Secur.	2019	DBLP DOI BibTeX RDF
11	Wolfgang Mayer, Bo Jiang	JSS special issue program debugging and repair.	J. Syst. Softw.	2019	DBLP DOI BibTeX RDF
11	Mohammad Jafar Mashhadi, Taha R. Siddiqui, Hadi Hemmati, Howard W. Loewen	Interactive semi-automated specification mining for debugging: An experience report.	Inf. Softw. Technol.	2019	DBLP DOI BibTeX RDF
11	Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit	A core Erlang semantics for declarative debugging.	J. Log. Algebraic Methods Program.	2019	DBLP DOI BibTeX RDF
11	Jie Yin, Gang Tan, Hao Li 0056, Xiaolong Bai, Yu-Ping Wang 0001, Shi-Min Hu 0001	Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
11	Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin	Debugging Non-ground ASP Programs: Technique and Graphical Tools.	Theory Pract. Log. Program.	2019	DBLP DOI BibTeX RDF
11	Wenhai Li, Xin Peng 0001, Dan Ding, Qilin Xiang, Xiaofeng Guo, Xiang Zhou, Wenyun Zhao	基于日志可视化分析的微服务系统调试方法 (Method of Microservice System Debugging Based on Log Visualization Analysis).	计算机科学	2019	DBLP DOI BibTeX RDF
11	Anu G. Aggarwal 0001, Neha Gandhi, Vibha Verma, Abhishek Tandon	Multi-release software reliability growth assessment: an approach incorporating fault reduction factor and imperfect debugging.	Int. J. Math. Oper. Res.	2019	DBLP DOI BibTeX RDF
11	Didier Nadeau, Naser Ezzati-Jivan, Michel R. Dagenais	Efficient large-scale heterogeneous debugging using dynamic tracing.	J. Syst. Archit.	2019	DBLP DOI BibTeX RDF
11	James Hoey, Irek Ulidowski	Reversible Imperative Parallel Programs and Debugging.	RC	2019	DBLP DOI BibTeX RDF
11	Kanae Tsushima, Olaf Chitil, Joanna Sharrad	Type debugging with counter-factual type error messages using an existing type checker.	IFL	2019	DBLP DOI BibTeX RDF
11	José Reyes, Jorge López, Natalia Kushik, Djamal Zeghlache	On the Assessment and Debugging of QoE in SDN: Work in Progress.	NCA	2019	DBLP DOI BibTeX RDF
11	Bilal Soomro, Anssi Kanervisto, Trung Ngo Trong, Ville Hautamäki	Towards Debugging Deep Neural Networks by Generating Speech Utterances.	INTERSPEECH	2019	DBLP DOI BibTeX RDF
11	Dominik Aumayr	Debugging support for multi-paradigm concurrent programs.	SPLASH (Companion Volume)	2019	DBLP DOI BibTeX RDF
11	Chris Proctor	Measuring the Computational in Computational Participation: Debugging Interactive Stories in Middle School Computer Science.	CSCL	2019	DBLP BibTeX RDF
11	Dmitry Khilko, Yury Stepchenkov, Yury Shikunov, George Orlov	Modeling and debugging tools development for recurrent architecture.	EWDTS	2019	DBLP DOI BibTeX RDF
11	Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello	My IoT Puzzle: Debugging IF-THEN Rules Through the Jigsaw Metaphor.	IS-EUD	2019	DBLP DOI BibTeX RDF
11	Jie Yang 0028, Alisa Smirnova, Dingqi Yang, Gianluca Demartini, Yuan Lu, Philippe Cudré-Mauroux	Scalpel-CD: Leveraging Crowdsourcing and Deep Probabilistic Modeling for Debugging Noisy Training Data.	WWW	2019	DBLP DOI BibTeX RDF
11	Habib ul Hasan Khan, Gökhan Akgün, Ariel Podlubne, Felix Wegener, Amir Moradi 0001, Diana Göhringer	Cycle-Accurate Debugging of Multi-clock Reconfigurable Systems.	ReConFig	2019	DBLP DOI BibTeX RDF
11	Felix Kossak, Michael Zwick	ML-PipeDebugger: A Debugging Tool for Data Processing Pipelines.	DEXA (2)	2019	DBLP DOI BibTeX RDF
11	Bernardo Cuteri, Carmine Dodaro, Francesco Ricca	Debugging of Answer Set Programs Using Paracoherent Reasoning.	CILC	2019	DBLP BibTeX RDF
11	Gabriel Negash, Chun Ming Liang, Feras Al Taha, Nadin Bou Khzam, Gunter Mussbacher	Non-Deterministic Use Case Map Traversal Algorithm for Scenario Simulation and Debugging.	RE Workshops	2019	DBLP DOI BibTeX RDF
11	Neil Veira, Zissis Poulos, Andreas G. Veneris	Suspect2vec: a suspect prediction model for directed RTL debugging.	ASP-DAC	2019	DBLP DOI BibTeX RDF
11	Haruto Tanno, Hideya Iwasaki	Suspend-Less Debugging for Interactive and/or Realtime Programs.	ICST	2019	DBLP DOI BibTeX RDF