Integration of AFL (American Fuzzy Lop) with Lua programming language. Superseded by https://github.com/ligurio/luzer.

Unix ASCII games

command-line frontend to transactional consistency checkers for black-box databases

Set of fuzzing tests intended for testing standard C library

is a clock using time quotes from literature

Lua C API tests

Lua 5.1 C API manual pages

A coverage-guided, native Lua fuzzing engine.

Molly tests are tests based on Molly library.

Framework for distributed system's verification, with fault injection.

semgrep rules for flakiness, missed error handling and antipatterns.

My experiments and snippets

Formal specifications

My own notes (drafts mostly) about software quality

Основы программной инженерии (SWEBOK 2004 на русском) в EPUB и HTML

Guide to the Software Engineering Body of Knowledge Version 3 (SWEBOK)

Fuzzing Tarantool Lua API

is a tool to import test results into SQLite database

A FUSE-based fault injection filesystem.

Unnamed repository; edit this file 'description' to name the repository.