Search results for "Debugging"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Jane Hoffswell, Arvind Satyanarayan, Jeffrey Heer	Visual Debugging Techniques for Reactive Data Visualization.	Comput. Graph. Forum	2016	DBLP DOI BibTeX RDF
11	Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen 0024, John Regehr	Cause reduction: delta debugging, even without bugs.	Softw. Test. Verification Reliab.	2016	DBLP DOI BibTeX RDF
11	Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann	Simulink fault localization: an iterative statistical debugging approach.	Softw. Test. Verification Reliab.	2016	DBLP DOI BibTeX RDF
11	Martin Hentschel 0002, Reiner Hähnle, Richard Bubel	Debugging and Visualization.	Deductive Software Verification	2016	DBLP DOI BibTeX RDF
11	Dirk Beyer 0001, Matthias Dangl	Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses.	CAV (2)	2016	DBLP DOI BibTeX RDF
11	Chieh-Jan Mike Liang, Lei Bu, Zhao Li, Junbei Zhang, Shi Han, Börje F. Karlsson, Dongmei Zhang 0001, Feng Zhao 0001	Systematically Debugging IoT Control System Correctness for Building Automation.	BuildSys@SenSys	2016	DBLP DOI BibTeX RDF
11	Vibarajan Viswanathan, Juliet Runhaar, Doug Reed, Jun Zhao	Tough Bugs vs. Smart Tools - L2/L3 Cache Verification Using System Verilog, UVM and Verdi Transaction Debugging.	MTV	2016	DBLP DOI BibTeX RDF
11	Ping Chen, Christophe Huygens, Lieven Desmet, Wouter Joosen	Advanced or Not? A Comparative Study of the Use of Anti-debugging and Anti-VM Techniques in Generic and Targeted Malware.	SEC	2016	DBLP DOI BibTeX RDF
11	Zied Marrakchi, Eman El Mandouh	Tutorial 2: "Challenges of FPGA-based prototyping & debugging".	IDT	2016	DBLP DOI BibTeX RDF
11	Eman El Mandouh, Amr G. Wassal	Accelerating the debugging of FV traces using K-means clustering techniques.	IDT	2016	DBLP DOI BibTeX RDF
11	Muhammad Moazam Azeem, Roselyne Chotin-Avot, Umer Farooq 0001, Maminionja Ravoson, Habib Mehrez	Multiple FPGAs based prototyping and debugging with complete design flow.	IDT	2016	DBLP DOI BibTeX RDF
11	Jun Chen, Yueguo Chen, Xiaoyong Du 0001, Xiangling Zhang, Xuan Zhou 0001	SEED: A system for entity exploration and debugging in large-scale knowledge graphs.	ICDE	2016	DBLP DOI BibTeX RDF
11	Elena Vasilyeva, Thomas Heinze 0001, Maik Thiele, Wolfgang Lehner	DebEAQ - debugging empty-answer queries on large data graphs.	ICDE	2016	DBLP DOI BibTeX RDF
11	Takuya Adachi, Naoki Fukuta	Toward better debugging support on extended SPARQL queries with on-the-fly ontology mapping generation.	OM@ISWC	2016	DBLP BibTeX RDF
11	Rohan Bavishi, Awanish Pandey, Subhajit Roy 0001	Regression aware debugging for mobile applications.	Mobile!@SPLASH	2016	DBLP DOI BibTeX RDF
11	Rohan Bavishi, Awanish Pandey, Subhajit Roy 0001	To be precise: regression aware debugging.	OOPSLA	2016	DBLP DOI BibTeX RDF
11	Max Leske	Improving live debugging of concurrent threads.	SPLASH (Companion Volume)	2016	DBLP DOI BibTeX RDF
11	Zhiqiang Zuo 0002, Lu Fang 0003, Siau-Cheng Khoo, Guoqing Xu 0001, Shan Lu 0001	Low-overhead and fully automated statistical debugging with abstraction refinement.	OOPSLA	2016	DBLP DOI BibTeX RDF
11	Verislav Djukic, Aleksandar Popovic, Zhenli Lu	Run-time code generators for model-level debugging in domain-specific modeling.	DSM@SPLASH	2016	DBLP DOI BibTeX RDF
11	Pankaj Shanker	Spatial Debug & Debug Without Re-programming in FPGAs: On-Chip debugging in FPGAs.	FPGA	2016	DBLP DOI BibTeX RDF
11	Alexander Ivannikov, Vladimir P. Kulagin, Aleksandr Romanov 0001, Boris Pozdneev	Algebraic models of digital system design debugging decomposition.	EWDTS	2016	DBLP DOI BibTeX RDF
11	Joachim Protze, Dong H. Ahn, Ignacio Laguna, Martin Schulz 0001, Matthias S. Müller	Testing Infrastructure for OpenMP Debugging Interface Implementations.	IWOMP	2016	DBLP DOI BibTeX RDF
11	Yong Xiang, Hu Li, Sen Wang, Charley Peter Chen, Wei Xu	Debugging OpenStack Problems Using a State Graph Approach.	APSys	2016	DBLP DOI BibTeX RDF
11	Farimah Farahmandi, Prabhat Mishra 0001	Automated test generation for Debugging arithmetic circuits.	DATE	2016	DBLP BibTeX RDF
11	Izuru Kume, Masahide Nakamura, Yasuyuki Tanaka, Etsuya Shibayama	Evaluation of diagnosis support methods in program debugging by trace analysis: An exploratory study.	ICIS	2016	DBLP DOI BibTeX RDF
11	Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno	Debugging while interpreting fuzzy XPath queries.	FUZZ-IEEE	2016	DBLP DOI BibTeX RDF
11	Muhammad Ali Gulzar, Xueyuan Han, Matteo Interlandi, Shaghayegh Mardani, Sai Deep Tetali, Todd D. Millstein, Miryung Kim	Interactive Debugging for Big Data Analytics.	HotCloud	2016	DBLP BibTeX RDF
11	Habib ul Hasan Khan, Diana Göhringer	FPGA debugging by a device start and stop approach.	ReConFig	2016	DBLP DOI BibTeX RDF
11	Fábio Petrillo, Zéphyrin Soh, Foutse Khomh, Marcelo Pimenta, Carla M. D. S. Freitas, Yann-Gaël Guéhéneuc	Towards Understanding Interactive Debugging.	QRS	2016	DBLP DOI BibTeX RDF
11	Bo Jiang 0001, W. K. Chan 0001	Testing and Debugging in Continuous Integration with Budget Quotas on Test Executions.	QRS	2016	DBLP DOI BibTeX RDF
11	Yong Wang 0008, Zhiqiu Huang	Weighted Control Flow Subgraph to Support Debugging Activities.	QRS Companion	2016	DBLP DOI BibTeX RDF
11	Fábio Petrillo, Zéphyrin Soh, Foutse Khomh, Marcelo Soares Pimenta, Carla Maria Dal Sasso Freitas, Yann-Gaël Guéhéneuc	Understanding interactive debugging with Swarm Debug Infrastructure.	ICPC	2016	DBLP DOI BibTeX RDF
11	Jinru Hua, Sarfraz Khurshid	A Sketching-Based Approach for Debugging Using Test Cases.	ATVA	2016	DBLP DOI BibTeX RDF
11	Sonal Mahajan, Bailan Li, Pooyan Behnamghader, William G. J. Halfond	Using Visual Symptoms for Debugging Presentation Failures in Web Applications.	ICST	2016	DBLP DOI BibTeX RDF
11	Wided Ghardallou, Nafi Diallo, Ali Mili 0001, Marcelo F. Frias	Debugging without Testing.	ICST	2016	DBLP DOI BibTeX RDF
11	Roger Kowalewski, Karl Fürlinger	Nasty-MPI: Debugging Synchronization Errors in MPI-3 One-Sided Applications.	Euro-Par	2016	DBLP DOI BibTeX RDF
11	Olaf Krzikalla, Ralph Müller-Pfefferkorn, Wolfgang E. Nagel	Synchronization Debugging of Hybrid Parallel Programs.	Euro-Par	2016	DBLP DOI BibTeX RDF
11	Gerald Schoiber, Rene Mayrhofer, Michael Hölzl	DAMN: A Debugging and Manipulation Tool for Android Applications.	MoMM	2016	DBLP BibTeX RDF
11	Antonio Rios-Navarro, Juan Pedro Dominguez-Morales, Ricardo Tapiador-Morales, Daniel Gutierrez-Galan, Angel Jiménez-Fernandez, Alejandro Linares-Barranco	A 20Mevps/32Mev event-based USB framework for neuromorphic systems debugging.	EBCCSP	2016	DBLP DOI BibTeX RDF
11	Xiaodong Zhang 0014, Zijiang Yang 0006, Qinghua Zheng, Yu Hao 0006, Pei Liu, Lechen Yu, Ming Fan 0002, Ting Liu 0002	Debugging Multithreaded Programs as if They Were Sequential.	SATE	2016	DBLP DOI BibTeX RDF
11	Marcelo Ruaro, Henrique Chamorra, Felipe Rubin, Alexandre M. Amory, Fernando Gehm Moraes	A data extraction and debugging framework for large-scale MPSoCs.	ICECS	2016	DBLP DOI BibTeX RDF
11	Heiko Paulheim, Jens Lehmann 0001, Vojtech Svátek, Craig A. Knoblock, Matthew Horridge, Patrick Lambrix, Bijan Parsia (eds.)	Joint Proceedings of the 5th Workshop on Data Mining and Knowledge Discovery meets Linked Open Data and the 1st International Workshop on Completing and Debugging the Semantic Web (Know@LOD-2016, CoDeS-2016) co-located with 13th ESWC 2016, Heraklion, Greece, May 30th, 2016.	(KNOW@LOD/CoDeS)@ESWC	2016	DBLP BibTeX RDF
11	Fei Peng, Chunyu Li, Xiaohan Song, Wei Hu, Guihuan Feng	An Eye Tracking Research on Debugging Strategies towards Different Types of Bugs.	COMPSAC Workshops	2016	DBLP DOI BibTeX RDF
11	Armando Miraglia, Dirk Vogt, Herbert Bos, Andy Tanenbaum, Cristiano Giuffrida	Peeking into the Past: Efficient Checkpoint-Assisted Time-Traveling Debugging.	ISSRE	2016	DBLP DOI BibTeX RDF
11	Qiuying Li, Chengyong Mao	Considering Testing-Coverage and Fault Removal Efficiency Subject to the Random Field Environments with Imperfect Debugging in Software Reliability Assessment.	ISSRE Workshops	2016	DBLP DOI BibTeX RDF
11	Supat Rattanasuksun, Tingting Yu, Witawas Srisa-an, Gregg Rothermel	RRF: A Race Reproduction Framework for Use in Debugging Process-Level Races.	ISSRE	2016	DBLP DOI BibTeX RDF
11	João Durães, Henrique Madeira, João Castelhano, Catarina Duarte, Miguel Castelo Branco	WAP: Understanding the Brain at Software Debugging.	ISSRE	2016	DBLP DOI BibTeX RDF
11	Arian Treffer, Matthias Uflacker	The Slice Navigator: Focused Debugging with Interactive Dynamic Slicing.	ISSRE Workshops	2016	DBLP DOI BibTeX RDF
11	Max Grossman, Vivek Sarkar	Efficient Checkpointing of Multi-threaded Applications as a Tool for Debugging, Performance Tuning, and Resiliency.	IPDPS	2016	DBLP DOI BibTeX RDF
11	Alexandra Kourfali, Dirk Stroobandt	Efficient Hardware Debugging Using Parameterized FPGA Reconfiguration.	IPDPS Workshops	2016	DBLP DOI BibTeX RDF
11	Rohan Garg 0001, Jiajun Cao, Kapil Arya, Gene Cooperman, Jérôme Vienne	Extended Batch Sessions and Three-Phase Debugging: Using DMTCP to Enhance the Batch Environment.	XSEDE	2016	DBLP DOI BibTeX RDF
11	Pavel Dovgalyuk, Denis Dmitriev, Vladimir Makarov	Platform-independent reverse debugging of the virtual machines.	FRUCT	2016	DBLP DOI BibTeX RDF
11	Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov	NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications.	SIGSOFT FSE	2016	DBLP DOI BibTeX RDF
11	Earl T. Barr, Mark Marron, Ed Maurer, Dan Moseley, Gaurav Seth	Time-travel debugging for JavaScript/Node.js.	SIGSOFT FSE	2016	DBLP DOI BibTeX RDF
11	Renáta Hodován, Ákos Kiss 0001	Modernizing hierarchical delta debugging.	A-TEST@SIGSOFT FSE	2016	DBLP BibTeX RDF
11	Liwei Yang, Swathi T. Gurumani, Deming Chen, Kyle Rupnow	AutoSLIDE: Automatic Source-Level Instrumentation and Debugging for HLS.	FCCM	2016	DBLP DOI BibTeX RDF
11	Nuno Cardoso, Rui Abreu 0001, Alexander Feldman, Johan de Kleer	A Framework for Automatic Debugging of Functional and Degradation Failures.	ECAI	2016	DBLP DOI BibTeX RDF
11	Andreas Nolle, Christian Meilicke, Melisachew Wudage Chekol, German Nemirovski, Heiner Stuckenschmidt	Schema-Based Debugging of Federated Data Sources.	ECAI	2016	DBLP DOI BibTeX RDF
11	Sania Zara, Muhammad Umar Hameed, Adnan Iqbal, Noman Javed, Muhammad Saqib Ilyas	Performance Debugging in SDN Controllers - A Case Study (Short Paper).	CloudNet	2016	DBLP DOI BibTeX RDF
11	Maria Husmann, Nina Heyder, Moira C. Norrie	Is a framework enough?: cross-device testing and debugging.	EICS	2016	DBLP DOI BibTeX RDF
11	Deborah A. Fields, Kristin A. Searle, Yasmin B. Kafai	Deconstruction Kits for Learning: Students' Collaborative Debugging of Electronic Textile Designs.	FabLearn	2016	DBLP DOI BibTeX RDF
11	M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, João Marques-Silva 0001	BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies.	SAT	2016	DBLP DOI BibTeX RDF
11	David Sidler, Ken Eguro	Debugging framework for FPGA-based soft processors.	FPT	2016	DBLP DOI BibTeX RDF
11	Claudio Corrodi	Towards Efficient Object-Centric Debugging with Declarative Breakpoints.	SATToSE	2016	DBLP BibTeX RDF
11	Salvador Tamarit, Adrián Riesco 0001, Enrique Martin-Martin, Rafael Caballero 0001	Debugging Meets Testing in Erlang.	TAP@STAF	2016	DBLP DOI BibTeX RDF
11	Ulyana Tikhonova, Maarten Manders, Rimco Boudewijns	Visualization of Formal Specifications for Understanding and Debugging an Industrial DSL.	STAF Workshops	2016	DBLP DOI BibTeX RDF
11	Michael Raskin, Nikita Mamardashvili	Accessing Local Variables During Debugging.	ELS	2016	DBLP DOI BibTeX RDF
11	Michal Owsiak, Marcin Plóciennik, Bartek Palak, Tomasz Zok, Olivier Hoenen	Best Practices in Debugging Kepler Workflows.	ICCS	2016	DBLP DOI BibTeX RDF
11	Yuhui Lin, Pierre Le Bras, Gudmund Grov	Developing and Debugging Proof Strategies by Tinkering.	TACAS	2016	DBLP DOI BibTeX RDF
11	Wei Jin 0001, Alessandro Orso	Improving Efficiency and Accuracy of Formula-Based Debugging.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
11	Praveen Tammana, Rachit Agarwal 0001, Myungjin Lee	Simplifying Datacenter Network Debugging with PathDump.	OSDI	2016	DBLP BibTeX RDF
11	Changgong Li, Alexander Schwarz, Christian Hochberger	A readback based general debugging framework for soft-core processors.	ICCD	2016	DBLP DOI BibTeX RDF
11	Renáta Hodován, Ákos Kiss 0001	Practical Improvements to the Minimizing Delta Debugging Algorithm.	ICSOFT-EA	2016	DBLP DOI BibTeX RDF
11	Florian Schimanke, Leonard Hill, Robert Mertens 0002, Oliver Mertens	Simulating Context in Mobile Learning Games for Testing and Debugging.	ISM	2016	DBLP DOI BibTeX RDF
11	Domenik Pavletic, Kim Haßlbauer	Interactive Debugging for Extensible Languages in Multi-Stage Transformation Environments.	EXE@MoDELS	2016	DBLP BibTeX RDF
11	Bastian Kruck, Stefan Lehmann, Christoph Keßler, Jakob Reschke, Tim Felgentreff, Jens Lincke, Robert Hirschfeld	Multi-level debugging for interpreter developers.	MODULARITY (Companion)	2016	DBLP DOI BibTeX RDF
11	Jose Isaza-Gonzalez, Alejandro Serrano-Cases, Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Antonio Martínez-Álvarez	Dependability evaluation of COTS microprocessors via on-chip debugging facilities.	LATS	2016	DBLP DOI BibTeX RDF
11	Olga Dolinina	Method of the Debugging of the Knowledge Bases of Intellectual Decision Making Systems.	CSOC (3)	2016	DBLP DOI BibTeX RDF
11	Rohit Abhishek, Shuai Zhao 0002, Sejun Song, Baek-Young Choi, Henry Zhu, Deep Medhi	BuDDI: Bug detection, debugging, and isolation middlebox for software-defined network controllers.	CNSM	2016	DBLP DOI BibTeX RDF
11	Zijiang Yang 0006, Ting Liu 0002, Daniel Xiapu Luo (eds.)	Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore, Singapore, September 3, 2016	SCTDCP@ASE	2016	DBLP DOI BibTeX RDF
11	Sahithi Podila, Ying Zhu 0001	A Visualization Tool for 3D Graphics Program Comprehension and Debugging.	VISSOFT	2016	DBLP DOI BibTeX RDF
11	Muhammad Ali Gulzar, Matteo Interlandi, Seunghyun Yoo, Sai Deep Tetali, Tyson Condie, Todd D. Millstein, Miryung Kim	BigDebug: debugging primitives for interactive big data processing in spark.	ICSE	2016	DBLP DOI BibTeX RDF
11	Guido Salvaneschi, Mira Mezini	Debugging reactive programming with reactive inspector.	ICSE (Companion Volume)	2016	DBLP DOI BibTeX RDF
11	Abhijeet Banerjee, Hai-Feng Guo, Abhik Roychoudhury	Debugging energy-efficiency related field failures in mobile apps.	MOBILESoft	2016	DBLP DOI BibTeX RDF
11	Guido Salvaneschi, Mira Mezini	Debugging for reactive programming.	ICSE	2016	DBLP DOI BibTeX RDF
11	Sean Deitz, Ugo A. Buy	From video games to debugging code.	GAS@ICSE	2016	DBLP DOI BibTeX RDF
11	Xiaoyuan Xie, Zicong Liu, Shuo Song, Zhenyu Chen 0001, Jifeng Xuan, Baowen Xu	Revisit of automatic debugging via human focus-tracking analysis.	ICSE	2016	DBLP DOI BibTeX RDF
11	Yung-Pin Cheng, Chiu-Yu Ku, Wei-Chen Pan, Chuan Yang, Ting-Shu Lin	Toward arbitrary mapping for debugging visualizations.	ICSE (Companion Volume)	2016	DBLP DOI BibTeX RDF
11	Barry John Muldrey, Sabyasachi Deyati, Abhijit Chatterjee	DE-LOC: Design validation and debugging under limited observation and control, pre- and post-silicon for mixed-signal systems.	ITC	2016	DBLP DOI BibTeX RDF
11	Naoki Yamada, Naoki Fukuta	Toward Performance-Oriented Ontology Debugging Support Using Heuristic Approaches and DL Reasoning.	WI Workshops	2016	DBLP DOI BibTeX RDF
11	Srishti Saini, Neetu Sardana, Sangeeta Lal	Logger4u: Predicting debugging statements in the source code.	IC3	2016	DBLP DOI BibTeX RDF
11	Nuno Machado, Brandon Lucia, Luís E. T. Rodrigues	Production-guided concurrency debugging.	PPoPP	2016	DBLP DOI BibTeX RDF
11	Max Leske, Andrei Chis, Oscar Nierstrasz	A promising approach for debugging remote promises.	IWST	2016	DBLP BibTeX RDF
11	Xin Xia 0001, Lingfeng Bao, David Lo 0001, Shanping Li	"Automated Debugging Considered Harmful" Considered Harmful: A User Study Revisiting the Usefulness of Spectra-Based Fault Localization Techniques with Professionals Using Real Bugs from Large Systems.	ICSME	2016	DBLP DOI BibTeX RDF
11	Jean M. Griffin	Learning by Taking Apart: Deconstructing Code by Reading, Tracing, and Debugging.	SIGITE	2016	DBLP DOI BibTeX RDF
11	Bert Abrath, Bart Coppens 0001, Stijn Volckaert, Joris Wijnant, Bjorn De Sutter	Tightly-coupled self-debugging software protection.	SSPREW@ACSAC	2016	DBLP DOI BibTeX RDF
11	Tsun-Hsin Chang, Shao-Chieh Hou, Ing-Jer Huang	A unified GDB-based source-transaction level SW/HW co-debugging.	APCCAS	2016	DBLP DOI BibTeX RDF
11	Keith A. Campbell, Leon He, Liwei Yang, Swathi T. Gurumani, Kyle Rupnow, Deming Chen	Debugging and verifying SoC designs through effective cross-layer hardware-software co-simulation.	DAC	2016	DBLP DOI BibTeX RDF
11	Nobuo Funabiki, Takato Mohri, Shingo Yamaguchi	Toward personalized learning in JPLAS: Generating and scoring functions for debugging questions.	GCCE	2016	DBLP DOI BibTeX RDF
11	Andreas Theodorou	ABOD3: A Graphical Visualization and Real-Time Debugging Tool for BOD Agents.	EUCognition	2016	DBLP BibTeX RDF