„Software Testing“

Suchergebnisse

1.433 Treffer

• On effective and efficient mutation analysis for unit and integration testing
  Just, René 2013 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• ScatterClipse – Architekturzentrierte Plattform und Werkzeuge für Entwicklung, Test und Verwaltung drahtloser Sensornetze
  Saad, Mohammad ˜al-œ 2010 Freie Universität Berlin
• Model-Based Statistical Testing of Embedded Real-Time Software with Continuous and Discrete Signals in a Concurrent Environment: The Usage Net Approach
  Böhr, Frank 2012 Verlag Dr. Hut
• Usability und UX kompakt – Produkte für Menschen
  Richter, Michael ; Flückiger, Markus 2028 Springer Berlin
• The Missing Piece: How Traceability Links Recovery Strengthens Software Systems
  Mahima 2024 tredition
• Modeling and model-based testing of service choreographies
  Wieczorek, Sebastian
• Colored model based testing for software product lines(CMBT-SWPL)
  Farrag, Manal ; Fengler, Wolfgang ; Philippow, Ilka ; Ghoneim, Ahmed 2010 Universitätsbibliothek Ilmenau
• Model-driven test case construction by domain experts in the context of software system families
  Baerisch, Stefan 2009 Universitätsbibliothek Kiel
• A Methodology For Pattern-Oriented Model-Driven Testing of Reactive Software Systems
  Vouffo Feudjio, Alain-Georges ; Schieferdecker, Ina 2011 Universitätsbibliothek der Technischen Universität Berlin
• Model-based testing of real-time embedded systems in the automotive domain
  Zander, Justyna
• Business Statistics with Solutions in R
  Akinkunmi, Mustapha A. 2019 De Gruyter
• Business Statistics with Solutions in R
  Akinkunmi, Mustapha A. 2019 De Gruyter
• Time partition testing – systematischer Test des kontinuierlichen Verhaltens von eingebetteten Systemen
  Lehmann, Eckard
• Guest Editorial: Special issue on Testing Software and Systems
  Yenigun, Husnu ; Evtušenko, Nina ; Cavalli, Ana Rosa
• Testing of Communicating Systems – 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26–28, 2003 Proceedings
  Hogrefe, Dieter 2003 Springer International Publishing
• Toward efficient testing of graph neural networks via test input prioritization
  Yang, Lichen ; Wang, Qiang ; Yang, Zhonghao ; He, Daojing ; Li, Yu
• Formal Methods: Foundations and Applications – 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
  Braga, Christiano ; Martí-Oliet, Narciso 2015 Springer International Publishing
• Hardware and Software: Verification and Testing – 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
  Biere, Armin ; Nahir, Amir ; Vos, Tanja 2014 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
  Margaria, Tiziana ; Steffen, Bernhard 2014 Springer Berlin Heidelberg
• Testing Software and Systems – 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
  Merayo, Mercedes G. ; Montes de Oca, Edgardo 2014 Springer Berlin Heidelberg