„Testmuster“

Suchergebnisse

182 Treffer

• A Methodology for Automated Analysis of Application Specific Processor Models with Respect to Test Generation
  Lüthje, Olaf 2005 Shaker
• Verfahren zur hardware-basierten Beschleunigung von Testumgebungen
  Henftling, Renate 2005 Shaker
• Novel Approaches for Accelerated Analog Fault Simulation
  Dhifi, Mustapha 2003 Shaker
• Verifikation digitaler Schaltungen mittels symbolischer Simulation
  Kölbl, Alfred 2003 Shaker
• A New Technique for Deterministic Scan-Based Built-In Self-Test (BIST)
  Liang, Huaguo 2003 Shaker
• Symbolic Execution of Distributed Systems
  Sasnauskas, Raimondas 2013 Shaker
• Testmustergenerierung und Fehlersimulation in digitalen Schaltungen mit hoher Komplexität
  Schulz, Michael H. 1988 Springer Berlin Heidelberg
• Modeling and model-based testing of service choreographies
  Wieczorek, Sebastian
• Verification-based software-fault detection
  Gladisch, Christoph
• Resistive bridging faults – defect-oriented modeling and efficient testing
  Engelke, Piet
• Test produktionsbedingter Laufzeitfehler in hochintegrierten, digitalen Schaltungen
  Meyer, Volker Hans-Walther
• Symbolic methods for testing digital circuits
  Keim, Martin
• An integrated approach to testing complex systems
  Niese, Oliver
• Testing Software and Systems – 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
  Wolff, Burkhart ; Zaidi, Fatiha 2011 Springer Berlin Heidelberg
• Testing Software and Systems – 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
  Petrenko, Alexandre ; Simão, Adenilso ; Maldonado, José Carlos 2010 Springer Berlin Heidelberg
• Logic Based Program Synthesis and Transformation – 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
  Hanus, Michael 2004 Springer Berlin Heidelberg
• Logic based program synthesis and transformation – 18th international symposium ; revised selected papers
  Hanus, Michael 2009 Springer
• Formal approaches to software testing and runtime verification – revised selected papers
  Havelund, Klaus 2006 Springer
• Möglichkeiten und Grebzen der automatischen SBST Generierung für einfache Prozessoren - Fallstudie des Testprozessors T5016tp
  Galke, C. ; Koal, T. ; Vierhaus, H.T. ; Hardt, Wolfram 2007 Universitätsbibliothek Chemnitz
• A system-theoretic safety engineering approach for software-intensive systems
  Abdulkhaleq, Asim ; Wagner, Stefan 2017 Universitätsbibliothek der Universität Stuttgart