„Software Testing“

Suchergebnisse

1.433 Treffer

• Runtime verification – 4th international conference ; proceedings
  Legay, Axel ; Bensalem, Saddek 2013 Springer
• Formal methods: foundations and applications – 16th Brazilian symposium ; proceedings
  Iyoda, Juliano ; Moura, Leonardo de 2013 Springer
• Simulations for Personnel Selection
  Fetzer, Michael ; Tuzinski, Kathy 2013 Springer New York
• Hardware and software: verification and testing – revised selected papers
  Biere, Armin ; Nahir, Amir ; Vos, Tanja 2013 Springer
• Innovative Technologies for Dependable OTS-Based Critical Systems – Challenges and Achievements of the CRITICAL STEP Project
  2013 Springer Milan
• Metasploit – Das Handbuch zum Penetration-Testing-Framework
  Messner, Michael 2012 dpunkt.verlag
• Penetration Testing mit Metasploit – Eine praktische Einführung
  Neugebauer, Frank 2012 dpunkt.verlag
• Metasploit – Das Handbuch zum Penetration-Testing-Framework
  Messner, Michael 2012 dpunkt.verlag
• Penetration Testing mit Metasploit – Eine praktische Einführung
  Neugebauer, Frank 2011 dpunkt.verlag
• Penetration Testing mit Metasploit – eine praktische Einführung
  Neugebauer, Frank 2011 dpunkt-Verl.
• Testing Safety-Related Software – A Practical Handbook
  Gardiner, Stewart 1999 Springer London
• Testing safety related software – a practical handbook
  Gardiner, Stewart 1999 Springer
• Automated testing of metamodels and code co-evolution
  Kebaili, Zohra Kaouter ; Khelladi, Djamel Eddine ; Acher, Mathieu ; Barais, Olivier
• Software Verification and Analysis – An Integrated, Hands-On Approach
  Laski, Janusz ; Stanley, William 2009 Springer London
• Colored Model Based Testing for Software Product Lines – CMBT-SWPL
  Farrag, Manal 2011 Suedwestdeutscher Verlag fuer Hochschulschriften
• Colored model based testing for software product lines (CMBT-SWPL)
  Farrag, Manal
• Unifying theories of programming – third international symposium ; proceedings
  Qin, Shengchao 2010 Springer
• Advances in artificial intelligence – proceedings
  Kuri-Morales, Angel ; Simari, Guillermo R. 2010 Springer
• Formal approaches to software testing – 5th international workshop ; revised selected papers
  Grieskamp, Wolfgang 2006 Springer
• Testing of communicating systems – 18th IFIP TC 6 WG 6.1 international conference ; proceedings
  Uyar, M. Ümit 2006 Springer