1995/01/01 by Funda Ergün · 2 citations
Computer Science · #Complexity and Algorithms in Graphs #Cryptography and Data Security #Machine Learning and Algorithms
paper · pdf · doi:10.1145/225058.225167
openalex publication_date 1995/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29
Self-testing programs are an approach to the problem of program correctness [BLR90].