Rigorous Software Engineering @ TU Wien

Maria Christakis' research group at TU Wien

Pinned Repositories

dlsmith
A dependency-aware metamorphic-testing framework for Datalog engines
Language:Python20
greenbench
A greener fuzzer benchmarking platform
Language:Python7 3 10
minotaur
A constraint-based program generator for testing program analyzers
Language:SMT00
nomos
A specification language and framework for expressing and testing k-safety properties of machine-learning models
Language:Python40
olympia
A benchmarking platform for Solidity fuzzers
Language:Python10
sherlock
An interrogation-testing framework for testing program analyzers
Language:C00

Rigorous-Software-Engineering/greenbench
A greener fuzzer benchmarking platform
Language:Python7 3 10
Rigorous-Software-Engineering/nomos
A specification language and framework for expressing and testing k-safety properties of machine-learning models
Language:Python40
Rigorous-Software-Engineering/dlsmith
A dependency-aware metamorphic-testing framework for Datalog engines
Language:Python20
Rigorous-Software-Engineering/olympia
A benchmarking platform for Solidity fuzzers
Language:Python10
Rigorous-Software-Engineering/minotaur
A constraint-based program generator for testing program analyzers
Language:SMT00
Rigorous-Software-Engineering/sherlock
An interrogation-testing framework for testing program analyzers
Language:C00