-
Symbolic execution of distributed systems
Sasnauskas, Raimondas 2013 Shaker
-
A system-theoretic safety engineering approach for software-intensive systems
Abdulkhaleq, Asim 2017 Cuvillier Verlag
-
Proceedings / 4th Conference on Quality Engineering in Software Technology and VDE-ITG Workshop on Testing Non-Functional Software Requirements – September 13 - 15, 2000, Nuremberg, Germany
2000 ASQF
-
Structured object-oriented formal language and method – second international workshop ; revised selected papers
Liu, Shaoying 2013 Springer
-
Software quality – state of the art in management, testing, and tools
Wieczorek, Martin ; Baltus, Rob 2001 Springer
-
Tests and proofs – 7th international conference ; proceedings
Veanes, Margus ; Viganò, Luca 2013 Springer
-
Logic-based program synthesis and transformation – 22nd international symposium ; revised selected papers
Albert, Elvira 2013 Springer
-
A Tool for Software Test Managers – Role of a Decision Support Framework
Larkman, Deane 2012 LAP LAMBERT Academic Publishing
-
Managing complexity – uncover the mysteries with Six Sigma transfer functions
Fehlmann, Thomas Michael 2016 Logos
-
Educational Measurement for Applied Researchers – Theory into Practice
Wu, Margaret ; Tam, Hak Ping ; Jen, Tsung-Hau 2016 Springer Singapore
-
Enabling functional integration testing by using heterogeneous models
Bauer, Thomas 2016 Fraunhofer Verlag
-
Proceedings / 3rd Conference on Quality Engineering in Software Technology and VDE-ITG Workshop on Testing Non-Functional Software Requirements – September 27 - 29, 1999, Nuremberg, Germany
1999 ASQF
-
Fundamentals of Software Testing: An Overview – Software Engineering
Jangir, Sunil Kumar ; Hemrajani, Naveen ; Gupta, Monika 2013 LAP LAMBERT Academic Publishing
-
Open Source Continuous Integration und Testing
Berger, Marco ; Höchner, Janina ; Kieninger, Sarah ; Krombholz, Robert 2013 GRIN Verlag GmbH
-
Improving the software testing skills of novices during onboarding through social transparency
Pham, Raphael 2016 Logos Verlag Berlin GmbH
-
Path Selection Strategy for Regression Testing – Software Metrics Based Approach
Deb Barma, Mrinal Kanti ; Tiwari, Shailesh ; Misra, A. K. 2013 LAP LAMBERT Academic Publishing
-
Evaluating Software Complexity based on Decision Coverage
Al-Hajjaji, Mustafa 2013 LAP LAMBERT Academic Publishing
-
Kriterienkatalog zur Unterstützung der Auswahl von Computer aided Software testing (CAST) Tools
Müller, Uwe ; Pottmeier, Daniel ; Wollersheim, Thomas 1998 Univ., Lehrstuhl für Wirtschaftsinformatik, Systementwicklung
-
Software Testing Techniques Evaluation – An Empirical Approach
Farooq, Sheikh Umar ; Quadri, S. M. K. ; Ahmad, Nesar 2012 LAP LAMBERT Academic Publishing
-
Soft Computing Techniques in Software Engineering – Neural and Fuzzy Based Approach for Software Development Models
Sangwan, Om Prakash ; Singh, Yogesh 2012 LAP LAMBERT Academic Publishing