dirkriehle / adap-course

Related projects: ⓘ

• gousiosg / AegeanC
  The Aegean C compiler
  ☆9Updated 7 years ago
• dspinellis / alexandria3k
  Local relational access to openly-available publication data sets
  ☆81Updated 2 months ago
• se-sic / cppstats
  toolsuite for analyzing cpp-preprocessor-based software product lines
  ☆11Updated last year
• boalang / compiler
  The Boa language reference compiler.
  ☆33Updated 6 months ago
• lemire / talks
  Random material having to do with Daniel Lemire's talks
  ☆20Updated 4 months ago
• ASSERT-KTH / software-engineering-research
  Research material about software engineering at KTH
  ☆18Updated last month
• KWillets / range_generator
  Some variations on Lemire's Fast Random Integer Generation in an Interval
  ☆15Updated 4 years ago
• usethesource / clair
  C Language Analysis in Rascal
  ☆24Updated 3 weeks ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 2 months ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 2 years ago
• dspinellis / rdbunit
  Unit testing for SQL queries
  ☆23Updated last month
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆12Updated 6 years ago
• Programming-Systems-Lab / vmvm
  VMVM: Unit Test Virtualization for Java
  ☆25Updated 2 years ago
• tushartushar / theGreekLegacy
  The Greek Legacy
  ☆14Updated 4 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆18Updated 3 years ago
• SpoonLabs / coming
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…
  ☆92Updated 3 months ago
• UT-SE-Research / iDFlakies
  ☆29Updated 2 months ago
• STAMP-project / dspot
  Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
  ☆114Updated last month
• eclipse-cognicrypt / CogniCrypt
  CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.
  ☆61Updated 9 months ago
• STAMP-project / botsing
  Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
  ☆32Updated last year
• dspinellis / cqmetrics
  C Quality Metrics
  ☆63Updated 2 years ago
• ASSERT-KTH / pankti
  Generating tests from production workloads http://arxiv.org/pdf/2012.01198
  ☆15Updated 2 months ago
• MichaelPaddon / epsilon
  epsilon is a scanner generator
  ☆21Updated 2 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆47Updated this week
• nimble-code / Uno
  simple static source code analysis tool for C code, with user-definable properties
  ☆25Updated 2 months ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆14Updated 5 years ago
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆33Updated 7 months ago
• lemire / backward_multiplication
  Multiplying... backward?
  ☆12Updated 4 years ago
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆41Updated this week
• benchflow / benchflow
  An open-source expert system for automated end-to-end objective-driven performance testing and performance insights.
  ☆25Updated last month