„debugging“

Suchergebnisse

549 Treffer

• Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact)
  Singh, Robbert Gurdeep ; Lopez, Carmen Torres ; Marr, Stefan ; Boix, Elisa Gonzalez ; Scholliers, Christophe
• Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
  Gross, Jason ; Zimmermann, Théo ; Poddar-Agrawal, Miraya ; Chlipala, Adam 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automation of Debugging Parallel Programs in the DVM System
  Bakhtin, V. A.
• Blame Tracking and Type Error Debugging
  Chen, Sheng ; Campora III, John Peter 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper)
  Torres Lopez, Carmen ; Gurdeep Singh, Robbert ; Marr, Stefan ; Gonzalez Boix, Elisa ; Scholliers, Christophe 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Anan — a debugger for compute clusters
  Adler, Alexander ; Lindenstruth, Volker ; Kebschull, Udo 2022 Universitätsbibliothek Johann Christian Senckenberg
• Separability by Short Subsequences and Subwords
  Hofman, Piotr ; Martens, Wim 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Methods and Methodologies for Developing Answer-Set Programs - Project Description
  Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
  Lopez-Garcia, Pedro ; Darmawan, Luthfi ; Bueno, Francisco 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• VeriOSS: Using the Blockchain to Foster Bug Bounty Programs
  Canidio, Andrea ; Costa, Gabriele ; Galletta, Letterio 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Conceptual Generic Framework to Debugging in the Domain-Specific Modeling Languages for Multi-Agent Systems
  Tezel, Baris Tekin ; Kardas, Geylani 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• QDB: From Quantum Algorithms Towards Correct Quantum Programs
  Huang, Yipeng ; Martonosi, Margaret 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Visualizing the Evaluation of Functional Programs for Debugging
  Whitington, John ; Ridge, Tom 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The New Generation of Algorithmic Debuggers (Keynote)
  Silva Galiana, Josep 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SE4ML - Software Engineering for AI-ML-based Systems (Dagstuhl Seminar 20091)
  Kersting, Kristian ; Kim, Miryung ; Van den Broeck, Guy ; Zimmermann, Thomas
• Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061)
  Harrold, Mary Jean ; Steinmann, Friedrich ; Tip, Frank ; Zeller, Andreas
• Self-Repairing Programs (Dagstuhl Seminar 11062)
  Pezzè, Mauro ; Rinard, Martin C. ; Weimer, Westley ; Zeller, Andreas
• Eine Testhilfe für parallele Prozesse/A Debugging Support for Concurrent Processes
  Hüsken, V. ; Schlechtriem, G.
• On narrowing the gap between verification and systematic testing
  Christakis, Maria
• Tools for High Performance Computing 2011 – Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
  Brunst, Holger 2012 Springer Berlin