Search results for "Debugging"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Sean McGregor, Hailey Buckingham, Thomas G. Dietterich, Rachel Houtman, Claire A. Montgomery, Ronald A. Metoyer	Facilitating testing and debugging of Markov Decision Processes with interactive visualization.	VL/HCC	2015	DBLP DOI BibTeX RDF
11	Juha-Pekka Tolvanen, Verislav Djukic, Aleksandar Popovic	Metamodeling for Medical Devices: Code Generation, Model-debugging and Run-time Synchronization.	EUSPN/ICTH	2015	DBLP DOI BibTeX RDF
11	Vajih Montaghami, Derek Rayside	Pattern-based debugging of declarative models.	MoDELS	2015	DBLP DOI BibTeX RDF
11	Lars Stockmann	Debugging Models in the Context of Automotive Software Development.	MoDELS (Doctoral Symposium)	2015	DBLP BibTeX RDF
11	Simon Van Mierlo	Explicitly Modelling Model Debugging Environments.	SRC@MoDELS	2015	DBLP BibTeX RDF
11	Patrick Rodler	Interaktives Debugging von Wissensbasen.	Ausgezeichnete Informatikdissertationen	2015	DBLP BibTeX RDF
11	Anh-Tu Do-Mai, Thanh-Dang Diep, Nam Thoai	Message Leak Detection in Debugging Large-Scale Parallel Applications.	ACOMP	2015	DBLP DOI BibTeX RDF
11	Zissis Poulos, Andreas G. Veneris	Exemplar-based failure triage for regression design debugging.	LATS	2015	DBLP DOI BibTeX RDF
11	Fábio Petrillo, Guilherme Lacerda, Marcelo Soares Pimenta, Carla Maria Dal Sasso Freitas	Visualizing interactive and shared debugging sessions.	VISSOFT	2015	DBLP DOI BibTeX RDF
11	Fatemeh Refan, Bijan Alizadeh, Zainalabedin Navabi	Signature oriented model pruning to facilitate multi-threaded processors debugging.	VTS	2015	DBLP DOI BibTeX RDF
11	Chao-Wen Tzeng, Yin-Yen Chen, Jih-Nung Lee, Shu-Yi Kao	Case study of process and design performance debugging with Digital Speed Sensor.	VLSI-DAT	2015	DBLP DOI BibTeX RDF
11	Fengwei Zhang, Kevin Leach, Angelos Stavrou, Haining Wang, Kun Sun 0001	Using Hardware Features for Increased Debugging Transparency.	IEEE Symposium on Security and Privacy	2015	DBLP DOI BibTeX RDF
11	Dietmar Jannach, Thomas Schmitz 0002	Using Calculation Fragments for Spreadsheet Testing and Debugging.	SEMS@ICSE	2015	DBLP BibTeX RDF
11	Andreas Bihlmaier, Heinz Wörn	CVVisual: Interactive visual debugging of computer vision programs.	ETFA	2015	DBLP DOI BibTeX RDF
11	Ganesh Gopalakrishnan, Geof Sawaya	Achieving Formal Parallel Program Debugging by Incentivizing CS/HPC Collaborative Tool Development.	SCREAM@HPDC	2015	DBLP DOI BibTeX RDF
11	Luiz De Rose, Andrew Gontarek, Aaron Vose, Robert Moench, David Abramson 0001, Minh Ngoc Dinh, Chao Jin	Relative debugging for a highly parallel hybrid computer system.	SC	2015	DBLP DOI BibTeX RDF
11	Thomas L. Clune, Hal Finkel, Michael Rilee	Testing and debugging exascale applications by mocking MPI.	SE-HPCCSE@SC	2015	DBLP DOI BibTeX RDF
11	Gwen Salaün, Lina Ye	Debugging Process Algebra Specifications.	VMCAI	2015	DBLP DOI BibTeX RDF
11	Debjyoti Bhattacharjee, Ansuman Banerjee, Anupam Chattopadhyay	EvoDeb: Debugging Evolving Hardware Designs.	VLSID	2015	DBLP DOI BibTeX RDF
11	Javier Alcázar Zapién	Debugging parallel programs using fork handlers.	PMAM@PPoPP	2015	DBLP DOI BibTeX RDF
11	Rosario Molina, Alexandre Bergel	Toward a Platform for Visual Debugging.	IWST	2015	DBLP DOI BibTeX RDF
11	Poonam Panwar, Ravneet Kaur	Effect of Imperfect Debugging on Prediction of Remaining Faults in Software.	SocProS (1)	2015	DBLP DOI BibTeX RDF
11	David Piorkowski, Scott D. Fleming, Christopher Scaffidi, Margaret M. Burnett, Irwin Kwan, Austin Z. Henley, Jamie Macbeth, Charles Hill 0001, Amber Horvath	To fix or to learn? How production bias affects developers' information foraging during debugging.	ICSME	2015	DBLP DOI BibTeX RDF
11	David Insa, Josep Silva	A Generalized Model for Algorithmic Debugging.	LOPSTR	2015	DBLP DOI BibTeX RDF
11	Julien Corman, Nathalie Aussenac-Gilles, Laure Vieu	Prioritized Base Debugging in Description Logics.	JOWO@IJCAI	2015	DBLP BibTeX RDF
11	Yuxin Ye, Dantong Ouyang, Jing Su	Entailment-based Axiom Pinpointing in Debugging Incoherent Terminologies.	IWOST-1	2015	DBLP BibTeX RDF
11	Michael F. Ringenburg, Adrian Sampson, Isaac Ackerman, Luis Ceze, Dan Grossman	Monitoring and Debugging the Quality of Results in Approximate Programs.	ASPLOS	2015	DBLP DOI BibTeX RDF
11	Shingo Yamaguchi, Takato Mohri, Nobuo Funabiki	A function for generating debugging questions in a Java programming learning assistant system.	GCCE	2015	DBLP DOI BibTeX RDF
11	Akanksha Baid, Wentao Wu 0001, Chong Sun, AnHai Doan, Jeffrey F. Naughton	On Debugging Non-Answers in Keyword Search Systems.	EDBT	2015	DBLP DOI BibTeX RDF
11	Gary Liu, Joran Siu, Michael Dawson 0001, Ivy Ho, Yunliang Yan	Introduction to debugging and monitoring Node.js.	CASCON	2015	DBLP BibTeX RDF
11	Andrew T. Schneider, Eduard C. Dragut	Towards Debugging Sentiment Lexicons.	ACL (1)	2015	DBLP DOI BibTeX RDF
11	Aikaterini Tzompanaki	Réponses manquantes : Débogage et Réparation de requêtes. (Query Debugging and Fixing to Recover Missing Query Results).		2015	RDF
11	Ethar Elsaka	Automated Software Debugging Using Hybrid Static/Dynamic Analysis.		2015	RDF
11	Martin Sjölund	Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models.		2015	RDF
11	Hany Kashif	Deployment and Debugging of Real-Time Applications on Multicore Architectures.		2015	RDF
11	Satoshi Jo, Takeshi Matsumoto, Masahiro Fujita	SAT-based Automatic Rectification and Debugging of Combinational Circuits with LUT Insertions.	IPSJ Trans. Syst. LSI Des. Methodol.	2014	DBLP DOI BibTeX RDF
11	Yousef Iskander, Cameron D. Patterson, Stephen D. Craven	High-Level Abstractions and Modular Debugging for FPGA Design Validation.	ACM Trans. Reconfigurable Technol. Syst.	2014	DBLP DOI BibTeX RDF
11	Ce Zhang, Gang Cui, Hongwei Liu 0002, Fanchao Meng, Shixiong Wu	A Unified and Flexible Framework of Imperfect Debugging Dependent SRGMs with Testing-Effort.	J. Multim.	2014	DBLP DOI BibTeX RDF
11	Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský	Visual programming of MPI applications: Debugging, performance analysis, and performance prediction.	Comput. Sci. Inf. Syst.	2014	DBLP DOI BibTeX RDF
11	Martin Monperrus, Anthony Maia, Romain Rouvoy, Lionel Seinturier	Debugging with the Crowd: A Debug Recommendation System Based on StackOverflow.	ERCIM News	2014	DBLP BibTeX RDF
11	Rui Peng, Y. F. Li, W. J. Zhang, Q. P. Hu	Testing effort dependent software reliability model for imperfect debugging process considering both detection and correction.	Reliab. Eng. Syst. Saf.	2014	DBLP DOI BibTeX RDF
11	Tomaz Kosar, Marjan Mernik, Jeff Gray 0001, Tomaz Kos	Debugging measurement systems using a domain-specific modeling language.	Comput. Ind.	2014	DBLP DOI BibTeX RDF
11	Mohammad Hossein Neishaburi, Zeljko Zilic	On a New Mechanism of Trigger Generation for Post-Silicon Debugging.	IEEE Trans. Computers	2014	DBLP DOI BibTeX RDF
11	Minh Ngoc Dinh, David Abramson 0001, Chao Jin	Scalable Relative Debugging.	IEEE Trans. Parallel Distributed Syst.	2014	DBLP DOI BibTeX RDF
11	Hratch Mangassarian, Bao Le, Andreas G. Veneris	Debugging RTL Using Structural Dominance.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2014	DBLP DOI BibTeX RDF
11	He Li, Jie Luo 0004, Wei Li 0022	A formal semantics for debugging synchronous message passing-based concurrent programs.	Sci. China Inf. Sci.	2014	DBLP DOI BibTeX RDF
11	S. Chatterjee, J. B. Singh	A NHPP based software reliability model and optimal release policy with logistic-exponential test coverage under imperfect debugging.	Int. J. Syst. Assur. Eng. Manag.	2014	DBLP DOI BibTeX RDF
11	P. K. Kapur 0001, Ompal Singh, Avinash K. Shrivastava	Optimal price and testing time of a software under warranty and two types of imperfect debugging.	Int. J. Syst. Assur. Eng. Manag.	2014	DBLP DOI BibTeX RDF
11	Alan Humphrey, Qingyu Meng, Martin Berzins, Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan	Systematic Debugging Methods for Large-Scale HPC Computational Frameworks.	Comput. Sci. Eng.	2014	DBLP DOI BibTeX RDF
11	Chu-Ti Lin, Yan-Fu Li	Rate-Based Queueing Simulation Model of Open Source Software Debugging Activities.	IEEE Trans. Software Eng.	2014	DBLP DOI BibTeX RDF
11	Nataliia Stulova, José F. Morales 0001, Manuel V. Hermenegildo	Towards Assertion-based Debugging of Higher-Order (C)LP Programs.	CoRR	2014	DBLP BibTeX RDF
11	Kostyantyn M. Shchekotykhin	Interactive Debugging of ASP Programs.	CoRR	2014	DBLP BibTeX RDF
11	Yangjia Li, Mingsheng Ying	Debugging Quantum Processes Using Monitoring Measurements.	CoRR	2014	DBLP BibTeX RDF
11	Rüdiger Ehlers, Vasumathi Raman	Low-Effort Specification Debugging and Analysis.	SYNT	2014	DBLP DOI BibTeX RDF
11	Nataliia Stulova, José F. Morales 0001, Manuel V. Hermenegildo	An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs.	CoRR	2014	DBLP BibTeX RDF
11	Lars Hupel	Interactive Simplifier Tracing and Debugging in Isabelle.	CoRR	2014	DBLP BibTeX RDF
11	Wei Jin 0001, Alessandro Orso	Improving Efficiency and Scalability of Formula-based Debugging.	CoRR	2014	DBLP BibTeX RDF
11	Emma Tosch, Emery D. Berger	SurveyMan: Programming and Automatically Debugging Surveys.	CoRR	2014	DBLP BibTeX RDF
11	Long Zheng 0003, Xiaofei Liao, Bingsheng He, Song Wu 0001, Hai Jin 0001	On Performance Debugging of Unnecessary Lock Contentions on Multicore Processors: A Replay-based Approach.	CoRR	2014	DBLP BibTeX RDF
11	Minh Ngoc Dinh, David Abramson 0001, Chao Jin	Statistical assertion: A more powerful method for debugging scientific applications.	J. Comput. Sci.	2014	DBLP DOI BibTeX RDF
11	Dan Hao 0001, Hong Mei 0001	Recent Progress in Software Testing, Debugging and Analysis: A Survey.	Int. J. Softw. Informatics	2014	DBLP BibTeX RDF
11	Qiu Ji, Zhiqiang Gao, Zhisheng Huang, Man Zhu	Measuring effectiveness of ontology debugging systems.	Knowl. Based Syst.	2014	DBLP DOI BibTeX RDF
11	Damián Adalid, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino 0001	Using SPIN for automated debugging of infinite executions of Java programs.	J. Syst. Softw.	2014	DBLP DOI BibTeX RDF
11	Zhenyu Chen 0001, Hira Agrawal	Special issue on Emerging Topics on Software Debugging.	J. Syst. Softw.	2014	DBLP DOI BibTeX RDF
11	Vidroha Debroy, W. Eric Wong	Combining mutation and fault localization for automated program debugging.	J. Syst. Softw.	2014	DBLP DOI BibTeX RDF
11	Elisa Gonzalez Boix, Carlos Noguera, Wolfgang De Meuter	Distributed debugging for mobile networks.	J. Syst. Softw.	2014	DBLP DOI BibTeX RDF
11	Raphael Pham, Helge Holzmann, Kurt Schneider, Christian Brüggemann	Tailoring video recording to support efficient GUI testing and debugging.	Softw. Qual. J.	2014	DBLP DOI BibTeX RDF
11	Loïc Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Damien Picard, Erwan Fabiani	Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
11	Nico Krebs, Lothar Schmitz	Jaccie: A Java-based compiler-compiler for generating, visualizing and debugging compiler components.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
11	Madhu Jain, T. Manjula, T. R. Gulati 0001	Imperfect debugging study of SRGM with fault reduction factor and multiple change point.	Int. J. Math. Oper. Res.	2014	DBLP DOI BibTeX RDF
11	Tetsuro Katayama, Hiroto Nakamura, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki	Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs.	J. Robotics Netw. Artif. Life	2014	DBLP DOI BibTeX RDF
11	Tetsuro Katayama, Shoichiro Kitano, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki	Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net.	J. Robotics Netw. Artif. Life	2014	DBLP DOI BibTeX RDF
11	Vijay Nagarajan, Dennis Jeffrey, Rajiv Gupta 0001	Erratum: A system for debugging via online tracing and dynamic slicing.	Softw. Pract. Exp.	2014	DBLP DOI BibTeX RDF
11	Daniel de Oliveira 0001, Flavio Costa, Vítor Silva 0003, Kary A. C. S. Ocaña, Marta Mattoso	Debugging Scientific Workflows with Provenance: Achievements and Lessons Learned.	SBBD	2014	DBLP BibTeX RDF
11	Yuanli Pei, Arpit Christi, Xiaoli Z. Fern, Alex Groce, Weng-Keen Wong	Taming a Fuzzer Using Delta Debugging Trails.	ICDM Workshops	2014	DBLP DOI BibTeX RDF
11	Moaz Mostafa, Mona Safar, M. Watheq El-Kharashi, Mohamed Dessouky	System Verilog Assertion Debugging Based on Visualization, Simulation Results, and Mutation.	MTV	2014	DBLP DOI BibTeX RDF
11	Mehdi Dehbashi, Görschwin Fey	SAT-based speedpath debugging using X traces.	IDT	2014	DBLP DOI BibTeX RDF
11	Enrico Daga, Mathieu d'Aquin, Aldo Gangemi, Enrico Motta	Early Analysis and Debugging of Linked Open Data Cubes.	SemStats@ISWC	2014	DBLP BibTeX RDF
11	Jan Noessner, Heiner Stuckenschmidt, Christian Meilicke, Mathias Niepert	Completeness and optimality in ontology alignment debugging.	OM	2014	DBLP BibTeX RDF
11	Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl	A SAT-Based Debugging Tool for State Machines and Sequence Diagrams.	SLE	2014	DBLP DOI BibTeX RDF
11	Peter Elmers, Hongyu Li, Shams Mahmood Imam, Vivek Sarkar	HJ-Viz: a new tool for visualizing, debugging and optimizing parallel programs.	SPLASH (Companion Volume)	2014	DBLP DOI BibTeX RDF
11	Earl T. Barr, Mark Marron	Tardis: affordable time-travel debugging in managed runtimes.	OOPSLA	2014	DBLP DOI BibTeX RDF
11	Emma Tosch, Emery D. Berger	SurveyMan: programming and automatically debugging surveys.	OOPSLA	2014	DBLP DOI BibTeX RDF
11	Daniel W. Barowy, Dimitar Gochev, Emery D. Berger	CheckCell: data debugging for spreadsheets.	OOPSLA	2014	DBLP DOI BibTeX RDF
11	Brian P. Eddy, Jonathan Corley	Searching for answers: an exploratory study of the formation, use, and impact of queries during debugging.	SPLASH (Companion Volume)	2014	DBLP DOI BibTeX RDF
11	Linhai Song, Shan Lu 0001	Statistical debugging for real-world performance problems.	OOPSLA	2014	DBLP DOI BibTeX RDF
11	Craig Buchanan, Ken Keefe	Simulation Debugging and Visualization in the Möbius Modeling Framework.	QEST	2014	DBLP DOI BibTeX RDF
11	Junghwan Rhee, Hui Zhang 0002, Nipun Arora, Guofei Jiang, Kenji Yoshihira	Software system performance debugging with kernel events feature guidance.	NOMS	2014	DBLP DOI BibTeX RDF
11	Yan Wang, Harish Patil, Cristiano Pereira, Gregory Lueck, Rajiv Gupta 0001, Iulian Neamtiu	DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing.	CGO	2014	DBLP BibTeX RDF
11	Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber	Debugging with Timed Automata Mutations.	SAFECOMP	2014	DBLP DOI BibTeX RDF
11	Claus Zinn	Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems.	KI	2014	DBLP DOI BibTeX RDF
11	Dimitris Kontokostas, Patrick Westphal, Sören Auer, Sebastian Hellmann, Jens Lehmann 0001, Roland Cornelissen	Databugger: a test-driven framework for debugging the web of data.	WWW (Companion Volume)	2014	DBLP DOI BibTeX RDF
11	Somayeh Sadeghi Kohan, Payman Behnam, Bijan Alizadeh, Masahiro Fujita, Zainalabedin Navabi	Improving polynomial datapath debugging with HEDs.	ETS	2014	DBLP DOI BibTeX RDF
11	Mehdi Dehbashi, Görschwin Fey	Sat-based speedpath debugging using waveforms.	ETS	2014	DBLP DOI BibTeX RDF
11	Adam J. Smith, Robert F. Mills, Adam R. Bryant, Gilbert L. Peterson, Michael R. Grimaila	REDIR: Automated static detection of obfuscated anti-debugging techniques.	CTS	2014	DBLP DOI BibTeX RDF
11	Sheng Chen 0008, Martin Erwig	Counter-factual typing for debugging type errors.	POPL	2014	DBLP DOI BibTeX RDF
11	Brian Keng, Evean Qin, Andreas G. Veneris, Bao Le	Automated debugging of missing assumptions.	ASP-DAC	2014	DBLP DOI BibTeX RDF
11	Michael Perscheid, Robert Hirschfeld	Follow the path: Debugging tools for test-driven fault navigation.	CSMR-WCRE	2014	DBLP DOI BibTeX RDF
11	Michael Perscheid, Tim Felgentreff, Robert Hirschfeld	Follow the path: Debugging state anomalies along execution histories.	CSMR-WCRE	2014	DBLP DOI BibTeX RDF
11	Xuefeng Fu, Yong Zhang, Guilin Qi	A Graph-Based Approach to Ontology Debugging in DL-Lite.	JIST	2014	DBLP DOI BibTeX RDF