„Random testing“

Suchergebnisse

764 Treffer

• Correlation Detection in Trees for Planted Graph Alignment
  Ganassali, Luca ; Massoulié, Laurent ; Lelarge, Marc 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automated Random Testing of Numerical Constrained Types
  Ziat, Ghiles ; Dien, Matthieu ; Botbol, Vincent 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Robustly Self-Ordered Graphs: Constructions and Applications to Property Testing
  Goldreich, Oded ; Wigderson, Avi 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Algorithmic Improvisation for Dependable Intelligent Autonomy (Invited Talk)
  Seshia, Sanjit A. 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Testable Properties in General Graphs and Random Order Streaming
  Czumaj, Artur ; Fichtenberger, Hendrik ; Peng, Pan ; Sohler, Christian 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Polynomial Identity Testing for Low Degree Polynomials with Optimal Randomness
  Bläser, Markus ; Pandey, Anurag 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Randomized Polynomial-Time Equivalence Between Determinant and Trace-IMM Equivalence Tests
  Murthy, Janaky ; Nair, Vineet ; Saha, Chandan 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Algebraic Hardness Versus Randomness in Low Characteristic
  Andrews, Robert 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Property Testing of LP-Type Problems
  Epstein, Rogers ; Silwal, Sandeep 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Putting Randomized Compiler Testing into Production (Experience Report)
  Donaldson, Alastair F. ; Evrard, Hugues ; Thomson, Paul 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Optimal Randomized Group Testing Algorithm to Determine the Number of Defectives
  Bshouty, Nader H. ; Haddad-Zaknoon, Catherine A. ; Boulos, Raghd ; Moalem, Foad ; Nada, Jalal ; Noufi, Elias ; Zaknoon, Yara 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Robustly Self-Ordered Graphs: Constructions and Applications to Property Testing
  Goldreich, Oded ; Wigderson, Avi
• Hard Properties with (Very) Short PCPPs and Their Applications
  Ben-Eliezer, Omri ; Fischer, Eldar ; Levi, Amit ; Rothblum, Ron D. 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Efficient Black-Box Identity Testing for Free Group Algebras
  Arvind, V. ; Chatterjee, Abhranil ; Datta, Rajit ; Mukhopadhyay, Partha 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Unconstraining Graph-Constrained Group Testing
  Spang, Bruce ; Wootters, Mary 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Random Testing for Distributed Systems with Theoretical Guarantees (Invited Paper)
  Majumdar, Rupak 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hardness vs Randomness for Bounded Depth Arithmetic Circuits
  Chou, Chi-Ning ; Kumar, Mrinal ; Solomon, Noam 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Testable Bounded Degree Graph Properties Are Random Order Streamable
  Monemizadeh, Morteza ; Muthukrishnan, S. ; Peng, Pan ; Sohler, Christian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Power and Limitations of Uniform Samples in Testing Properties of Figures
  Berman, Piotr ; Murzabulatov, Meiram ; Raskhodnikova, Sofya 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Erasure-Resilient Property Testing
  Dixit, Kashyap ; Raskhodnikova, Sofya ; Thakurta, Abhradeep ; Varma, Nithin 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik