Skip to content
You must be logged in to sponsor sqaunderhood

Become a sponsor to Протестировал

@sqaunderhood

Протестировал

sqaunderhood

Hi, there

I’m a software engineer. I am passionate about software testing techniques and model checking. I'm building

  • luzer - a coverage-guided, native Lua fuzzer.
  • lua-c-api-tests - a set of fuzzing tests for C implementations of Lua runtime (PUC Rio Lua and LuaJIT). These tests already found about 15 bugs in Lua, LuaJIT and Tarantool (based on LuaJIT). These tests integrated with OSS Fuzz and ClusterFuzz and provide continuous testing of PUC Rio Lua and LuaJIT.
  • elle-cli - command-line frontend to transactional consistency checkers for black-box databases
  • unreliablefs - a FUSE-based fault injection filesystem.
  • molly - a framework for distributed system's verification, with fault injection.
  • semgrep-rules - semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.
@sqaunderhood

Reaching the goal allows me to produce new projects.

Meet the team

Learn more about sponsoring developers and organizations.

Report abuse

0% towards 100 monthly sponsors goal

Be the first to sponsor this goal!

Select a tier

$ a month

Choose a custom amount.

$5 a month

Select

Thanks for your sponsoring!