„Automated debugging“

Suchergebnisse

30 Treffer

• Automated software debugging solutions – Software error detection is one of the most challenging issues in quality assurance in software manufacturers
  Fatahi, Maryam 2020 LAP LAMBERT Academic Publishing
• Automated Decision Making in the Problem Solving of Objects Layout for Chemical and Refining Industries Using Expert Software Systems
  Egorov, S. Ya ; Sharonin, K. A.
• The use of erratic behavior templates in debugging parallel programs by the automated validity verification method
  Vlasenko, A. Yu ; Gudov, A. M.
• Formal methods for automated debugging
  Riener, Heinz 2017
• Diagnosing software configuration errors via static analysis
  Dong, Zhen 2017
• Model checking software – 19th international workshop ; proceedings
  Donaldson, Alastair ; Parker, David 2012 Springer
• Hardware and software – verification and testing ; revised selected papers
  Namjoshi, Kedar S. ; Zeller, Andreas ; Ziv, Avi 2011 Springer
• Source Level Debugging of Verilog Designs – Automated Source Level Debugging of HDL Designs
  Riaz, Naveed 2010 VDM Verlag Dr. Müller
• Formal Methods in Automated Design Debugging – Bridging the gap between debugging needs and automated capabilities
  Safarpour, Sean 2010 VDM Verlag Dr. Müller
• Statistical Debugging and Automated Program Failure Triage – A Statistical Approach to Software Reliability
  Liu, Chao 2008 VDM Verlag Dr. Müller