„Software Testing“

Suchergebnisse

1.433 Treffer

• Model-based testing for concurrent systems: unfolding-based test selection
  Ponce de León, Hernán ; Haar, Stefan ; Longuet, Delphine
• Formal methods – proceedings
  Butler, Michael ; Schulte, Wolfram 2011 Springer
• Software Quality – State of the Art in Management, Testing, and Tools
  Wieczorek, Martin ; Baltus, Rob 2001 Springer Berlin Heidelberg
• Software Quality and Software Testing in Internet Times
  Meyerhoff, Dirk ; Amland, St°ale 2002 Springer Berlin Heidelberg
• State Based Approach for Testing Menu Driven Applications – A Proof of Concept for MACT
  Eda, Ravi 2011 VDM Verlag Dr. Müller
• Testing of a Monitoring Device for Automotive Communication Networks – The Challenge of Testing Real-Time Monitoring Capabilities Using Ordinary Computer Hardware
  Jakob, Matthias 2011 VDM Verlag Dr. Müller
• Hardware and software – verification and testing ; revised selected papers
  Barner, Sharon ; Harris, Ian ; Kroening, Daniel ; Raz, Orna 2011 Springer
• Analysis of distance functions for similarity-based test suite reduction in the context of model-based testing
  Coutinho, Ana Emília Victor Barbosa ; Cartaxo, Emanuela Gadelha ; Machado, Patrícia Duarte de Lima
• Testing variability-intensive systems using automated analysis: an application to Android
  Galindo, José A. ; Turner, Hamilton ; Benavides, David ; White, Jules
• Adoption and use of cloud-based testing in practice
  Riungu-Kalliosaari, Leah ; Taipale, Ossi ; Smolander, Kari ; Richardson, Ita
• Hardware and software – verification and testing ; revised selected papers
  Namjoshi, Kedar S. ; Zeller, Andreas ; Ziv, Avi 2011 Springer
• Engineering secure software and systems – third international symposium ; proceedings
  Erlingsson, Úlfar ; Wieringa, Roel ; Zannone, Nicola 2011 Springer
• Minimally invasive implantable fetal micropacemaker: mechanical testing and technical refinements
  Zhou, Li ; Vest, Adriana Nicholson ; Peck, Raymond A. ; Sredl, Jonathan P. ; Huang, Xuechen ; Bar-Cohen, Yaniv ; Silka, Michael J. ; Pruetz, Jay D. ; Chmait, Ramen H. ; Loeb, Gerald E.
• Introduction to Software Process Improvement
  O'Regan, Gerard 2011 Springer London
• Analysing the fitness landscape of search-based software testing problems
  Aleti, Aldeida ; Moser, I. ; Grunske, Lars
• Modeling and model-based testing of service choreographies – modeling and model-based service integration testing for service-oriented architectures
  Wieczorek, Sebastian 2010 AVM
• Central European functional programming school – third summer school ; revised selected lectures
  Horváth, Zoltán ; Plasmeijer, Rinus ; Zsók, Viktoria 2010 Springer
• Advances in information and computer security – proceedings
  Echizen, Isao ; Kunihiro, Noboru ; Sasaki, Ryoichi 2010 Springer
• Runtime verification – first international conference ; proceedings
  Barringer, Howard ; Roşu, Grigore ; Sokolsky, Oleg 2010 Springer
• Testing software and systems – 22nd IFIP WG 6.1 international conference ; proceedings
  Petrenko, Alexandre ; Simão, Adenilso ; Maldonado, José Carlos 2010 Springer