• GreenBench: A green fuzzer-benchmarking platform
  • Nomos: A specification language and framework for expressing and testing k-safety properties of machine-learning models
  • DLSmith: A dependency-aware metamorphic-testing framework for Datalog engines
  • π-fuzz: A metamorphic-testing framework for action policies
  • SmartACE: A compositional verifier for smart contracts (artifact)
  • queryFuzz: A metamorphic-testing framework for Datalog engines
  • Neuro-aware program analyzer: A static analyzer for verifying system properties of programs invoking neural networks
  • tAIlor: A framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints (artifact)
  • Blossom: A two-phase framework combining dynamic and static analyses for conditional floating-point verification
  • Task synthesizer for block-based programming: A synthesis framework for generating new visual programming tasks along with their solution codes that are conceptually similar but visually dissimilar to an input task
  • LIBRA: A static-analysis framework for certifying fairness of deep neural networks (artifact)
  • STORM: A blackbox mutational fuzzer for SMT solvers
  • DeepSearch: A blackbox attack for deep neural networks
  • bran: A static-analysis framework for EVM bytecode
  • α-Diff: A framework for differentially testing soundness and precision of program analyzers

TU Wien
Univ. Prof. Dr. Maria Christakis
Favoritenstraße 9 / E194-01
Office HC0201
1040 Wien
+43 1 58801-194102