„Logic Based Testing“

Suchergebnisse

1.000+ Treffer

• Exploration and Cluster-Based Analysis of Simulated Logical Scenarios for Testing Automated Driving Systems
  Schütt, Barbara ; Sax, Eric ; Hungar, Hardi 2024 KIT-Bibliothek
• Logic-Based Program Synthesis and Transformation – 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
  Albert, Elvira 2013 Springer Berlin Heidelberg
• Software Engineering and Formal Methods – 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
  Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike 2012 Springer Berlin Heidelberg
• A logic-based approach to system testing
  Morciniec, Tobias ; Podelski, Andreas 2017 Universität
• Fuzzy Logic Based Objective Function Construction for Evolutionary Test Generation
  Tettamanzi, Andrea G. B.
• Two Applications of Logic Programming to Coq
  Manighetti, Matteo ; Miller, Dale ; Momigliano, Alberto 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 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
• Testing for gate oxide short defects using the detectability interval paradigm
  Galliere, Jean-Marc ; Azais, Florence ; Comte, Mariane ; Renovell, Michel
• An extensive evaluation of search-based software testing: a review
  Khari, Manju ; Kumar, Prabhat
• A new approach for testing fuzzy hypotheses based on fuzzy data
  Arefi, Mohsen ; Taheri, S. Mahmoud
• Shift left testing paradigm process implementation for quality of software based on fuzzy
  Vaddadi, Srinivas Aditya ; Thatikonda, Ramya ; Padthe, Adithya ; Arnepalli, Pandu Ranga Rao
• Dominating set-based test prioritization algorithms for regression testing
  Demir, Zafer Can ; Emrah Amrahov, Şahin
• A New Asymptotic Distribution-Based Method for Testing the Signal-to-Noise Ratio in Birth Weight Data from Thailand
  Panichkitkosolkul, Wararit ; Sukparungsee, Saowanit ; Volodin, Andrei
• Using Bayesian optimization algorithm for model-based integration testing
  Rafe, Vahid ; Mohammady, Somayeh ; Cuevas, Erik
• Enacting performance-based accountability in a Southern European school system: between administrative and market logics
  Pagès, Marcel
• Performance analysis intelligent-based advanced PSO algorithm and testing of real-time matrix converter electrical system
  Amarendra, Ch ; Reddy, K. Harinadha
• An evaluation of Monte Carlo-based hyper-heuristic for interaction testing of industrial embedded software applications
  Ahmed, Bestoun S. ; Enoiu, Eduard ; Afzal, Wasif ; Zamli, Kamal Z.
• Knowledge-based security testing of web applications by logic programming
  Zech, Philipp ; Felderer, Michael ; Breu, Ruth
• Software Testing Methodologies
  Khan, Umar 2019 LAP LAMBERT Academic Publishing