|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4309 occurrences of 1739 keywords
|
|
|
Results
Found 5653 publication records. Showing 5653 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Xiangyu Li 0001, Shaowei Zhu 0001, Marcelo d'Amorim, Alessandro Orso |
Enlightened debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 82-92, 2018, ACM, 978-1-4503-5638-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Muhammad Ali Gulzar |
Interactive and automated debugging for big data analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 509-511, 2018, ACM, 978-1-4503-5663-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Zhaogui Xu, Shiqing Ma, Xiangyu Zhang 0001, Shuofei Zhu, Baowen Xu |
Debugging with intelligence via probabilistic inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 1171-1181, 2018, ACM, 978-1-4503-5638-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Herman Banken, Erik Meijer 0003, Georgios Gousios |
Debugging data flows in reactive programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 752-763, 2018, ACM, 978-1-4503-5638-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Moritz Beller, Niels Spruit, Diomidis Spinellis, Andy Zaidman |
On the dichotomy of debugging behavior among programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 572-583, 2018, ACM, 978-1-4503-5638-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 89-92, 2018, ACM, 978-1-4503-5663-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Michael J. Whittaker, Cristina Teodoropol, Peter Alvaro, Joseph M. Hellerstein |
Debugging Distributed Systems with Why-Across-Time Provenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCC ![In: Proceedings of the ACM Symposium on Cloud Computing, SoCC 2018, Carlsbad, CA, USA, October 11-13, 2018, pp. 333-346, 2018, ACM, 978-1-4503-6011-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Fabio Pereira da Silva, Higor Amario de Souza, Marcos Lordello Chaim |
Usability evaluation of software debugging tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBSI ![In: Proceedings of the XIV Brazilian Symposium on Information Systems, SBSI 2018, Caxias do Sul, Brazil, June 04-08, 2018, pp. 62:1-62:7, 2018, ACM, 978-1-4503-6559-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid |
OntoDebug: Interactive Ontology Debugging Plug-in for Protégé. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings, pp. 340-359, 2018, Springer, 978-3-319-90049-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Jia Wan, Mohammad Zulkernine, Clifford Liem |
A Dynamic App Anti-Debugging Approach on Android ART Runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC/PiCom/DataCom/CyberSciTech ![In: 2018 IEEE 16th Intl Conf on Dependable, Autonomic and Secure Computing, 16th Intl Conf on Pervasive Intelligence and Computing, 4th Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress, DASC/PiCom/DataCom/CyberSciTech 2018, Athens, Greece, August 12-15, 2018, pp. 560-567, 2018, IEEE Computer Society, 978-1-5386-7518-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCE ![In: IEEE International Conference on Consumer Electronics, ICCE 2018, Las Vegas, NV, USA, January 12-14, 2018, pp. 1-3, 2018, IEEE, 978-1-5386-3025-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | César Soto-Valero, Johann Bourcier, Benoit Baudry |
Detection and analysis of behavioral T-patterns in debugging activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Proceedings of the 15th International Conference on Mining Software Repositories, MSR 2018, Gothenburg, Sweden, May 28-29, 2018, pp. 110-113, 2018, ACM, 978-1-4503-5716-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Afsoon Afzal, Claire Le Goues |
A study on the use of IDE features for debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Proceedings of the 15th International Conference on Mining Software Repositories, MSR 2018, Gothenburg, Sweden, May 28-29, 2018, pp. 114-117, 2018, ACM, 978-1-4503-5716-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSME ![In: 2018 IEEE International Conference on Software Maintenance and Evolution, ICSME 2018, Madrid, Spain, September 23-29, 2018, pp. 496-507, 2018, IEEE Computer Society, 978-1-5386-7870-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAK ![In: Proceedings of the 8th International Conference on Learning Analytics and Knowledge, LAK 2018, Sydney, NSW, Australia, March 07-09, 2018, pp. 350-359, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Gary K. W. Wong, Shan Jiang |
Computational Thinking Education for Children: Algorithmic Thinking and Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TALE ![In: IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018, Wollongong, Australia, December 4-7, 2018, pp. 328-334, 2018, IEEE, 978-1-5386-6522-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TALE ![In: IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018, Wollongong, Australia, December 4-7, 2018, pp. 1069-1073, 2018, IEEE, 978-1-5386-6522-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 37th International Conference of the Chilean Computer Science Society, SCCC 2018, Santiago, Chile, November 5-9, 2018, pp. 1-8, 2018, IEEE, 978-1-5386-9233-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Jehandad Khan, Peter Athanas |
Query language for large-scale P4 network debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANCS ![In: Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems, ANCS 2018, Ithaca, NY, USA, July 23-24, 2018, pp. 162-164, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Marco Túlio Ribeiro, Sameer Singh 0001, Carlos Guestrin |
Semantically Equivalent Adversarial Rules for Debugging NLP models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, ACL 2018, Melbourne, Australia, July 15-20, 2018, Volume 1: Long Papers, pp. 856-865, 2018, Association for Computational Linguistics, 978-1-948087-32-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
11 | Simon Van Mierlo |
A multi-paradigm modelling approach for engineering model debugging environments ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
11 | Nipun Arora |
Sandboxed, Online Debugging of Production Bugs for SOA Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
DOI RDF |
|
11 | Praveen Tammana |
Software-defined datacenter network debugging ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
11 | Gianluca Barbon |
Debugging of Behavioural Models using Counterexample Analysis. (Débogage de modèles comportementaux par analyse de contre-exemple). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
11 | Sara Abbaspour Asadollah |
Concurrency Bugs: Characterization, Debugging and Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
11 | Chien-An Lai |
MilliScope: a fine-grained monitoring framework for performance debugging of N-tier web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
11 | Simon Van Mierlo, Yentl Van Tendeloo, Hans Vangheluwe |
Debugging Parallel DEVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 93(4), pp. 285-306, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 93(4), pp. 273-284, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Ivan Perez 0001, Henrik Nilsson |
Testing and debugging functional reactive programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 1(ICFP), pp. 2:1-2:27, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia Pac. J. Oper. Res. ![In: Asia Pac. J. Oper. Res. 34(3), pp. 1740017:1-1740017:21, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Ahmed Y. Khedr, Hazem M. Bahig |
Debugging Tool to Learn Algorithms: A Case Study Minimal Spanning Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Emerg. Technol. Learn. ![In: Int. J. Emerg. Technol. Learn. 12(4), pp. 90-100, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Wijnand Suijlen |
Mock BSPlib for Testing and Debugging Bulk Synchronous Parallel Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 27(1), pp. 1740001:1-1740001:18, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Siyuan Jiang, Collin McMillan, Raúl A. Santelices |
Do Programmers do Change Impact Analysis in Debugging? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 22(2), pp. 631-669, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Yu Zhang 0016, Dantong Ouyang, Yuxin Ye |
Glass-Box Debugging Algorithm Based on Unsatisfiable Dependent Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 5, pp. 18725-18736, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Yu Zhang 0016, Dantong Ouyang, Yuxin Ye |
An Optimization Strategy for Debugging Incoherent Terminologies in Dynamic Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 5, pp. 24284-24300, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 25(7), pp. 2059-2070, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Peter Ohmann, Ben Liblit |
Lightweight control-flow instrumentation and postmortem analysis in support of debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 24(4), pp. 865-904, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Networks ![In: IET Networks 6(2), pp. 39-46, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(1), pp. 83-96, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | M. A. Klimushenkova, P. M. Dovgalyuk |
Improving the performance of reverse debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 43(1), pp. 60-66, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 16(5s), pp. 149:1-149:19, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 43(8), pp. 760-776, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Semantic Comput. ![In: Int. J. Semantic Comput. 11(1), pp. 21-42, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Fulong Chen 0002, Yunxiang Sun |
FPGA-based elastic in-circuit debugging for complex digital logic design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Auton. Adapt. Commun. Syst. ![In: Int. J. Auton. Adapt. Commun. Syst. 10(3), pp. 303-319, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Jerry Backer, David Hély, Ramesh Karri |
Secure and Flexible Trace-Based Debugging of Systems-on-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 22(2), pp. 31:1-31:25, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.09930, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
11 | Johannes Oetsch, Jörg Pührer, Hans Tompits |
Stepwise Debugging of Answer-Set Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.06564, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.00363, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
11 | Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi 0001 |
Differential Performance Debugging with Discriminant Regression Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.04076, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
11 | John G. Whitington, Tom Ridge |
Direct Interpretation of Functional Programs for Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017., pp. 41-73, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1708.03786, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
11 | Arian Treffer, Michael Perscheid, Matthias Uflacker |
Bringing Back-in-Time Debugging Down to the Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.05327, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
11 | Pansy Arafa, Daniel Solomon, Samaneh Navabpour, Sebastian Fischmeister |
Debugging Behaviour of Embedded-Software Developers: An Exploratory Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1704.03397, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
11 | Rafael Caballero 0001, Adrián Riesco 0001, Josep Silva |
A Survey of Algorithmic Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 50(4), pp. 60:1-60:35, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | David Insa, Josep Silva |
Optimization Techniques for Algorithmic Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 122, 2017. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 10(12), pp. 1857-1860, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Peter Bailis, Peter Alvaro, Sumit Gulwani |
Research for practice: tracing and debugging distributed systems; programming by examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 60(7), pp. 46-49, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Devon H. O'Dell |
The debugging mind-set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 60(6), pp. 40-45, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Jonathan Corley, Brian P. Eddy, Eugene Syriani, Jeff Gray 0001 |
Efficient and scalable omniscient debugging for model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 25(1), pp. 7-48, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Michael Perscheid, Benjamin Siegmund, Marcel Taeumel, Robert Hirschfeld |
Studying the advancement in debugging practice of professional software developers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 25(1), pp. 83-110, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Sudipto Ghosh, J. Jenny Li |
Special issue on program debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 25(1), pp. 3-5, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 25(1), pp. 49-82, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 82, pp. 80-95, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Tim Felgentreff, Michael Perscheid, Robert Hirschfeld |
Implementing record and refinement for debugging timing-dependent communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 134, pp. 4-18, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Tudor Jebelean, Wei Li 0022, Dongming Wang 0001 |
Special Issue on Program Verification, Automated Debugging and Symbolic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 80, pp. 1-3, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Mingzhong Li, Zhaozheng Yin |
Debugging Object Tracking by a Recommender System with Correction Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Big Data ![In: IEEE Trans. Big Data 3(4), pp. 429-442, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Peter Alvaro, Sumit Gulwani, Peter Bailis |
Research for Practice: Tracing and Debugging Distributed Systems; Programming by Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 15(1), pp. 60, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Devon H. O'Dell |
The Debugging Mindset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 15(1), pp. 50, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Educ. ![In: Comput. Sci. Educ. 27(1), pp. 1-29, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Marcello Cinque, Domenico Cotroneo, Antonio Pecchia, Roberto Pietrantuono, Stefano Russo 0001 |
Debugging-workflow-aware software reliability growth analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 27(7), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Eduard Bergen, Stefan Edlich |
Post-Debugging in Large Scale Big Data Analytic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BTW (Workshops) ![In: Datenbanksysteme für Business, Technologie und Web (BTW 2017), 17. Fachtagung des GI-Fachbereichs „Datenbanken und Informationssysteme` (DBIS), 6.-10. März 2017, Stuttgart, Germany, Workshopband, pp. 65-72, 2017, GI, 978-3-88579-660-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
11 | Timotej Lazar, Martin Mozina, Ivan Bratko |
Automatic Extraction of AST Patterns for Debugging Student Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIED ![In: Artificial Intelligence in Education - 18th International Conference, AIED 2017, Wuhan, China, June 28 - July 1, 2017, Proceedings, pp. 162-174, 2017, Springer, 978-3-319-61424-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIED ![In: Artificial Intelligence in Education - 18th International Conference, AIED 2017, Wuhan, China, June 28 - July 1, 2017, Proceedings, pp. 574-577, 2017, Springer, 978-3-319-61424-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Kevin Leo, Guido Tack |
Debugging Unsatisfiable Constraint Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming - 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings, pp. 77-93, 2017, Springer, 978-3-319-59775-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Patrick Rodler, Konstantin Schekotihin |
Reducing Model-Based Diagnosis to Knowledge Base Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DX ![In: 28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017, pp. 284-296, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Faiez Zalila, Eric Jenn, Marc Pantel |
Model Execution and Debugging - A Process to Leverage Existing Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017., pp. 401-408, 2017, SciTePress, 978-989-758-210-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Pedro Holanda, Mark Raasveldt, Martin L. Kersten |
Don't Keep My UDFs Hostage - Exporting UDFs For Debugging Purposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBBD (Short Papers) ![In: XXXII Simpósio Brasileiro de Banco de Dados - Short Papers, Uberlandia, MG, Brazil, October 4-7, 2017., pp. 246-251, 2017, SBC. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: 2017 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2017, Pythagorion, Greece, July 17-20, 2017, pp. 30-37, 2017, IEEE, 978-1-5386-3437-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Albert Pötsch, Florian Haslhofer, Andreas Springer |
Advanced remote debugging of LoRa-enabled IoT sensor nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOT ![In: Proceedings of the Seventh International Conference on the Internet of Things, IOT 2017, Linz, Austria, October 22-25, 2017, pp. 23:1-23:2, 2017, ACM, 978-1-4503-5318-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Dongjing Miao, Zhipeng Cai 0001 |
Parameterized Complexity of Resilience Decision for Database Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings, pp. 332-344, 2017, Springer, 978-3-319-68689-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDM ![In: Proceedings of the 10th International Conference on Educational Data Mining, EDM 2017, Wuhan, Hubei, China, June 25-28, 2017, 2017, International Educational Data Mining Society (IEDMS). The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
11 | Xiangqi Li, Matthew Flatt |
Debugging with domain-specific events via macros. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017, pp. 91-102, 2017, ACM, 978-1-4503-5525-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Christos Kotselidis, Andy Nisbet, Foivos S. Zakkak, Nikos Foutris |
Cross-ISA debugging in meta-circular VMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMIL@SPLASH ![In: Proceedings of the 9th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Vancouver, BC, Canada, October 23 - 27, 2017, pp. 1-9, 2017, ACM, 978-1-4503-5519-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Carmen Torres Lopez |
Advanced debugging techniques to identify concurrency bugs in actor-based programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH (Companion Volume) ![In: Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2017, Vancouver, BC, Canada, October 23 - 27, 2017, pp. 13-15, 2017, ACM, 978-1-4503-5514-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Bastian Kruck, Tobias Pape, Tim Felgentreff, Robert Hirschfeld |
Crossing abstraction barriers when debugging in dynamic languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, pp. 1498-1504, 2017, ACM, 978-1-4503-4486-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017, pp. 3-14, 2017, ACM, 978-1-4503-5526-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Christopher Blochwitz, Raphael Klink, Jan Moritz Joseph, Thilo Pionteck |
Continuous live-tracing as debugging approach on FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReConFig ![In: International Conference on ReConFigurable Computing and FPGAs, ReConFig 2017, Cancun, Mexico, December 4-6, 2017, pp. 1-8, 2017, IEEE, 978-1-5386-3797-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Stefan Reinhardt, Markus Huber 0002, Otilia Dumitrescu, Michael Krone, Bernhard Eberhardt, Daniel Weiskopf |
Visual Debugging of SPH Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 21st International Conference Information Visualisation, IV 2017, London, United Kingdom, July 11-14, 2017, pp. 117-126, 2017, IEEE Computer Society, 978-1-5386-0831-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Elisabeth Getzner, Birgit Hofer, Franz Wotawa |
Improving Spectrum-Based Fault Localization for Spreadsheet Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 2017 IEEE International Conference on Software Quality, Reliability and Security, QRS 2017, Prague, Czech Republic, July 25-29, 2017, pp. 102-113, 2017, IEEE, 978-1-5386-0592-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGERE!@SPLASH ![In: Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2017, Vancouver, BC, Canada, October 23 - 27, 2017, pp. 41-49, 2017, ACM, 978-1-4503-5516-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Michael A. Miljanovic, Jeremy S. Bradbury |
RoboBUG: A Serious Game for Learning Debugging Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICER ![In: Proceedings of the 2017 ACM Conference on International Computing Education Research, ICER 2017, Tacoma, WA, USA, August 18-20, 2017, pp. 93-100, 2017, ACM, 978-1-4503-4968-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Arian Treffer, Michael Perscheid, Matthias Uflacker |
Bringing back-in-time debugging down to the database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: IEEE 24th International Conference on Software Analysis, Evolution and Reengineering, SANER 2017, Klagenfurt, Austria, February 20-24, 2017, pp. 521-525, 2017, IEEE Computer Society, 978-1-5090-5501-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATS ![In: 26th IEEE Asian Test Symposium, ATS 2017, Taipei City, Taiwan, November 27-30, 2017, pp. 189-194, 2017, IEEE Computer Society, 978-1-5386-2437-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETE@ICWL ![In: Emerging Technologies for Education - Second International Symposium, SETE 2017, Held in Conjunction with ICWL 2017, Cape Town, South Africa, September 20-22, 2017, Revised Selected Papers, pp. 438-445, 2017, Springer, 978-3-319-71083-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, pp. 35-46, 2017, IEEE Computer Society, 978-1-5090-6031-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Xiaodong Zhang 0023 |
Debugging Multithreaded Programs Using Symbolic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, pp. 557-558, 2017, IEEE Computer Society, 978-1-5090-6031-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Yangqi Li, Haiyan Sun, Haiyan Yang |
Improved NHPP Software Reliability Growth Model Considering Imperfect Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMSS ![In: Proceedings of the 2017 International Conference on Management Engineering, Software Engineering and Service Sciences, ICMSS '17, Wuhan, China, January 14-16, 2017, pp. 59-63, 2017, ACM, 978-1-4503-4834-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Nicolas Slack, Kate Howland |
H.I.D.E.: A Virtual Reality Debugging Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPIG ![In: Proceedings of the 28th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2017, Delft, The Netherlands, July 1-3, 2017, pp. 18, 2017, Psychology of Programming Interest Group. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
|
|