„Test Generation“

Suchergebnisse

1.077 Treffer

• Expectancy effects in performance situations – moving toward a third generation of stereotype threat research
  Keller, Johannes
• Automatic test generation based on formal specifications – practical procedures for efficient state space exploration and improved representation of test cases
  Schmitt, Michael
• Treatment and Reasons for Choosing Treatment in Breast Cancer Patients Who Underwent Next-Generation Sequencing Test
  Nishimura, Rumi ; Sudo, Kazuki ; Kitadai, Rui ; Kawachi, Asuka ; Ito, Munehiro ; Hoshino, Mai ; Kita, Shosuke ; Saito, Ayumi ; Kojima, Yuki ; Maejima, Aiko ; Noguchi, Emi ; Okuma, Hitomi S. ; Koyama, Takafumi ; Shimoi, Tatsunori ; Yonemori, Kan
• Clinical tools in the diagnosis of disorders of sex development: a switch from the hormonal to the genetics laboratory?
  Rey, Rodolfo A.
• Performance of the low-cost phenotypic thin-layer agar MDR/XDR-TB Colour Test (first generation, 1G, Color Plate Test) for identifying drug-resistant Mycobacterium tuberculosis isolates in a resource-limited setting
  Mebrat, Binyam ; Garcia, Juan I. ; Woldeamanuel, Yimtubezenash ; Adane, Kelemework ; Hicks, Amberlee ; Tilahun, Melaku ; Neway, Sebsib ; Oluma, Lelisa ; Atnafu, Abay ; Gelfond, Jonathan ; Evans, Carlton A. ; Torrelles, Jordi B. ; Wang, Shu-Hua ; Wassie, Liya
• 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
• 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
• 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
• 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
• 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
• Advances in Artificial Intelligence – IBERAMIA 2010 – 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings
  2010 Springer Berlin Heidelberg
• Advances in Artificial Intelligence – SBIA 2010 – 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings
  Kuri-Morales, Angel ; Simari, Guillermo R. 2011 Springer Berlin Heidelberg
• 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
• Leveraging large language models for automated knowledge graphs generation in non-destructive testing
  Zia, Ghezal Ahmad Jan ; Valdestilhas, Andre ; Moreno Torres, Benjami ; Kruschwitz, Sabine 2025 Bundesanstalt für Materialforschung und -prüfung (BAM)
• Similarity-driven schema transformation for test data generation
  Panse, Fabian ; Klettke, Meike ; Schildgen, Johannes ; Wingerath, Wolfram ; Stoyanovich, Julia ; Teubner, Jens ; Guagliardo, Paolo ; Nikolic, Milos ; Pieris, Andreas ; Mühlig, Jan ; Özcan, Fatma ; Schelter, Sebastian ; Jagadish, H. V. ; Zhang, Meihui 2022 Universität Augsburg
• Automatically deriving test cases from safety-security dependencies
  Trentinaglia, Roman ; Fockel, Markus ; Pukrop, Matthias ; Schaeffer, Tobias 2024 Ruhr-Universität Bochum
• Retrieval augmented generation to support cybersecurity verification in automotive engineering
  Gensale, Aurora ; Basile, Cataldo ; Cagliero, Luca ; Garza, Paolo ; Ferrua, Luca ; Faranda Cordella, Giuseppe 2024 Ruhr-Universität Bochum