„Model-Based Testing“

Suchergebnisse

506 Treffer

• Model-based testing of real-time embedded systems in the automotive domain
  Zander, Justyna
• Data-Driven Linkage of Virtual and Real Tests for Scenario-Based Validation of Automated Vehicles
  Winkelmann, Max 2024 epubli
• Biaxial Characterization and Mean-field Based Damage Modeling of Sheet Molding Compound Composites
  Schemmann, Malte 2018 KIT Scientific 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
• Fundamental Approaches to Software Engineering – 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer Berlin Heidelberg
• Software and Data Technologies – 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
  Escalona, María José ; Cordeiro, José António Moinhos ; Šiškov, Boris 2013 Springer Berlin Heidelberg
• Testing Software and Systems – 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
  Yenigün, Hüsnü ; Yilmaz, Cemal ; Ulrich, Andreas 2013 Springer International Publishing
• Hardware and Software: Verification and Testing – 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
  2013 Springer Berlin Heidelberg
• Tests and Proofs – 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
  Veanes, Margus ; Viganò, Luca 2013 Springer Berlin Heidelberg
• Testing Software and Systems – 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
  Nielsen, Brian ; Weise, Carsten 2012 Springer Berlin Heidelberg
• Hardware and Software: Verification and Testing – 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
  Eder, Kerstin ; Lourenҫo, João ; Shehory, Onn 2012 Springer Berlin Heidelberg
• Software Engineering and Formal Methods – 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
  Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike 2012 Springer Berlin Heidelberg
• Tests and Proofs – 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
  Brucker, Achim D. ; Julliand, Jacques 2012 Springer Berlin Heidelberg
• Evaluation of Novel Approaches to Software Engineering – 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
  Maciaszek, Leszek A. ; Loucopoulos, Pericles 2011 Springer Berlin Heidelberg
• Testing Software and Systems – 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
  Wolff, Burkhart ; Zaidi, Fatiha 2011 Springer Berlin Heidelberg
• Engineering Secure Software and Systems – Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
  Erlingsson, Úlfar ; Wieringa, Roel ; Zannone, Nicola 2011 Springer Berlin Heidelberg
• Testing Software and Systems – 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
  Petrenko, Alexandre ; Simão, Adenilso ; Maldonado, José Carlos 2010 Springer Berlin Heidelberg
• Who loves virtue as much as he loves beauty?: Deep learning based estimator for aesthetics of portraits
  Gerlach, Tobias ; Danner, Michael ; Peng, Le ; Kaminickas, Aidas ; Fei, Wu ; Rätsch, Matthias ; Farinella, Giovanni ; Radeva, Petia ; Braz, Jose 2020 Hochschule Reutlingen
• STAF: Leveraging LLMs for automated attack tree-based security test generation
  Khule, Tanmay ; Marksteiner, Stefan ; Alguindigue, Jose ; Fuchs, Hannes ; Fischmeister, Sebastian ; Narayan, Apurva 2025 Ruhr-Universität Bochum