Search results for "Debugging"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Augustus Odena, Ian J. Goodfellow	TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing.	CoRR	2018	DBLP BibTeX RDF
11	Safeeullah Soomro, Mohammad Riyaz Belgaum, Zainab Alansari, Mahdi H. Miraz	Fault Localization Models in Debugging.	CoRR	2018	DBLP BibTeX RDF
11	Yu Gan 0002, Meghna Pancholi, Dailun Cheng, Siyuan Hu, Yuan He 0015, Christina Delimitrou	Seer: Leveraging Big Data to Navigate the Increasing Complexity of Cloud Debugging.	CoRR	2018	DBLP BibTeX RDF
11	Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi 0001	Data-Driven Debugging for Functional Side Channels.	CoRR	2018	DBLP BibTeX RDF
11	Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin	Debugging Non-Ground ASP Programs: Technique and Graphical Tools.	CoRR	2018	DBLP BibTeX RDF
11	Bernhard Beckert, Sarah Grebing, Alexander Weigl	Debugging Program Verification Proof Scripts (Tool Paper).	CoRR	2018	DBLP BibTeX RDF
11	John Vilk, Emery D. Berger, James Mickens, Mark Marron	McFly: Time-Travel Debugging for the Web.	CoRR	2018	DBLP BibTeX RDF
11	Matiss Rikters	Debugging Neural Machine Translations.	CoRR	2018	DBLP 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.	CoRR	2018	DBLP BibTeX RDF
11	Md. Mofijul Islam, Amar Debnath, Tahsin Al Sayeed, Jyotirmay Nag Setu, Md Mahmudur Rahman 0002, Md Sadman Sakib, Md. Abdur Razzaque, Md. Mosaddek Khan, Swakkhar Shatabda	A Gray Box Interpretable Visual Debugging Approach for Deep Sequence Learning Model.	CoRR	2018	DBLP BibTeX RDF
11	Jacob Kreindl, Manuel Rigger, Hanspeter Mössenböck	Debugging Native Extensions of Dynamic Languages.	CoRR	2018	DBLP BibTeX RDF
11	Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali 0001, Eric Bodden	Debugging Static Analysis.	CoRR	2018	DBLP BibTeX RDF
11	Zack Coker, David Gray Widder, Claire Le Goues, Christopher Bogart, Joshua Sunshine	Debugging Framework Applications: Benefits and Challenges.	CoRR	2018	DBLP BibTeX RDF
11	Xuezhou Zhang, Xiaojin Zhu 0001, Stephen J. Wright 0001	Training Set Debugging Using Trusted Items.	CoRR	2018	DBLP BibTeX RDF
11	Victor C. S. Lee, Yuen-Tak Yu, Chung Man Tang, Tak-Lam Wong, Chung Keung Poon	ViDA: A virtual debugging advisor for supporting learning in computer programming courses.	J. Comput. Assist. Learn.	2018	DBLP DOI BibTeX RDF
11	Diomidis Spinellis	Modern debugging: the art of finding a needle in a haystack.	Commun. ACM	2018	DBLP DOI BibTeX RDF
11	Shakaiba Majeed, Minsoo Ryu	Debugging Nondeterministic Failures in Linux Programs through Replay Analysis.	Sci. Program.	2018	DBLP DOI BibTeX RDF
11	Erwan Bousse, Dorian Leroy, Benoît Combemale, Manuel Wimmer, Benoit Baudry	Omniscient debugging for executable DSLs.	J. Syst. Softw.	2018	DBLP DOI BibTeX RDF
11	Ingo Pill, Franz Wotawa	Automated generation of (F)LTL oracles for testing and debugging.	J. Syst. Softw.	2018	DBLP DOI BibTeX RDF
11	Xiaoyuan Xie, Markus Stumptner, T. H. Tse	Introduction to the special issue on program debugging.	J. Syst. Softw.	2018	DBLP DOI BibTeX RDF
11	Iván García-Magariño, Raquel Lacuesta, Jaime Lloret 0001	ABS-SmartComAgri: An Agent-Based Simulator of Smart Communication Protocols in Wireless Sensor Networks for Debugging in Precision Agriculture.	Sensors	2018	DBLP DOI BibTeX RDF
11	Brian L. Stuart	Debugging the ENIAC [Scanning Our Past].	Proc. IEEE	2018	DBLP DOI BibTeX RDF
11	Soha Makady, Robert J. Walker	Debugging and maintaining pragmatically reused test suites.	Inf. Softw. Technol.	2018	DBLP DOI BibTeX RDF
11	Max Leske, Andrei Chis, Oscar Nierstrasz	Improving live debugging of concurrent threads through thread histories.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
11	Johannes Oetsch, Jörg Pührer, Hans Tompits	Stepwise debugging of answer-set programs.	Theory Pract. Log. Program.	2018	DBLP DOI BibTeX RDF
11	Gireesh Kumar, Manju Kaushik, Rajesh Purohit	Reliability analysis of software with three types of errors and imperfect debugging using Markov model.	Int. J. Comput. Appl. Technol.	2018	DBLP DOI BibTeX RDF
11	Fengwei Zhang, Kevin Leach, Angelos Stavrou, Haining Wang	Towards Transparent Debugging.	IEEE Trans. Dependable Secur. Comput.	2018	DBLP DOI BibTeX RDF
11	Pooja Rani 0003, G. S. Mahapatra	Neural network for software reliability analysis of dynamically weighted NHPP growth models with imperfect debugging.	Softw. Test. Verification Reliab.	2018	DBLP DOI BibTeX RDF
11	Mia Heikkilä, Linda Mannila	Debugging in Programming as a Multimodal Practice in Early Childhood Education Settings.	Multimodal Technol. Interact.	2018	DBLP DOI BibTeX RDF
11	Fred Harris 0001, Chris Dick	Teaching Programming and Debugging Techniques for Multirate Signal Processing.	DSP	2018	DBLP DOI BibTeX RDF
11	Ivan Lanese	From Reversible Semantics to Reversible Debugging.	RC	2018	DBLP DOI BibTeX RDF
11	Jacob Kreindl, Manuel Rigger, Hanspeter Mössenböck	Debugging native extensions of dynamic languages.	ManLang	2018	DBLP DOI BibTeX RDF
11	Stefan Schulz 0006, Christoph Bockisch	A blast from the past: online time-travel debugging with BITE.	ManLang	2018	DBLP DOI BibTeX RDF
11	Joanna Sharrad, Olaf Chitil, Meng Wang 0002	Delta Debugging Type Errors with a Blackbox Compiler.	IFL	2018	DBLP DOI BibTeX RDF
11	Anzhela Yu. Matrosova, Sergey Ostanin	Trojan circuits masking and debugging of combinational circuits with LUT insertion.	AQTR	2018	DBLP DOI BibTeX RDF
11	Hamraz Javaheri, Olaf Pfeiffer, Paul Lukowicz	HolOsci: Hololens Augmented Reality Oscilloscope Based Support for Debugging Electronics Circuits.	UbiComp/ISWC Adjunct	2018	DBLP DOI BibTeX RDF
11	Mohamad-Jaafar Nehme, Abbass Zein-Eddine	TOBTD: Throughput debugging in total-order broadcast systems.	MENACOMM	2018	DBLP DOI BibTeX RDF
11	Long Zheng 0003, Xiaofei Liao, Hai Jin 0001, Bingsheng He, Jingling Xue, Haikun Liu	Towards concurrency race debugging: an integrated approach for constraint solving and dynamic slicing.	PACT	2018	DBLP DOI BibTeX RDF
11	Iyad Zayour, Constandinos X. Mavromoustakis, Bilal El-Hajj-Diab, Ahmad Rahil	Towards an Understanding of the Causes of Difficulties in Debugging.	ICCA	2018	DBLP DOI BibTeX RDF
11	Marcos Paulo Mendes, Marcelo Ferreira Moreno	DoHyPE: Presentation engine architecture for hypermedia debugging.	WebMedia	2018	DBLP DOI BibTeX RDF
11	Dongrui Zeng, Gang Tan	From Debugging-Information Based Binary-Level Type Inference to CFG Generation.	CODASPY	2018	DBLP DOI BibTeX RDF
11	Alireza Mahzoon, Daniel Große, Rolf Drechsler	Combining Symbolic Computer Algebra and Boolean Satisfiability for Automatic Debugging and Fixing of Complex Multipliers.	ISVLSI	2018	DBLP DOI BibTeX RDF
11	Francesco Gringoli, Nahla M. Ali, Fabrizio Guerrini, Paul Patras	A Flexible Framework for Debugging IoT Wireless Applications.	MetroInd4.0&IoT	2018	DBLP DOI BibTeX RDF
11	Long Zheng 0003, Xiaofei Liao, Hai Jin 0001, Jieshan Zhao, Qinggang Wang	Scalable concurrency debugging with distributed graph processing.	CGO	2018	DBLP DOI BibTeX RDF
11	Yu Gan 0002, Meghna Pancholi, Siyuan Hu, Dailun Cheng, Yuan He 0015, Christina Delimitrou	Seer: Leveraging Big Data to Navigate the Increasing Complexity of Cloud Debugging.	HotCloud	2018	DBLP BibTeX RDF
11	Tiago Machado, Daniel Gopstein, Andy Nealen, Oded Nov, Julian Togelius	AI-Assisted Game Debugging with Cicero.	CEC	2018	DBLP DOI BibTeX RDF
11	Songpu Huang, Jingfei Jiang, Yong Dou, Liang Bai, Hao Wang, Buyue Qin	Design and Implementation of Convolutional Neural Network Accelerator with Variable Layer-by-layer Debugging.	ICDLT	2018	DBLP DOI BibTeX RDF
11	Joshua D. Scarsbrook, Ryan K. L. Ko, Bill Rogers 0001, David Bainbridge 0001	MetropolJS: visualizing and debugging large-scale javascript program structure with treemaps.	ICPC	2018	DBLP DOI BibTeX RDF
11	Wachara Fungwacharakorn, Ken Satoh	Legal Debugging in Propositional Legal Representation.	JSAI-isAI Workshops	2018	DBLP DOI BibTeX RDF
11	M. Subhi Sheikh Quroush, Tolga Ovatman	Debugging Remote Services Developed on the Cloud.	CLOSER	2018	DBLP DOI BibTeX RDF
11	Andrew T. Schneider, John Male, Saroja Bhogadhi, Eduard Constantin Dragut	DebugSL: An Interactive Tool for Debugging Sentiment Lexicons.	NAACL-HLT (Demonstrations)	2018	DBLP DOI BibTeX RDF
11	Simon D. Hammond, Christian R. Trott, Daniel Ibanez, Daniel Sunderland	Profiling and Debugging Support for the Kokkos Programming Model.	ISC Workshops	2018	DBLP DOI BibTeX RDF
11	Shaopeng Xu, Chenyu Zhou, Zhiwei Gu, Guoquan Wu, Wei Chen 0018, Jun Wei 0001	X-Diag: Automated Debugging Cross-Browser Issues in Web Applications.	ICWS	2018	DBLP DOI BibTeX RDF
11	Donggyu Kim, Christopher Celio, Sagar Karandikar, David Biancolin, Jonathan Bachrach, Krste Asanovic	DESSERT: Debugging RTL Effectively with State Snapshotting for Error Replays across Trillions of Cycles.	FPL	2018	DBLP DOI BibTeX RDF
11	Habib ul Hasan Khan, Diana Göhringer	Cycle-Accurate and Cycle-Reproducible Debugging of Embedded Designs Using Artificial Intelligence.	FPL	2018	DBLP DOI BibTeX RDF
11	Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu	Debugging P4 programs with vera.	SIGCOMM	2018	DBLP DOI BibTeX RDF
11	Andrew Luxton-Reilly, Emma McMillan, Elizabeth Stevenson, Ewan D. Tempero, Paul Denny 0001	Ladebug: an online tool to help novice programmers improve their debugging skills.	ITiCSE	2018	DBLP DOI BibTeX RDF
11	Ahtsham Manzoor, Murayyiam Parvez, Suleman Shahid, Asim Karim	Assistive Debugging to Support Accessible Latex Based Document Authoring.	ASSETS	2018	DBLP DOI BibTeX RDF
11	Artur Andrzejak 0001, Matthias Iacsa	ConfGuru - A System for Fully Automated Debugging of Configuration Errors.	ISSRE Workshops	2018	DBLP DOI BibTeX RDF
11	Arpit Christi, Matthew Lyle Olson, Mohammad Amin Alipour, Alex Groce	Reduce Before You Localize: Delta-Debugging and Spectrum-Based Fault Localization.	ISSRE Workshops	2018	DBLP DOI BibTeX RDF
11	Josie Holmes, Alex Groce	Causal Distance-Metric-Based Assistance for Debugging after Compiler Fuzzing.	ISSRE	2018	DBLP DOI BibTeX RDF
11	Binod Kumar 0001, Kanad Basu, Virendra Singh	A Technique for Electrical Error Localization with Learning Methods During Post-silicon Debugging.	IGSC	2018	DBLP DOI BibTeX RDF
11	Ben Ashbaugh	Debugging and Analyzing Programs Using the Intercept Layer for OpenCL Applications.	IWOCL	2018	DBLP DOI BibTeX RDF
11	Mami Hayashida, P. Sergio Rivera, James Griffioen, Zongming Fei, Yongwook Song	Debugging SDN in HPC Environments.	PEARC	2018	DBLP DOI BibTeX RDF
11	Roman Lysecky, Frank Vahid	Teaching Students a Systematic Approach to Debugging: (Abstract Only).	SIGCSE	2018	DBLP DOI BibTeX RDF
11	Paulina Haduong, Karen Brennan	Getting Unstuck: New Resources for Teaching Debugging Strategies in Scratch (Abstract Only).	SIGCSE	2018	DBLP DOI BibTeX RDF
11	Brett A. Becker, Kyle Goslin, Graham Glanville	The Effects of Enhanced Compiler Error Messages on a Syntax Error Debugging Test.	SIGCSE	2018	DBLP DOI BibTeX RDF
11	Shiqing Ma, Yingqi Liu, Wen-Chuan Lee, Xiangyu Zhang 0001, Ananth Grama	MODE: automated neural network model debugging via state differential analysis and input selection.	ESEC/SIGSOFT FSE	2018	DBLP DOI BibTeX RDF
11	Muhammad Ali Gulzar, Siman Wang, Miryung Kim	BigSift: automated debugging of big data analytics in data-intensive scalable computing.	ESEC/SIGSOFT FSE	2018	DBLP DOI BibTeX RDF
11	Ákos Kiss 0001, Renáta Hodován, Tibor Gyimóthy	HDDr: a recursive variant of the hierarchical Delta debugging algorithm.	A-TEST@ESEC/SIGSOFT FSE	2018	DBLP DOI BibTeX RDF
11	Masatomo Hashimoto, Akira Mori, Tomonori Izumida	Automated patch extraction via syntax- and semantics-aware Delta debugging on source code changes.	ESEC/SIGSOFT FSE	2018	DBLP DOI BibTeX RDF
11	Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi 0001	Differential Performance Debugging With Discriminant Regression Trees.	AAAI	2018	DBLP DOI BibTeX RDF
11	Xuezhou Zhang, Xiaojin Zhu 0001, Stephen J. Wright 0001	Training Set Debugging Using Trusted Items.	AAAI	2018	DBLP DOI BibTeX RDF
11	Luigi De Russis, Alberto Monge Roffarello	A Debugging Approach for Trigger-Action Programming.	CHI Extended Abstracts	2018	DBLP DOI BibTeX RDF
11	Patrick Reipschläger, Burcu Kulahcioglu Ozkan, Aman Shankar Mathur, Stefan Gumhold, Rupak Majumdar, Raimund Dachselt	DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems.	CHI Extended Abstracts	2018	DBLP DOI BibTeX RDF
11	Praveen Tammana, Rachit Agarwal 0001, Myungjin Lee	Distributed Network Monitoring and Debugging with SwitchPointer.	NSDI	2018	DBLP BibTeX RDF
11	Habib ul Hasan Khan, Ahmed Kamal, Diana Goehringer	An Intrusive Dynamic Reconfigurable Cycle-Accurate Debugging System for Embedded Processors.	ARC	2018	DBLP DOI BibTeX RDF
11	John Vilk, Emery D. Berger	BLeak: automatically debugging memory leaks in web applications.	PLDI	2018	DBLP DOI BibTeX RDF
11	Bozhen Liu, Jeff Huang 0001	D4: fast concurrency debugging with parallel differential analysis.	PLDI	2018	DBLP DOI BibTeX RDF
11	Matteo Marra	Debugging support for big data processing applications.	Programming	2018	DBLP DOI BibTeX RDF
11	Matiss Rikters	Debugging Neural Machine Translations.	Doctoral Consortium/Forum@DB&IS	2018	DBLP BibTeX RDF
11	Islam Ahmed, Ahmed Kamaleldin, Hassan Mostafa, Ahmed Nader Mohieldin	Utilizing Dynamic Partial Reconfiguration to Reduce the Cost of FPGA Debugging.	NEWCAS	2018	DBLP DOI BibTeX RDF
11	Kanae Tsushima, Olaf Chitil	A Common Framework Using Expected Types for Several Type Debugging Approaches.	FLOPS	2018	DBLP DOI BibTeX RDF
11	Kshitij Sharma, Katerina Mangaroska, Michail N. Giannakos, Pierre Dillenbourg	Interlacing Gaze and Actions to Explain the Debugging Process.	ICLS	2018	DBLP BibTeX RDF
11	Huadong Feng, Jaganmohan Chandrasekaran, Yu Lei 0001, Raghu Kacker, D. Richard Kuhn	A Method-Level Test Generation Framework for Debugging Big Data Applications.	IEEE BigData	2018	DBLP DOI BibTeX RDF
11	Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu 0007, Upamanyu Sharma, Ruoyu Wang 0001, Insu Yun	REPT: Reverse Debugging of Failures in Deployed Software.	OSDI	2018	DBLP BibTeX RDF
11	Andrew Quinn 0001, Jason Flinn, Michael J. Cafarella	Sledgehammer: Cluster-Fueled Debugging.	OSDI	2018	DBLP BibTeX RDF
11	Tiankai Su, Atif Yasin, Cunxi Yu, Maciej J. Ciesielski	Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers.	ISCAS	2018	DBLP DOI BibTeX RDF
11	Shinji Inoue, Shigeru Yamada	Debugging Process Oriented Software Reliability Models and Their Goodness-of-Fit.	IEEM	2018	DBLP DOI BibTeX RDF
11	Simon Van Mierlo, Yentl Van Tendeloo, Hans Vangheluwe	A Generalized Stepping Semantics for Model Debugging.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
11	Baris Tekin Tezel, Geylani Kardas	Towards Providing Debugging in the Domain-Specific Modeling Languages for Software Agents.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
11	Bentley James Oakes, Levi Lucio, Clark Verbrugge, Hans Vangheluwe	Debugging of Model Transformations and Contracts in SyVOLT.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
11	William McGrath, Jeremy Warner, Mitchell Karchemsky, Andrew Head, Daniel Drew, Bjoern Hartmann	WiFröst: Bridging the Information Gap for Debugging of Networked Embedded Systems.	UIST	2018	DBLP DOI BibTeX RDF
11	Erez Freiberger	Monitoring/debugging AWS Lambda applications.	ESSCA@UCC	2018	DBLP BibTeX RDF
11	Alexandra Kourfali, Dirk Stroobandt	Superimposed in-circuit debugging for self-healing FPGA overlays.	LATS	2018	DBLP DOI BibTeX RDF
11	Hendrik Strobelt, Sebastian Gehrmann, Michael Behrisch 0001, Adam Perer, Hanspeter Pfister, Alexander M. Rush	Debugging Sequence-to-Sequence Models with Seq2Seq-Vis.	BlackboxNLP@EMNLP	2018	DBLP DOI BibTeX RDF
11	Jannik Geyer, Johannes Nguyen, Thomas Farrenkopf, Michael Guckert	Single Rule Evaluation (SRE): Computational Algorithmic Debugging for Complex SWRL Rules.	KEOD	2018	DBLP DOI BibTeX RDF
11	Sang Un Park, Tae Pyeong Kim, Mee Zee Lee, Yong Beom Cho	Method of RTL Debugging When Using HLS for HW Design : Different Simulation Result of Verilog & VHDL.	ISOCC	2018	DBLP DOI BibTeX RDF
11	Xiang Zhou, Xin Peng 0001, Tao Xie 0001, Jun Sun 0001, Wenhai Li, Chao Ji, Dan Ding	Delta debugging microservice systems.	ASE	2018	DBLP DOI BibTeX RDF
11	Patrick Rodler, Wolfgang Schmid	On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging.	RuleML+RR	2018	DBLP DOI BibTeX RDF