„Software Test“

Suchergebnisse

3.251 Treffer

• Optimizing the software test case through physics-informed particle-based method
  Kumar Jaiswal, Updesh ; Prajapati, Amarjeet
• Towards an Automated Test Bench Environment for Prolog Systems
  Gonçalves, Ricardo ; Areias, Miguel ; Rocha, Ricardo 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131)
  Böhme, Marcel ; Christakis, Maria ; Padhye, Rohan ; Serebryany, Kostya ; Zeller, Andreas ; Eniser, Hasan Ferit
• Plagiarism Detection: A Tool Survey and Comparison
  Martins, Vítor T. ; Fonte, Daniela ; Henriques, Pedro Rangel ; da Cruz, Daniela 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SE4ML - Software Engineering for AI-ML-based Systems (Dagstuhl Seminar 20091)
  Kersting, Kristian ; Kim, Miryung ; Van den Broeck, Guy ; Zimmermann, Thomas
• Automatic Quality Assurance and Release (Dagstuhl Seminar 18122)
  Adams, Bram ; Baudry, Benoit ; Eldh, Sigrid ; Zaidman, Andy
• Design of Microfluidic Biochips (Dagstuhl Seminar 15352)
  Chakrabarty, Krishnendu ; Ho, Tsung-Yi ; Wille, Robert
• Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442)
  Cadar, Christian ; Ganesh, Vijay ; Sasnauskas, Raimondas ; Sen, Koushik
• On the security of broadcast signcryption scheme with equality test in smart transportation system
  Sarkar, Ramprasad
• Future Internet (Dagstuhl Seminar 13131)
  Crowcroft, Jon ; Fidler, Markus ; Nahrstedt, Klara ; Steinmetz, Ralf
• Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)
  Borba, Paulo ; Cohen, Myra B. ; Legay, Axel ; Wasowski, Andrzej
• TEAM Engine – Vorstellung der neusten Tests für OGC-Standards wie OGC API Features oder GeoTIFF
  Stenger, Dirk 2020 KartDok - Repositorium Kartographie Staatsbibliothek zu Berlin - Preußischer Kulturbesitz - Kartenabteilung -
• Konzept zur Testfallgenerierung mittels Mixed Reality – Erweiterung der Testautomatisierung um Methoden der Mixed-Reality-in-the-Loop-Simulation (MRiLS)
  Hönig, Jana ; Littfinski, Daniel ; Schnierle, Marc ; Röck, Sascha ; Verl, Alexander 2023 Universitätsbibliothek der Universität Stuttgart
• Automatic Generation and Optimization of Test case using Hybrid Cuckoo Search and Bee Colony Algorithm
  Lakshminarayana, P. ; SureshKumar, T. V.
• Automated Test Data Generation Using Cuckoo Search and Tabu Search (CSTS) Algorithm
  Srivastava, Praveen Ranjan ; Khandelwal, Rahul ; Khandelwal, Shobhit ; Kumar, Sanjay ; Santebennur Ranganatha, Suhas
• High-performance SiL Testing for ADAS Application Software
  Wellershaus, Christoph ; Bernsteiner, Stefan ; Herrmann, Martin ; Kemper, Henning
• Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies – 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings
  Winkler, Dietmar ; Biffl, Stefan ; Bergsmann, Johannes 2017 Springer International Publishing
• Comparing effectiveness and efficiency of Interactive Application Security Testing (IAST) and Runtime Application Self-Protection (RASP) tools in a large java-based system
  Seth, Aishwarya ; Bhattacharya, Saikath ; Elder, Sarah ; Zahan, Nusrat ; Williams, Laurie
• A formal testing method for multi-agent systems using colored Petri nets
  Machado, Ricardo Arend ; Cardoso, Arthur da Silva Zelindro ; Farias, Giovani Parente ; Gonçalves, Eder Mateus Nunes ; Adamatti, Diana Francisca
• Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems
  Valle, Pablo ; Arrieta, Aitor ; Han, Liping ; Ali, Shaukat ; Yue, Tao