-
FM 2011: Formal Methods – 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
Butler, Michael ; Schulte, Wolfram 2011 Springer Berlin Heidelberg
-
Modernes Software-Testing mit KI & Automation – Die digitale Transformation der Qualitätssicherung meistern
Pörtner, Andreas 2025 BoD - Books on Demand
-
Modernes Software-Testing mit KI & Automation – Die digitale Transformation der Qualitätssicherung meistern
Pörtner, Andreas 2025 BoD – Books on Demand
-
Automated property-based testing from AADL component contracts
Hatcliff, John ; Belt, Jason ; Robby ; Legg, Jacob ; Stewart, Danielle ; Carpenter, Todd
-
Software Quality: Methods and Tools for Better Software and Systems – 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings
Winkler, Dietmar ; Biffl, Stefan ; Bergsmann, Johannes 2018 Springer International Publishing
-
SQUAD: software testing for quantum distributed learning software
Park, Soohyun ; Cho, Jae Hyun ; Yook, Hyun Jun ; Jhun, Ga San ; Lee, Youn Kyu ; Kim, Joongheon
-
Mathematical and Engineering Methods in Computer Science – 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
2014 Springer International Publishing
-
Fundamentals of Software Testing
Homès, Bernard 2013 John Wiley & Sons
-
Fundamentals of Software Testing
Homès, Bernard 2013 John Wiley & Sons
-
Testing Software and Systems – 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings
2022 Springer International Publishing
-
Software Engineering and Formal Methods – SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
De Nicola, Rocco ; Calinescu, Radu C. ; Rumpe, Bernhard 2015 Springer International Publishing
-
Testing Software and Systems – 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
2015 Springer International Publishing
-
Hardware and Software: Verification and Testing – 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17–19, 2015, Proceedings
2015 Springer International Publishing
-
Captain CiaoCiao erobert Java – Das Trainingsbuch für besseres Java
Ullenboom, Christian 2021 Rheinwerk Verlag
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification – First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Lecomte, Thierry ; Pinger, Ralf ; Romanovsky, Alexander 2016 Springer International Publishing
-
Verified Software: Theories, Tools, and Experiments – 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers
Gurfinkel, Arie ; Sanjit, Seshia 2016 Springer International Publishing
-
Trends in Software Testing
Mohanty, Hrushikesha 2017 Springer Singapore
-
Evaluating the effectiveness of neuron coverage metrics: a metamorphic-testing approach
Zhou, Zenghui ; Poon, Pak-Lok ; Chen, Tsong Yueh ; Qiu, Kun ; Zhao, Qinghua ; Zheng, Zheng
-
Software Engineering – Proceedings of CSI 2015
Hoda, M. N. ; Chauhan, Naresh ; Quadri, S. M. K. ; Srivastava, Praveen Ranjan 2019 Springer Singapore
-
Testing Software and Systems – 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Wotawa, Franz ; Nica, Mihai ; Kushik, Natalia 2016 Springer International Publishing