„Software Testing“

Suchergebnisse

1.433 Treffer

• A Cost-effective and Machine-learning-based method to identify and cluster redundant mutants in software mutation testing
  Arasteh, Bahman ; Ghaffari, Ali
• Optimizing regression testing with AHP-TOPSIS metric system for effective technical debt evaluation
  Zarrad, Anis ; Bahsoon, Rami ; Manimaran, Priya
• ISO 29119 – die Softwaretest-Normen verstehen und anwenden
  Daigl, Matthias ; Glunz, Rolf 2024 dpunkt.verlag
• Two is better than one: digital siblings to improve autonomous driving testing
  Biagiola, Matteo ; Stocco, Andrea ; Riccio, Vincenzo ; Tonella, Paolo
• REDQT: a method for automated mobile application GUI testing based on deep reinforcement learning algorithms
  Wang, Fengyu ; Tao, Chuanqi ; Gao, Jerry
• Differential testing solidity compiler through deep contract manipulation and mutation
  Tian, Zhenzhou ; Wang, Fanfan ; Chen, Yanping ; Chen, Lingwei
• Anwendungstechniken von modernen Fuzz-Tests auf Softwaresysteme
  Klamt, Tim ; Büsching, Felix ; Harms, Lucas 2024 Ostfalia Hochschule für angewandte Wissenschaften
• An approach for the verification and synthesis of complete test generation algorithms for finite state machines
  Sachtleben, Robert ; Peleska, Jan ; Wolff, Burkhart 2022 Staats- und Universitätsbibliothek Bremen
• Composable and executable scenarios for simulation-based testing of mobile robots
  Ortega Sáinz, Argentina ; Parra, Samuel ; Schneider, Sven ; Hochgeschwender, Nico 2024 Hochschule Bonn-Rhein-Sieg
• CoVeriTest: interleaving value and predicate analysis for test-case generation
  Jakobs, Marie-Christine 2024 Universitäts- und Landesbibliothek
• N-dimensional versus (N–1)-dimensional connectivity testing of first-order queries to semi-algebraic sets
  Geerts, Floris ; Smits, Lieven ; Bussche, Jan Van Den
• Agent-oriented software engineering XI – 11th international workshop ; revised selected papers
  Weyns, Danny ; Gleizes, Marie-Pierre 2011 Springer
• Evaluation of software testing metrics for NASA's Mission Control Center
  Stark, George E. ; Durst, Robert C. ; Pelnik, Tammy M.
• Dynamic testing complexity metric
  Voas, Jeffrey
• Test-takers’ adaptability to computerized language testing in China: taking Test for English Majors as an example
  Wang, Wei
• Test case selection and prioritization approach for automated regression testing using ontology and COSMIC measurement
  Sakhrawi, Zaineb ; Labidi, Taher
• Hunting bugs: Towards an automated approach to identifying which change caused a bug through regression testing
  Maes-Bermejo, Michel ; Serebrenik, Alexander ; Gallego, Micael ; Gortázar, Francisco ; Robles, Gregorio ; González Barahona, Jesús María
• Guide to Software Verification with Frama-C – Core Components, Usages, and Applications
  Kosmatov, Nikolai ; Prevosto, Virgile ; Signoles, Julien 2024 Springer International Publishing, Imprint: Springer
• Model-based ideal testing of sequential systems
  Kilincceker, Onur 2024 Universitätsbibliothek
• Basiswissen KI-Testen – Qualität von und mit KI-basierten Systemen : Aus- und Weiterbildung zum Certified Tester AI Testing - Foundation Level Specialist nach ISTQB®-Standard
  Röttger, Nils ; Runze, Gerhard ; Dietrich, Verena 2024 dpunkt.verlag