-
Testing software and systems – 23rd IFIP WG 6.1 international conference ; proceedings
Wolff, Burkhart ; Zaidi, Fatiha 2011 Springer
-
Theoretical Aspects of Computing – ICTAC 2011 – 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
Cerone, Antonio ; Pihlajasaari, Pekka 2011 Springer Berlin Heidelberg
-
Open Source Tools für Datenbanken – Konzeption, Erstellung und Durchführung von Test
Grysczyk, Sebastian 2011 VDM Verlag Dr. Müller
-
Search based software engineering – third international symposium ; proceedings
Cohen, Myra B. ; O'Cinneide, Mel 2011 Springer
-
Theoretical aspects of computing 8th international colloquium ; proceedings
Cerone, Antonio ; Pihlajasaari, Pekka 2011 Springer
-
Lean Software Development – kundenzentrierte Softwareentwicklung durch Anwendung schlanker Prinzipien
Sprengholz, Philipp 2011 AVM
-
Der Systemtest – von den Anforderungen zum Qualitätsnachweis
Sneed, Harry M. ; Baumgartner, Manfred ; Seidl, Richard 2012 Hanser
-
Der Integrationstest – von Entwurf und Architektur zur Komponenten- und Systemintegration
Winter, Mario ; Ekssir-Monfared, Mohsen ; Sneed, Harry M. ; Seidl, Richard ; Borner, Lars 2013 Hanser
-
Tests and proofs – 5th international conference ; proceedings
Gogolla, Martin ; Wolff, Burkhart 2011 Springer
-
Static Analysis Rules of the BPEL Specification: Tagging, Formalization and Tests
Preißinger, Christian ; Harrer, Simon 2016 Otto-Friedrich-Universität Bamberg
-
Software Quality – State of the Art in Management, Testing, and Tools
Wieczorek, Martin ; Baltus, Rob 2001 Springer Berlin Heidelberg
-
Testwerkzeug für Kommunikationssoftware in Helikopter Mesh-Netzwerken – Testen von Ad-hoc-Datenfunk-Netzwerken mit Hilfe eines dafür konstruierten Test-Programms
Jung, Etienne 2011 VDM Verlag Dr. Müller
-
Qualitätsmanagement von Softwareplattformen im Testprozess – Erstellung von spezifischen Kennzahlsystemen anhand eines generischen Modells
Prechtel, Markus 2010 Suedwestdeutscher Verlag fuer Hochschulschriften
-
Formal methods: foundations and applications – revised selected papers
Davies, Jim ; Silva, Leila ; Simao, Adenilso 2011 Springer
-
Hardware and software – verification and testing ; revised selected papers
Barner, Sharon ; Harris, Ian ; Kroening, Daniel ; Raz, Orna 2011 Springer
-
Hardware and software – verification and testing ; revised selected papers
Namjoshi, Kedar S. ; Zeller, Andreas ; Ziv, Avi 2011 Springer
-
Virtuelle SPS in einem eingebetteten System – Nutzung einer auf Software basierten SPS als Alternative zu einer zusätzlichen Hardwarekomponente
Reinwald, Patrick 2010 VDM Verlag Dr. Müller
-
Praxiswissen Softwaretest
Bath, Graham ; McKay, Judy 2011 dpunkt-Verl.
-
Advances in software engineering – international conference ; proceedings
Kim, T'ae-hun ; Khurram Khan, Muhammad ; Kiumi, Akingbehin ; Fang, Wai-chi ; Slezak, Dominik 2010 Springer
-
Formal methods and software engineering – proceedings
Dong, Jin Song ; Zhu, Huibiao 2010 Springer