Search results for "Debugging"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Pooja Rani 0003, G. S. Mahapatra	A Single Change Point Hazard Rate Software Reliability Model with Imperfect Debugging.	SysCon	2019	DBLP DOI BibTeX RDF
11	Mehdi Dadfarnia, Raphael Barbau	Platform-Independent Debugging of Physical Interaction and Signal Flow Models.	SysCon	2019	DBLP DOI BibTeX RDF
11	Jozsef Katona, Attila Kovari, Ilona Heldal, Carsten Helgesen, Cristina A. Costescu, Adrian Rosan, Andrea Hathazi, Serge Thill, Robert Demeter	Recording Eye-tracking Parameters during a Program Source-code Debugging Example.	CogInfoCom	2019	DBLP DOI BibTeX RDF
11	Jozsef Katona, Attila Kovari, Cristina A. Costescu, Adrian Rosan, Andrea Hathazi, Ilona Heldal, Carsten Helgesen, Serge Thill, Robert Demeter	The Examination Task of Source-code Debugging Using GP3 Eye Tracker.	CogInfoCom	2019	DBLP DOI BibTeX RDF
11	Yanjun Wen, Ji Wang	Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction.	SOFL+MSVL	2019	DBLP DOI BibTeX RDF
11	Henrique Linhares, João Felipe Pimentel, Troy C. Kohwalter, Leonardo Gresta Paulino Murta	Provenance-enhanced Algorithmic Debugging.	SBES	2019	DBLP DOI BibTeX RDF
11	Wilmer Ramirez, Elkim Roa	Post-Silicon Debugging Platform with Bus Monitoring Capability to Perform Behavioral and Performance Analyses.	LASCAS	2019	DBLP DOI BibTeX RDF
11	Mike Brachmann, Carlos Bautista, Sonia Castelo, Su Feng, Juliana Freire, Boris Glavic, Oliver Kennedy, Heiko Mueller 0001, Rémi Rampin, William Spoth, Ying Yang 0005	Data Debugging and Exploration with Vizier.	SIGMOD Conference	2019	DBLP DOI BibTeX RDF
11	Raoni Lourenço, Juliana Freire, Dennis E. Shasha	Debugging Machine Learning Pipelines.	DEEM@SIGMOD	2019	DBLP DOI BibTeX RDF
11	Bewoayia Kebianyor, Philipp Ittershagen, Kim Grüttner	Towards Stateflow Model Aware Debugging with LLDB.	RAPIDO	2019	DBLP DOI BibTeX RDF
11	Andrew Danner, Tia Newhall, Kevin C. Webb 0001	ParaVis: A Library for Visualizing and Debugging Parallel Applications.	IPDPS Workshops	2019	DBLP DOI BibTeX RDF
11	Johannes Henning, David Stangl, Fabio Niephaus, Bastian Kruck, Robert Hirschfeld	Hot Code Patching in CPython: Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code.	ICOOOLPS@ECOOP	2019	DBLP DOI BibTeX RDF
11	Ayaan M. Kazerouni, Riffat Sabbir Mansur, Stephen H. Edwards, Clifford A. Shaffer	Student Debugging Practices and Their Relationships with Project Outcomes.	SIGCSE	2019	DBLP DOI BibTeX RDF
11	Yasmin B. Kafai, David DeLiema, Deborah A. Fields, Gary Lewandowski, Colleen M. Lewis	Rethinking Debugging as Productive Failure for CS Education.	SIGCSE	2019	DBLP DOI BibTeX RDF
11	Kathryn M. Rich, Carla Strickland, T. Andrew Binkowski, Diana Franklin	A K-8 Debugging Learning Trajectory Derived from Research Literature.	SIGCSE	2019	DBLP DOI BibTeX RDF
11	Fatima Abu Deeb, Timothy J. Hickey	Teaching and Assessing Debugging, Testing, and Coding Style with Recursive Pedagogy using Spinoza.	SIGCSE	2019	DBLP DOI BibTeX RDF
11	Saikat Dutta 0001, Wenxian Zhang, Zixin Huang, Sasa Misailovic	Storm: program reduction for testing and debugging probabilistic programming systems.	ESEC/SIGSOFT FSE	2019	DBLP DOI BibTeX RDF
11	Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco M. Manquinho	Concurrency Debugging with MaxSMT.	AAAI	2019	DBLP DOI BibTeX RDF
11	Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello	Empowering End Users in Debugging Trigger-Action Rules.	CHI	2019	DBLP DOI BibTeX RDF
11	Mitchell Karchemsky, J. D. Zamfirescu-Pereira, Kuan-Ju Wu, François Guimbretière, Bjoern Hartmann	Heimdall: A Remotely Controlled Inspection Workbench For Debugging Microcontroller Projects.	CHI	2019	DBLP DOI BibTeX RDF
11	Evan Strasnick, Sean Follmer, Maneesh Agrawala	Pinpoint: A PCB Debugging Pipeline Using Interruptible Routing and Instrumentation.	CHI	2019	DBLP DOI BibTeX RDF
11	Yongle Zhang, Kirk Rodrigues, Yu Luo 0006, Michael Stumm, Ding Yuan 0004	The inflection point hypothesis: a principled debugging approach for locating the root cause of a failure.	SOSP	2019	DBLP DOI BibTeX RDF
11	Matús Sulír, Ján Juhár	Draw this object: a study of debugging representations.	Programming	2019	DBLP DOI BibTeX RDF
11	Jong-Wouk Kim, Jiwon Bang, Yang-Sae Moon, Mi-Jung Choi	Disabling Anti-Debugging Techniques for Unpacking System in User-level Debugger.	ICTC	2019	DBLP DOI BibTeX RDF
11	Sheng Chen 0008, John Peter Campora III	Blame Tracking and Type Error Debugging.	SNAPL	2019	DBLP DOI BibTeX RDF
11	Burkhard Hoppenstedt, Thomas Witte, Jona Ruof, Klaus Kammerer, Matthias Tichy, Manfred Reichert, Rüdiger Pryss	Debugging Quadrocopter Trajectories in Mixed Reality.	AVR (2)	2019	DBLP DOI BibTeX RDF
11	Pushpita Roy, Ansuman Banerjee, Bhargab B. Bhattacharya	Debugging Errors in Microfluidic Executions.	ACSS (2)	2019	DBLP DOI BibTeX RDF
11	Filip Gralinski, Anna Wróblewska, Tomasz Stanislawek, Kamil Grabowski, Tomasz Górecki	GEval: Tool for Debugging NLP Datasets and Models.	BlackboxNLP@ACL	2019	DBLP DOI BibTeX RDF
11	Tony Lowe	Debugging: The key to unlocking the mind of a novice programmer?	FIE	2019	DBLP DOI BibTeX RDF
11	Bruno Mermet, Gaële Simon	Using Proof Failures to Help Debugging MAS.	ICAART (2)	2019	DBLP DOI BibTeX RDF
11	Muhammet Oguz Ozcan, Fatih Odaci, Ismail Ari	Remote Debugging for Containerized Applications in Edge Computing Environments.	EDGE	2019	DBLP DOI BibTeX RDF
11	Nils Becker, Peter Müller 0001, Alexander J. Summers	The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations.	TACAS (1)	2019	DBLP DOI BibTeX RDF
11	Gianluca Barbon, Vincent Leroy 0001, Gwen Salaün	Debugging of Behavioural Models with CLEAR.	TACAS (1)	2019	DBLP DOI BibTeX RDF
11	Chen Li, Emily Chan, Paul Denny 0001, Andrew Luxton-Reilly, Ewan D. Tempero	Towards a Framework for Teaching Debugging.	ACE	2019	DBLP DOI BibTeX RDF
11	Kijin An, Eli Tilevich	Catch & Release: An Approach to Debugging Distributed Full-Stack JavaScript Applications.	ICWE	2019	DBLP DOI BibTeX RDF
11	Yana Malysheva, Caitlin Kelleher	Puzzle Solving as Debugging.	VL/HCC	2019	DBLP DOI BibTeX RDF
11	Gao Gao, Ashley Hale, Michelle Ichinco	Designing a Support Tool for API Debugging.	VL/HCC	2019	DBLP DOI BibTeX RDF
11	Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya	Debugging Flaky Tests on Web Applications.	WEBIST	2019	DBLP DOI BibTeX RDF
11	Florian Ege, Matthias Tichy	A Proposal of Features to Support Analysis and Debugging of Declarative Model Transformations with Graphical Syntax by Embedded Visualizations.	MoDELS (Companion)	2019	DBLP DOI BibTeX RDF
11	Parsa Pourali, Joanne M. Atlee	UCAnDoModels: A Context-Based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams.	MoDELS (Companion)	2019	DBLP DOI BibTeX RDF
11	Parsa Pourali, Joanne M. Atlee	A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models.	MoDELS	2019	DBLP DOI BibTeX RDF
11	Vladimir A. Bakhtin, Dmitry Zakharov, Aleksandr Ermichev, Viktor A. Krukov	Comparative Debugging of Parallel DVMH-programs.	SSI	2019	DBLP BibTeX RDF
11	Minseok Cho, Gyeongbok Lee, Seung-won Hwang	Explanatory and Actionable Debugging for Machine Learning: A TableQA Demonstration.	SIGIR	2019	DBLP DOI BibTeX RDF
11	Ghil-Geun Oh, Jong-Ho Eun, Shin-Young Chung, Brandon Lee	Advanded Design Verification and Debugging Techniques Based on Optical Fault Isolation Method.	ISOCC	2019	DBLP DOI BibTeX RDF
11	Dmitry Resnyansky, Mark Billinghurst, Arindam Dey 0001	An AR/TUI-supported Debugging Teaching Environment.	OZCHI	2019	DBLP DOI BibTeX RDF
11	Ivan Lanese, Adrián Palacios, Germán Vidal	Causal-Consistent Replay Debugging for Message Passing Programs.	FORTE	2019	DBLP DOI BibTeX RDF
11	Jiajun Jiang, Ran Wang, Yingfei Xiong 0001, Xiangping Chen, Lu Zhang 0023	Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study.	ASE	2019	DBLP DOI BibTeX RDF
11	Zhenyu Ning, Fengwei Zhang	Understanding the Security of ARM Debugging Features.	IEEE Symposium on Security and Privacy	2019	DBLP DOI BibTeX RDF
11	Gianluca Barbon, Vincent Leroy 0001, Gwen Salaün, Emmanuel Yah	Visual debugging of behavioural models.	ICSE (Companion Volume)	2019	DBLP DOI BibTeX RDF
11	Ben Buhse, Thomas Wei, Zhiqiang Zang, Aleksandar Milicevic, Milos Gligoric 0001	VeDebug: regression debugging tool for Java.	ICSE (Companion Volume)	2019	DBLP DOI BibTeX RDF
11	An Ran Chen	An empirical study on leveraging logs for debugging production failures.	ICSE (Companion Volume)	2019	DBLP DOI BibTeX RDF
11	Youcheng Sun, Xiaowei Huang 0001, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore	DeepConcolic: testing and debugging deep neural networks.	ICSE (Companion Volume)	2019	DBLP DOI BibTeX RDF
11	Thomas Bach, Ralf Pannemans, Johannes Häussler, Artur Andrzejak 0001	Dynamic unit test extraction via time travel debugging for test cost reduction.	ICSE (Companion Volume)	2019	DBLP DOI BibTeX RDF
11	Cheng-Hsien Shen, Aaron C.-W. Liang, Charles C.-H. Hsu, Charles H.-P. Wen	FAE: Autoencoder-Based Failure Binning of RTL Designs for Verification and Debugging.	ITC	2019	DBLP DOI BibTeX RDF
11	François Févotte, Bruno Lathuilière	Debugging and Optimization of HPC Programs with the Verrou Tool.	CORRECTNESS@SC	2019	DBLP DOI BibTeX RDF
11	Baris Tekin Tezel, Geylani Kardas	A Conceptual Generic Framework to Debugging in the Domain-Specific Modeling Languages for Multi-Agent Systems.	SLATE	2019	DBLP DOI BibTeX RDF
11	Sara Alhajaili, Arshad Jhumka	Auditability: An Approach to Ease Debugging of Reliable Distributed Systems.	PRDC	2019	DBLP DOI BibTeX RDF
11	Jason Teoh, Muhammad Ali Gulzar, Guoqing Harry Xu, Miryung Kim	PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems.	SoCC	2019	DBLP DOI BibTeX RDF
11	Pradeep Dogga, Karthik Narasimhan, Anirudh Sivaraman, Ravi Netravali	A System-Wide Debugging Assistant Powered by Natural Language Processing.	SoCC	2019	DBLP DOI BibTeX RDF
11	Bertty Contreras-Rojas, Jorge-Arnulfo Quiané-Ruiz, Zoi Kaoudi, Saravanan Thirumuruganathan	TagSniff: Simplified Big Data Debugging for Dataflow Jobs.	SoCC	2019	DBLP DOI BibTeX RDF
11	Ravi Netravali, James Mickens	Reverb: Speculative Debugging for Web Applications.	SoCC	2019	DBLP DOI BibTeX RDF
11	Mohammed Baniyounis, AlMutazbellah Mesmar	Combining Program Slicing and Algorithmic Debugging to Diagnose a PLC program.	SSD	2019	DBLP DOI BibTeX RDF
11	Binod Kumar 0001, Masahiro Fujita, Virendra Singh	A Methodology for SAT-Based Electrical Error Debugging During Post-Silicon Validation.	VLSID	2019	DBLP DOI BibTeX RDF
11	Zack Coker, David Gray Widder, Claire Le Goues, Christopher Bogart, Joshua Sunshine	A Qualitative Study on Framework Debugging.	ICSME	2019	DBLP DOI BibTeX RDF
11	Kazumasa Shimari, Takashi Ishio, Tetsuya Kanda 0001, Katsuro Inoue	Near-Omniscient Debugging for Java Using Size-Limited Execution Trace.	ICSME	2019	DBLP DOI BibTeX RDF
11	Katsuyuki Umezawa, Makoto Nakazawa, Masayuki Goto, Shigeichi Hirasawa	Development of Debugging Exercise Extraction System using Learning History.	T4E	2019	DBLP DOI BibTeX RDF
11	Chuck Easttom, Willie Sanders	On the Efficacy of Using Android Debugging Bridge for Android Device Forensics.	UEMCON	2019	DBLP DOI BibTeX RDF
11	Augustus Odena, Catherine Olsson, David G. Andersen, Ian J. Goodfellow	TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing.	ICML	2019	DBLP BibTeX RDF
11	Sheng Chen 0008, Baijun Wu	Efficient Counter-factual Type Error Debugging.	TASE	2019	DBLP DOI BibTeX RDF
11	V. S. Vineesh, Binod Kumar 0001, Jay Adhaduk	Identification of Effective Guidance Hints for Better Design Debugging by Formal Methods.	VDAT	2019	DBLP DOI BibTeX RDF
11	Saeed Taheri, Ian Briggs, Martin Burtscher, Ganesh Gopalakrishnan	DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging.	CLUSTER	2019	DBLP DOI BibTeX RDF
11	Matthew Casias, Kevin Angstadt, Tommy Tracy II, Kevin Skadron, Westley Weimer	Debugging Support for Pattern-Matching Languages and Accelerators.	ASPLOS	2019	DBLP DOI BibTeX RDF
11	Yu Gan 0002, Yanqi Zhang, Kelvin Hu, Dailun Cheng, Yuan He 0015, Meghna Pancholi, Christina Delimitrou	Seer: Leveraging Big Data to Navigate the Complexity of Performance Debugging in Cloud Microservices.	ASPLOS	2019	DBLP DOI BibTeX RDF
11	Tilman Michaeli, Ralf Romeike	Current Status and Perspectives of Debugging in the K12 Classroom: A Qualitative Study.	EDUCON	2019	DBLP DOI BibTeX RDF
11	Chun-Chia Wang, Jason C. Hung, Shih-Cheng Wang, Yueh-Min Huang	Visual Attention Analysis During Program Debugging Using Virtual Reality Eye Tracker.	ICITL	2019	DBLP DOI BibTeX RDF
11	Young-kyu Choi	Performance Debugging Frameworks for FPGA High-Level Synthesis.		2019	RDF
11	William McGrath	Facilitating the debugging and understanding of interactive electronic devices.		2019	RDF
11	Jens Meinicke	Variational debugging: understandig differences among executions.		2019	RDF
11	Habib ul Hasan Khan	Automated Debugging Methodology for FPGA-based Systems.		2019	RDF
11	Lin Li 0046	A Traced-based Automated System Diagnosis and Software Debugging Methodology for Embedded Multi-core Systems.		2019	RDF
11	Yohan Chatelain	Outils de débogage et d'optimisation des calculs flottants dans un contexte HPC. (Tools for debugging and optimizing floating-point computations in HPC).		2019	RDF
11	Fabian Gruber	Performance Debugging Toolbox for Binaries : Sensitivity Analysis and Dependence Profiling. (Débogage de performance pour code binaire : Analyse de sensitivité et profilage de dépendances).		2019	RDF
11	Mojtaba Bagherzadeh	Model-Level Debugging in the Context of the Model-Driven Development		2019	RDF
11	Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit	Declarative debugging of concurrent Erlang programs.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
11	David Insa, Josep Silva	Algorithmic debugging generalized.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
11	Marcus Botacin, Paulo Lício de Geus, André Grégio	Enhancing Branch Monitoring for Security Purposes: From Control Flow Integrity to Malware Analysis and Debugging.	ACM Trans. Priv. Secur.	2018	DBLP DOI BibTeX RDF
11	Alan G. Millard, Richard Redpath, Alistair M. Jewers, Charlotte Arndt, Russell Joyce, James A. Hilder, Liam McDaid, David M. Halliday	ARDebug: An Augmented Reality Tool for Analysing and Debugging Swarm Robotic Systems.	Frontiers Robotics AI	2018	DBLP DOI BibTeX RDF
11	Matiss Rikters, Marcis Pinnis	Debugging Translations of Transformer-based Neural Machine Translation Systems.	Balt. J. Mod. Comput.	2018	DBLP DOI BibTeX RDF
11		Facilitating debugging of web applications through recording reduction - A family of empirical studies.	Empir. Softw. Eng.	2018	DBLP DOI BibTeX RDF
11	Guozhen Zhang, Yi Liu 0013, Hailong Yang, Depei Qian	A Lightweight and Flexible Tool for Distinguishing Between Hardware Malfunctions and Program Bugs in Debugging Large-Scale Programs.	IEEE Access	2018	DBLP DOI BibTeX RDF
11	Xiaodong Zhang 0014, Zijiang Yang 0006, Qinghua Zheng, Yu Hao 0006, Pei Liu, Lechen Yu, Ting Liu 0002	Debugging Multithreaded Programs as if They Were Sequential.	IEEE Access	2018	DBLP DOI BibTeX RDF
11	Timotej Lazar, Aleksander Sadikov, Ivan Bratko	Rewrite Rules for Debugging Student Programs in Programming Tutors.	IEEE Trans. Learn. Technol.	2018	DBLP DOI BibTeX RDF
11	Shozab Khurshid, Avinash K. Shrivastava, Javaid Iqbal	Fault Prediction Modelling in Open Source Software Under Imperfect Debugging and Change-Point.	Int. J. Open Source Softw. Process.	2018	DBLP DOI BibTeX RDF
11	Jennifer L. Leopold, Nathan W. Eloe, Jeff Gould, Eric Willard	A Visual Debugging Aid based upon Discriminative Graph Mining.	J. Vis. Lang. Sentient Syst.	2018	DBLP BibTeX RDF
11	Maarten Faddegon, Olaf Chitil	Type generic observation of intermediate data structures for debugging lazy functional programs.	Comput. Lang. Syst. Struct.	2018	DBLP DOI BibTeX RDF
11	Eman El Mandouh, Amr G. Wassal	Application of Machine Learning Techniques in Post-Silicon Debugging and Bug Localization.	J. Electron. Test.	2018	DBLP DOI BibTeX RDF
11	Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos	Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems.	ACM Trans. Embed. Comput. Syst.	2018	DBLP DOI BibTeX RDF
11	Katerina Mangaroska, Kshitij Sharma, Michail N. Giannakos, Hallvard Trætteberg, Pierre Dillenbourg	Gaze-Driven Design Insights to Amplify Debugging Skills: A Learner-Centered Analysis Approach.	J. Learn. Anal.	2018	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.	CoRR	2018	DBLP BibTeX RDF
11	Evgeniy Shishkin	Debugging Smart Contract's Business Logic Using Symbolic Model-Checking.	CoRR	2018	DBLP BibTeX RDF