„Software Testing“

Suchergebnisse

1.433 Treffer

• Automated class testing using threaded multi-way trees to represent the behaviour of state machines
  Tsai, Bor-Yuan ; Stobart, Simon ; Parrington, Norman ; Mitchell, Ian
• Testing attribute grammars for circularity
  Räihä, Kari -Jouko ; Saarinen, Mikko
• Performance bounds for binary testing with arbitrary weights
  Loveland, Donald W.
• Reliability theory of program testing
  Hamlet, Richard
• Semantic decomposition of computer programs: An aid to program testing
  Zislis, Paul M.
• Resampling‐Based Empirical Bayes Multiple Testing Procedures for Controlling Generalized Tail Probability and Expected Value Error Rates: Focus on the False Discovery Rate and Simulation Study
  Dudoit, Sandrine ; Gilbert1, Houston N. ; van der Laan, Mark J.
• Algebraic program testing
  Howden, William E.
• Performance bounds on the splitting algorithm for binary testing
  Garey, M. R. ; Graham, R. L.
• A debugging and testing tool for supporting software evolution
  Abramson, D. ; Sosic, R.
• Introduction to Software Testing – A Practical Guide to Testing, Design, Automation, and Execution
  2023 Apress
• Test Automation Fundamentals – A Study Guide for the Certified Test Automation Engineer Exam – Advanced Level Specialist – ISTQB® Compliant
  Baumgartner, Manfred ; Steirer, Thomas ; Wendland, Marc-Florian ; Gwihs, Stefan ; Seidl, Julian ; Seidl, Richard 2022 dpunkt.verlag
• A UML-Based Approach to System Testing
  Briand, Lionel ; Labiche, Yvan
• Formal testing of timed graph transformation systems using metric temporal graph logic
  Schneider, Sven ; Maximova, Maria ; Sakizloglou, Lucas ; Giese, Holger
• A survey of new trends in symbolic execution for software testing and analysis
  Păsăreanu, Corina S. ; Visser, Willem
• Erstellung einer Roadmap für ein neuentwickeltes Softwareprodukt zur Digitalisierung von großflächigen Photovoltaik-Energie-Carports
  Kljajic-Peric, Nikola 2023 Books on Demand
• Erstellung einer Roadmap für ein neuentwickeltes Softwareprodukt zur Digitalisierung von großflächigen Photovoltaik-Energie-Carports
  Kljajic-Peric, Nikola 2023 Books on Demand
• Complete open-state testing of limitedly nondeterministic systems
  Bourdonov, I. B. ; Kossatchev, A. S.
• Multithreaded testing of program interfaces
  Mutilin, V. S.
• Application of QC_DR Software for Acceptance Testing and Routine Quality Control of Direct Digital Radiography Systems: Initial Experiences using the Italian Association of Physicist in Medicine Quality Control Protocol
  Nitrosi, Andrea ; Bertolini, Marco ; Borasi, Giovanni ; Botti, Andrea ; Barani, Adriana ; Rivetti, Stefano ; Pierotti, Luisa
• Dynamic and execution views to improve validation, testing, and optimization of autonomous driving software
  Alcon, Miguel ; Tabani, Hamid ; Abella, Jaume ; Cazorla, Francisco J.