Software Testing Courses
ACM SIGPLAN via YouTube Benchmarks for Multiparty Session Types - ST30
ACM SIGPLAN via YouTube Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
ACM SIGPLAN via YouTube Formal Specification and Testing for Reinforcement Learning
ACM SIGPLAN via YouTube Etna: An Evaluation Platform for Property-Based Testing - Experience Report
ACM SIGPLAN via YouTube Generation and Refinement of Testing Models - Erlang 2023
ACM SIGPLAN via YouTube Competitive Debugging: Toward Contests Promoting Debugging as a Skill
ACM SIGPLAN via YouTube ValBench: Benchmarking Exact Value Analysis
ACM SIGPLAN via YouTube Bringing the WebAssembly Standard up to Speed with SpecTec
ACM SIGPLAN via YouTube Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding
ACM SIGPLAN via YouTube