„specification-based testing“

Suchergebnisse

1.000+ Treffer

• UML-based Test Specification for Communication Systems – A Methodology for the use of MSC and IDL in Testing
  Ebner, Michael ; Hogrefe, Dieter ; Grabowski, Jens 2004 Niedersächsische Staats- und Universitätsbibliothek Göttingen
• Conditional Skewness, Kurtosis, and Density Specification Testing: Moment-Based versus Nonparametric Tests
  Ergun, A. Tolga ; Jun, Jongbyung
• UML-based test specification for communication systems – a methodology for the use of MSC and IDL in testing
  Ebner, Michael
• Fundamental Approaches to Software Engineering – 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer Berlin Heidelberg
• Testing Software and Systems – 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
  Wolff, Burkhart ; Zaidi, Fatiha 2011 Springer Berlin Heidelberg
• Testing Software and Systems – 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
  Petrenko, Alexandre ; Simão, Adenilso ; Maldonado, José Carlos 2010 Springer Berlin Heidelberg
• Automatic Extraction and Selection of Workload Specifications for Load Testing and Model-Based Performance Prediction
  Vögele, Christian ; Krcmar, Helmut ; Pretschner, Alexander 2018 Universitätsbibliothek der TU München
• 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
• Continuous performance testing of FaaS and microservices based on TOSCA topology and orchestration specifications
  Farley, Andreas 2020 Universitätsbibliothek der Universität Stuttgart
• FM 2011: Formal Methods – 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
  Butler, Michael ; Schulte, Wolfram 2011 Springer Berlin Heidelberg
• Establishing virtual bioequivalence and clinically relevant specifications using in vitro biorelevant dissolution testing and physiologically-based population pharmacokinetic modeling. Case example: Naproxen
  Loisios-Konstantinidis, Ioannis ; Cristofoletti, Rodrigo ; Fotaki, Nikoletta ; Turner, David B. ; Dressman, Jennifer B. 2019 Universitätsbibliothek Johann Christian Senckenberg
• 10111 Executive Summary – Practical Software Testing: Tool Automation and Human Factors
  Harman, Mark ; Muccini, Henry ; Schulte, Wolfram ; Xie, Tao
• 10111 Abstracts Collection – Practical Software Testing : Tool Automation and Human Factors
  Harman, Mark ; Muccini, Henry ; Schulte, Wolfram ; Xie, Tao
• Smart test data generators via logic programming
  Bulwahn, Lukas 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)
  Lomuscio, Alessio R. ; Pinchinat, Sophie ; Schlingloff, Holger
• WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction—a model-driven approach for session-based application systems
  Vögele, Christian ; Hoorn, André ˜vanœ ; Schulz, Eike ; Hasselbring, Wilhelm ; Krcmar, Helmut 2018 Universitätsbibliothek Kiel
• Setting analytical performance specifications for copeptin-based testing
  Choy, Kay Weng ; Nediyedath, Karthik ; Farrance, Ian ; Loh, Tze Ping
• Specification based testing of real time distributed systems – languages, tools and applications
  Grabowski, Jens 2003 Logos-Verl.
• WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction—a model-driven approach for session-based application systems
  Vögele, Christian ; Hoorn, André ˜vanœ ; Schulz, Eike ; Hasselbring, Wilhelm ; Krcmar, Helmut
• Specification-based Testing for Gui-based Applications
  Chen, Jessica ; Subramaniam, Suganthan