„Test case generation“

Suchergebnisse

1.000+ Treffer

• Components integration-effect graph: a black box testing and test case generation technique for component-based software
  Tiwari, Umesh Kumar ; Kumar, Santosh
• Model driven test case generation and optimization using adaptive cuckoo search algorithm
  Sahoo, Rajesh Kumar ; Satpathy, Suneeta ; Sahoo, Sipra ; Sarkar, Achyuth
• Combinatorial test case generation from sequence diagram using optimization algorithms
  Tatale, Subhash ; Chandra Prakash, V.
• Automatic test case generation through collaboration diagram: a case study
  Kaur, Arvinder ; Vig, Vidhi
• Transformation of Estelle modules aiming at test case generation
  Henniger, Olaf ; Ulrich, Andreas ; König, Hartmut 1995 Techn. Univ., Fak. für Mathematik, Naturwiss. und Informatik
• Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches
  Neubauer, Kai ; Haubelt, Christian ; Wanko, Philipp ; Schaub, Torsten 2018 Universitätsbibliothek Tübingen
• Automatic test Case generation for PLC software
  Simon, Hendrik ; Kowalewski, Stefan ; Weyrich, Michael 2023 Universitätsbibliothek der RWTH Aachen
• Scaling Correctness-by-Construction
  Bordis, Tabea ; Schaefer, Ina ; Broch Johnsen, Einar 2025 KIT-Bibliothek
• Test case generation from natural language requirements for embedded systems with semantic role labeling
  Kugler, Alexander ; Kowalewski, Stefan ; Rumpe, Bernhard 2025 Universitätsbibliothek der RWTH Aachen
• Code Coverage Test Case Prioritization for Regression Testing Using Non-Deterministic Approach
  Mayan, J. Albert 2025 GRIN Verlag
• Code Coverage Test Case Prioritization for Regression Testing Using Non-Deterministic Approach
  Mayan, J. Albert 2025 GRIN Verlag
• Enhanced Test Case Generation with the Classification Tree Method
  Kruse, Peter Michael 2014 Freie Universität Berlin
• Automatic test generation based on formal specifications – practical procedures for efficient state space exploration and improved representation of test cases
  Schmitt, Michael
• Software Engineering, Business Continuity, and Education – International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
  Kim, T'ae-hun ; Adeli, Hojjat ; Kim, Kwang-hŏn ; Kang, Heau-jo ; Kim, Kyung Jung ; Kiumi, Akingbehin ; Kang, Byeong Ho 2011 Springer Berlin Heidelberg
• Automatically deriving test cases from safety-security dependencies
  Trentinaglia, Roman ; Fockel, Markus ; Pukrop, Matthias ; Schaeffer, Tobias 2024 Ruhr-Universität Bochum
• Model-Based Test Case Generation for Compliance Checking of Reactive Asset Administration Shells
  Otto, Björn ; Meinecke, Karsten ; Kleinert, Tobias 2022 Universitätsbibliothek der RWTH Aachen
• Test Case Generation According to the Binary Search Strategy
  Beydeda, Sami ; Gruhn, Volker 2018 Universitätsbibliothek Leipzig
• BINTEST – Binary Search-based Test Case Generation
  Beydeda, Sami ; Gruhn, Volker 2018 Universitätsbibliothek Leipzig
• Tests4J benchmark – execution-based evaluation of context-aware language models for test case generation
  Knappich, Valentin 2023 Universitätsbibliothek der Universität Stuttgart
• Hardware and Software: Verification and Testing – 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  2011 Springer Berlin Heidelberg