Search results for "Debugging"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Vikas Rao, Utkarsh Gupta, Irina Ilioaea, Arpitha Srinath, Priyank Kalla, Florian Enescu	Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques.	FMCAD	2018	DBLP DOI BibTeX RDF
11	Xiangyu Li 0001, Shaowei Zhu 0001, Marcelo d'Amorim, Alessandro Orso	Enlightened debugging.	ICSE	2018	DBLP DOI BibTeX RDF
11	Muhammad Ali Gulzar	Interactive and automated debugging for big data analytics.	ICSE (Companion Volume)	2018	DBLP DOI BibTeX RDF
11	Zhaogui Xu, Shiqing Ma, Xiangyu Zhang 0001, Shuofei Zhu, Baowen Xu	Debugging with intelligence via probabilistic inference.	ICSE	2018	DBLP DOI BibTeX RDF
11	Herman Banken, Erik Meijer 0003, Georgios Gousios	Debugging data flows in reactive programs.	ICSE	2018	DBLP DOI BibTeX RDF
11	Moritz Beller, Niels Spruit, Diomidis Spinellis, Andy Zaidman	On the dichotomy of debugging behavior among programmers.	ICSE	2018	DBLP DOI BibTeX RDF
11	Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali 0001, Eric Bodden	VISUFLOW: a debugging environment for static analyses.	ICSE (Companion Volume)	2018	DBLP DOI BibTeX RDF
11	Michael J. Whittaker, Cristina Teodoropol, Peter Alvaro, Joseph M. Hellerstein	Debugging Distributed Systems with Why-Across-Time Provenance.	SoCC	2018	DBLP DOI BibTeX RDF
11	Fabio Pereira da Silva, Higor Amario de Souza, Marcos Lordello Chaim	Usability evaluation of software debugging tools.	SBSI	2018	DBLP DOI BibTeX RDF
11	Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid	OntoDebug: Interactive Ontology Debugging Plug-in for Protégé.	FoIKS	2018	DBLP DOI BibTeX RDF
11	Jia Wan, Mohammad Zulkernine, Clifford Liem	A Dynamic App Anti-Debugging Approach on Android ART Runtime.	DASC/PiCom/DataCom/CyberSciTech	2018	DBLP DOI BibTeX RDF
11	Youngho Choi, Dong-Hyun Kang, Jaeook Kwon, Young Ik Eom	Optimizing memory swapping scheme on the memory debugging platform of CE devices.	ICCE	2018	DBLP DOI BibTeX RDF
11	César Soto-Valero, Johann Bourcier, Benoit Baudry	Detection and analysis of behavioral T-patterns in debugging activities.	MSR	2018	DBLP DOI BibTeX RDF
11	Afsoon Afzal, Claire Le Goues	A study on the use of IDE features for debugging.	MSR	2018	DBLP DOI BibTeX RDF
11	Carlene Lebeuf, Elena Voyloshnikova, Kim Herzig, Margaret-Anne D. Storey	Understanding, Debugging, and Optimizing Distributed Software Builds: A Design Study.	ICSME	2018	DBLP DOI BibTeX RDF
11	Katerina Mangaroska, Kshitij Sharma, Michail N. Giannakos, Hallvard Trætteberg, Pierre Dillenbourg	Gaze insights into debugging behavior using learner-centred analysis.	LAK	2018	DBLP DOI BibTeX RDF
11	Gary K. W. Wong, Shan Jiang	Computational Thinking Education for Children: Algorithmic Thinking and Debugging.	TALE	2018	DBLP DOI BibTeX RDF
11	Yuxiao Zhang, Jiang Li 0008, Di Wu 0001, Yunfei Du	Improving Student Skills on Parallel Programming via Code Evaluation and Feedback Debugging.	TALE	2018	DBLP DOI BibTeX RDF
11	Fabio Pereira da Silva, Higor Amario de Souza, Marcos Lordello Chaim	An empirical assessment of visual debugging tools effectiveness and efficiency.	SCCC	2018	DBLP DOI BibTeX RDF
11	Jehandad Khan, Peter Athanas	Query language for large-scale P4 network debugging.	ANCS	2018	DBLP DOI BibTeX RDF
11	Marco Túlio Ribeiro, Sameer Singh 0001, Carlos Guestrin	Semantically Equivalent Adversarial Rules for Debugging NLP models.	ACL (1)	2018	DBLP BibTeX RDF
11	Simon Van Mierlo	A multi-paradigm modelling approach for engineering model debugging environments		2018	RDF
11	Nipun Arora	Sandboxed, Online Debugging of Production Bugs for SOA Systems.		2018	DOI RDF
11	Praveen Tammana	Software-defined datacenter network debugging		2018	RDF
11	Steven Costiou	Adaptation non-anticipée de comportement: application au déverminage de programmes en cours d'exécution. (Unanticipated behavior adaptation: application to the debugging of running programs).		2018	RDF
11	Gianluca Barbon	Debugging of Behavioural Models using Counterexample Analysis. (Débogage de modèles comportementaux par analyse de contre-exemple).		2018	RDF
11	Sara Abbaspour Asadollah	Concurrency Bugs: Characterization, Debugging and Runtime Verification.		2018	RDF
11	Chien-An Lai	MilliScope: a fine-grained monitoring framework for performance debugging of N-tier web services.		2018	RDF
11	Simon Van Mierlo, Yentl Van Tendeloo, Hans Vangheluwe	Debugging Parallel DEVS.	Simul.	2017	DBLP DOI BibTeX RDF
11	Ross J. Gore, Christopher J. Lynch, Hamdi Kavak	Applying statistical debugging for enhanced trace validation of agent-based models.	Simul.	2017	DBLP DOI BibTeX RDF
11	Ivan Perez 0001, Henrik Nilsson	Testing and debugging functional reactive programming.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
11	Subhashis Chatterjee, Ankur Shukla	An Ideal Software Release Policy for an Improved Software Reliability Growth Model Incorporating Imperfect Debugging with Fault Removal Efficiency and Change Point.	Asia Pac. J. Oper. Res.	2017	DBLP DOI BibTeX RDF
11	Ahmed Y. Khedr, Hazem M. Bahig	Debugging Tool to Learn Algorithms: A Case Study Minimal Spanning Tree.	Int. J. Emerg. Technol. Learn.	2017	DBLP DOI BibTeX RDF
11	Wijnand Suijlen	Mock BSPlib for Testing and Debugging Bulk Synchronous Parallel Software.	Parallel Process. Lett.	2017	DBLP DOI BibTeX RDF
11	Siyuan Jiang, Collin McMillan, Raúl A. Santelices	Do Programmers do Change Impact Analysis in Debugging?	Empir. Softw. Eng.	2017	DBLP DOI BibTeX RDF
11	Yu Zhang 0016, Dantong Ouyang, Yuxin Ye	Glass-Box Debugging Algorithm Based on Unsatisfiable Dependent Paths.	IEEE Access	2017	DBLP DOI BibTeX RDF
11	Yu Zhang 0016, Dantong Ouyang, Yuxin Ye	An Optimization Strategy for Debugging Incoherent Terminologies in Dynamic Environments.	IEEE Access	2017	DBLP DOI BibTeX RDF
11	Fatemeh Refan, Bijan Alizadeh, Zainalabedin Navabi	Bridging Presilicon and Postsilicon Debugging by Instruction-Based Trace Signal Selection in Modern Processors.	IEEE Trans. Very Large Scale Integr. Syst.	2017	DBLP DOI BibTeX RDF
11	Peter Ohmann, Ben Liblit	Lightweight control-flow instrumentation and postmortem analysis in support of debugging.	Autom. Softw. Eng.	2017	DBLP DOI BibTeX RDF
11	Fan-Hsun Tseng, Kai-Di Chang, Shang-Chuan Liao, Han-Chieh Chao, Victor C. M. Leung	sPing: a user-centred debugging mechanism for software defined networks.	IET Networks	2017	DBLP DOI BibTeX RDF
11	Jeffrey Goeders, Steven J. E. Wilton	Signal-Tracing Techniques for In-System FPGA Debugging of High-Level Synthesis Circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2017	DBLP DOI BibTeX RDF
11	M. A. Klimushenkova, P. M. Dovgalyuk	Improving the performance of reverse debugging.	Program. Comput. Softw.	2017	DBLP DOI BibTeX RDF
11	Pietro Fezzardi, Marco Lattuada 0001, Fabrizio Ferrandi	Using Efficient Path Profiling to Optimize Memory Consumption of On-Chip Debugging for High-Level Synthesis.	ACM Trans. Embed. Comput. Syst.	2017	DBLP DOI BibTeX RDF
11	Feng Li, Zhiyuan Li 0001, Wei Huo, Xiaobing Feng 0002	Locating Software Faults Based on Minimum Debugging Frontier Set.	IEEE Trans. Software Eng.	2017	DBLP DOI BibTeX RDF
11	Florian Schimanke, Robert Mertens 0002, Leonard Hill, Oliver Vornberger	Simulating Context in Mobile Learning Games for Testing and Debugging.	Int. J. Semantic Comput.	2017	DBLP DOI BibTeX RDF
11	Fulong Chen 0002, Yunxiang Sun	FPGA-based elastic in-circuit debugging for complex digital logic design.	Int. J. Auton. Adapt. Commun. Syst.	2017	DBLP DOI BibTeX RDF
11	Jerry Backer, David Hély, Ramesh Karri	Secure and Flexible Trace-Based Debugging of Systems-on-Chip.	ACM Trans. Design Autom. Electr. Syst.	2017	DBLP DOI BibTeX RDF
11	Xing Niu 0002, Bahareh Sadat Arab, Seokki Lee, Su Feng, Xun Zou, Dieter Gawlick, Vasudha Krishnaswamy, Zhen Hua Liu, Boris Glavic	Debugging Transactions and Tracking their Provenance with Reenactment.	CoRR	2017	DBLP BibTeX RDF
11	Johannes Oetsch, Jörg Pührer, Hans Tompits	Stepwise Debugging of Answer-Set Programs.	CoRR	2017	DBLP BibTeX RDF
11	Stefan Marr, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez Boix, Hanspeter Mössenböck	A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools.	CoRR	2017	DBLP BibTeX RDF
11	Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi 0001	Differential Performance Debugging with Discriminant Regression Trees.	CoRR	2017	DBLP BibTeX RDF
11	John G. Whitington, Tom Ridge	Direct Interpretation of Functional Programs for Debugging.	ML/OCaml	2017	DBLP DOI BibTeX RDF
11	Ryo Suzuki 0001, Gustavo Soares, Andrew Head, Elena L. Glassman, Ruan Reis, Melina Mongiovi, Loris D'Antoni, Bjoern Hartmann	TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences.	CoRR	2017	DBLP BibTeX RDF
11	Arian Treffer, Michael Perscheid, Matthias Uflacker	Bringing Back-in-Time Debugging Down to the Database.	CoRR	2017	DBLP BibTeX RDF
11	Pansy Arafa, Daniel Solomon, Samaneh Navabpour, Sebastian Fischmeister	Debugging Behaviour of Embedded-Software Developers: An Exploratory Study.	CoRR	2017	DBLP BibTeX RDF
11	Rafael Caballero 0001, Adrián Riesco 0001, Josep Silva	A Survey of Algorithmic Debugging.	ACM Comput. Surv.	2017	DBLP DOI BibTeX RDF
11	David Insa, Josep Silva	Optimization Techniques for Algorithmic Debugging.	Bull. EATCS	2017	DBLP BibTeX RDF
11	Xing Niu 0002, Bahareh Sadat Arab, Seokki Lee, Su Feng, Xun Zou, Dieter Gawlick, Vasudha Krishnaswamy, Zhen Hua Liu, Boris Glavic	Debugging Transactions and Tracking their Provenance with Reenactment. (PDF / PS)	Proc. VLDB Endow.	2017	DBLP DOI BibTeX RDF
11	Peter Bailis, Peter Alvaro, Sumit Gulwani	Research for practice: tracing and debugging distributed systems; programming by examples.	Commun. ACM	2017	DBLP DOI BibTeX RDF
11	Devon H. O'Dell	The debugging mind-set.	Commun. ACM	2017	DBLP DOI BibTeX RDF
11	Jonathan Corley, Brian P. Eddy, Eugene Syriani, Jeff Gray 0001	Efficient and scalable omniscient debugging for model transformations.	Softw. Qual. J.	2017	DBLP DOI BibTeX RDF
11	Michael Perscheid, Benjamin Siegmund, Marcel Taeumel, Robert Hirschfeld	Studying the advancement in debugging practice of professional software developers.	Softw. Qual. J.	2017	DBLP DOI BibTeX RDF
11	Sudipto Ghosh, J. Jenny Li	Special issue on program debugging.	Softw. Qual. J.	2017	DBLP DOI BibTeX RDF
11	Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Wasif Afzal	10 Years of research on debugging concurrent and multicore software: a systematic mapping study.	Softw. Qual. J.	2017	DBLP DOI BibTeX RDF
11	Shin Hong, Taehoon Kwak, Byeongcheol Lee, Yiru Jeon, Bongseok Ko, Yunho Kim, Moonzoo Kim	MUSEUM: Debugging real-world multilingual programs using mutation analysis.	Inf. Softw. Technol.	2017	DBLP DOI BibTeX RDF
11	Tim Felgentreff, Michael Perscheid, Robert Hirschfeld	Implementing record and refinement for debugging timing-dependent communication.	Sci. Comput. Program.	2017	DBLP DOI BibTeX RDF
11	Tudor Jebelean, Wei Li 0022, Dongming Wang 0001	Special Issue on Program Verification, Automated Debugging and Symbolic Computation.	J. Symb. Comput.	2017	DBLP DOI BibTeX RDF
11	Mingzhong Li, Zhaozheng Yin	Debugging Object Tracking by a Recommender System with Correction Propagation.	IEEE Trans. Big Data	2017	DBLP DOI BibTeX RDF
11	Peter Alvaro, Sumit Gulwani, Peter Bailis	Research for Practice: Tracing and Debugging Distributed Systems; Programming by Examples.	ACM Queue	2017	DBLP DOI BibTeX RDF
11	Devon H. O'Dell	The Debugging Mindset.	ACM Queue	2017	DBLP DOI BibTeX RDF
11	Zhongxiu Liu, Rui Zhi, Andrew Hicks, Tiffany Barnes	Understanding problem solving behavior of 6-8 graders in a debugging game.	Comput. Sci. Educ.	2017	DBLP DOI BibTeX RDF
11	Marcello Cinque, Domenico Cotroneo, Antonio Pecchia, Roberto Pietrantuono, Stefano Russo 0001	Debugging-workflow-aware software reliability growth analysis.	Softw. Test. Verification Reliab.	2017	DBLP DOI BibTeX RDF
11	Eduard Bergen, Stefan Edlich	Post-Debugging in Large Scale Big Data Analytic Systems.	BTW (Workshops)	2017	DBLP BibTeX RDF
11	Timotej Lazar, Martin Mozina, Ivan Bratko	Automatic Extraction of AST Patterns for Debugging Student Programs.	AIED	2017	DBLP DOI BibTeX RDF
11	Maureen Villamor, Yancy Vance M. Paredes, Japheth Duane Samaco, Joanna Feliz Cortez, Joshua Martinez, Ma. Mercedes T. Rodrigo	Assessing the Collaboration Quality in the Pair Program Tracing and Debugging Eye-Tracking Experiment.	AIED	2017	DBLP DOI BibTeX RDF
11	Kevin Leo, Guido Tack	Debugging Unsatisfiable Constraint Models.	CPAIOR	2017	DBLP DOI BibTeX RDF
11	Patrick Rodler, Konstantin Schekotihin	Reducing Model-Based Diagnosis to Knowledge Base Debugging.	DX	2017	DBLP DOI BibTeX RDF
11	Faiez Zalila, Eric Jenn, Marc Pantel	Model Execution and Debugging - A Process to Leverage Existing Tools.	MODELSWARD	2017	DBLP DOI BibTeX RDF
11	Pedro Holanda, Mark Raasveldt, Martin L. Kersten	Don't Keep My UDFs Hostage - Exporting UDFs For Debugging Purposes.	SBBD (Short Papers)	2017	DBLP BibTeX RDF
11	Habib ul Hasan Khan, Jens Rettkowski, Mohamed Eldafrawy, Diana Göhringer	An event-based Network-on-Chip debugging system for FPGA-based MPSoCs.	SAMOS	2017	DBLP DOI BibTeX RDF
11	Albert Pötsch, Florian Haslhofer, Andreas Springer	Advanced remote debugging of LoRa-enabled IoT sensor nodes.	IOT	2017	DBLP DOI BibTeX RDF
11	Dongjing Miao, Zhipeng Cai 0001	Parameterized Complexity of Resilience Decision for Database Debugging.	ICFEM	2017	DBLP DOI BibTeX RDF
11	Maureen Villamor, Ma. Mercedes T. Rodrigo	Characterizing Collaboration in the Pair Program Tracing and Debugging Eye-Tracking Experiment: A Preliminary Analysis.	EDM	2017	DBLP BibTeX RDF
11	Xiangqi Li, Matthew Flatt	Debugging with domain-specific events via macros.	SLE	2017	DBLP DOI BibTeX RDF
11	Christos Kotselidis, Andy Nisbet, Foivos S. Zakkak, Nikos Foutris	Cross-ISA debugging in meta-circular VMs.	VMIL@SPLASH	2017	DBLP DOI BibTeX RDF
11	Carmen Torres Lopez	Advanced debugging techniques to identify concurrency bugs in actor-based programs.	SPLASH (Companion Volume)	2017	DBLP DOI BibTeX RDF
11	Bastian Kruck, Tobias Pape, Tim Felgentreff, Robert Hirschfeld	Crossing abstraction barriers when debugging in dynamic languages.	SAC	2017	DBLP DOI BibTeX RDF
11	Stefan Marr, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez Boix, Hanspeter Mössenböck	A concurrency-agnostic protocol for multi-paradigm concurrent debugging tools.	DLS	2017	DBLP DOI BibTeX RDF
11	Christopher Blochwitz, Raphael Klink, Jan Moritz Joseph, Thilo Pionteck	Continuous live-tracing as debugging approach on FPGAs.	ReConFig	2017	DBLP DOI BibTeX RDF
11	Stefan Reinhardt, Markus Huber 0002, Otilia Dumitrescu, Michael Krone, Bernhard Eberhardt, Daniel Weiskopf	Visual Debugging of SPH Simulations.	IV	2017	DBLP DOI BibTeX RDF
11	Elisabeth Getzner, Birgit Hofer, Franz Wotawa	Improving Spectrum-Based Fault Localization for Spreadsheet Debugging.	QRS	2017	DBLP DOI BibTeX RDF
11	Carmen Torres Lopez, Elisa Gonzalez Boix, Christophe Scholliers, Stefan Marr, Hanspeter Mössenböck	A principled approach towards debugging communicating event-loops.	AGERE!@SPLASH	2017	DBLP DOI BibTeX RDF
11	Michael A. Miljanovic, Jeremy S. Bradbury	RoboBUG: A Serious Game for Learning Debugging Techniques.	ICER	2017	DBLP DOI BibTeX RDF
11	Arian Treffer, Michael Perscheid, Matthias Uflacker	Bringing back-in-time debugging down to the database.	SANER	2017	DBLP DOI BibTeX RDF
11	Kentaro Iwata, Amir Masoud Gharehbaghi, Mehdi Baradaran Tahoori, Masahiro Fujita	Post Silicon Debugging of Electrical Bugs Using Trace Buffers.	ATS	2017	DBLP DOI BibTeX RDF
11	Yu-Lin Jeng, Qing Tan, Yu Shu, Sheng-Bo Huang	A Real-Time Assessment of Programming Through Debugging Log Analytic.	SETE@ICWL	2017	DBLP DOI BibTeX RDF
11	Jing Xu, Yu Lei 0001, Richard H. Carver	Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures.	ICST	2017	DBLP DOI BibTeX RDF
11	Xiaodong Zhang 0023	Debugging Multithreaded Programs Using Symbolic Analysis.	ICST	2017	DBLP DOI BibTeX RDF
11	Yangqi Li, Haiyan Sun, Haiyan Yang	Improved NHPP Software Reliability Growth Model Considering Imperfect Debugging.	ICMSS	2017	DBLP DOI BibTeX RDF
11	Nicolas Slack, Kate Howland	H.I.D.E.: A Virtual Reality Debugging Environment.	PPIG	2017	DBLP BibTeX RDF