Discover projects, groups and snippets. Share your projects with others
Automated Gui Guidelines Testing
ANaConDA framework bundled with several built-in analysers.
This bachelor thesis deals with the investigation of amplitude and phase frequency responses of linear electrical circuits. It compares classical methods of investigation using a symbolic-complex method with investigation using dierential e
Editor and Solver of Cause-Effect-Graphs
Control Flow Graph Query Engine. Algorithms and data structures (API) for queries manipulating CFG (such as building CFG during compilation, CFG traversal, node/edge metadata manipulation).
Coverage-based Paths Generator (model-based testing)
combine: tool for generating a covering array for T-wise combinatorial testing