„Property-based Testing“

Suchergebnisse

1.000+ Treffer

• Property-based testing – evaluating its applicability and effectiveness for AUTOSAR basic software
  Bose, Aparna 2020 Universitätsbibliothek der Universität Stuttgart
• Is There Hypothesis for Attribute Grammars?
  Rodrigues, Emanuel ; Macedo, José Nuno ; Saraiva, João 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automated property-based testing from AADL component contracts
  Hatcliff, John ; Belt, Jason ; Robby ; Legg, Jacob ; Stewart, Danielle ; Carpenter, Todd
• An Efficient and Uniform CSP Solution Generator Generator
  Ziat, Ghiles ; Pépin, Martin 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Nearly Optimal Bounds for Sample-Based Testing and Learning of k-Monotone Functions
  Black, Hadley 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Sample-Based High-Dimensional Convexity Testing
  Chen, Xi ; Freilich, Adam ; Servedio, Rocco A. ; Sun, Timothy 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Sample-Based Distance-Approximation for Subsequence-Freeness
  Cohen Sidon, Omer ; Ron, Dana 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Two Applications of Logic Programming to Coq
  Manighetti, Matteo ; Miller, Dale ; Momigliano, Alberto 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Almost Optimal Distribution-Free Sample-Based Testing of k-Modality
  Ron, Dana ; Rosin, Asaf 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automatic Generation of Attacker Contracts in Solidity
  Ballesteros, Ignacio ; Benac-Earle, Clara ; de Barrio, Luis Eduardo Bueso ; Fredlund, Lars-Åke ; Herranz, Ángel ; Mariño, Julio 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Finding Smart Contract Vulnerabilities with ConCert’s Property-Based Testing Framework
  Milo, Mikkel ; Nielsen, Eske Hoy ; Annenkov, Danil ; Spitters, Bas 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Using Property-Based Testing to Generate Feedback for C Programming Exercises
  Vasconcelos, Pedro ; Ribeiro, Rita P. 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Testing of Concurrent Programs
  Isabel, Miguel 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Investigating Microstructure–Property Relationships of Nonwovens by Model-Based Virtual Material Testing
  Weber, Matthias ; Grießer, Andreas ; Mosbach, Dennis ; Glatt, Erik ; Wiegmann, Andreas ; Schmidt, Volker
• Cleaning testing of nineteenth-century plaster surface models with thin polyacrylamide-based gel layers attached to flexible polyethylene films
  Theodorakopoulos, Charis ; Risdonne, Valentina ; Freese, Silvia ; Diraoui, Samar ; Jonas, Ulrich
• Thermokinetic and Ballistic Property Studies of Azide‐Based Airbag Gas Generants with Dual Oxidizers (Sr (NO 3) 2 and KNO 3)
  Surendran Lathika, Aravind ; Sivapirakasam, Suthangathan Paramashivan ; Mohan, Sreejith ; Surianarayanan, Mahadevan
• Discovery of an Orally Active and Long‐Acting DPP‐IV Inhibitor through Property‐Based Optimization with an in Silico Biotransformation Prediction Tool
  Zeng, Shaogao ; Dou, Wenyuan ; Li, Manna ; Zhou, Yang ; Guo, Jiehuang ; Zhao, Nan ; Huang, Hong ; Zhou, Qiaoli ; Hu, Wenhui ; Ma, Yanfang ; Zhao, Xin ; Xie, Hui
• Property-based testing of web services by deriving properties from business-rule models
  Aichernig, Bernhard K. ; Schumi, Richard
• Specification testing of agent-based simulation using property-based testing
  Thaler, Jonathan ; Siebers, Peer-Olaf
• A compositional automata-based semantics and preserving transformation rules for testing property patterns
  Taha, Safouan ; Julliand, Jacques ; Dadeau, Frédéric ; Castillos, Kalou Cabrera ; Kanso, Bilal