# ksen007/janala2

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/ksen007-janala2).**

106 stars · 34 forks · Java · BSD-2-Clause

## Links

- GitHub: https://github.com/ksen007/janala2
- awesome-repositories: https://awesome-repositories.com/repository/ksen007-janala2.md

## Description

a concolic testing engine for Java

## Tags

### Part of an Awesome List

- [Formal Verification](https://awesome-repositories.com/f/awesome-lists/devtools/formal-verification.md) — Concolic unit testing engine.