Home › Categories › Technology› Tool Description

Tool Description.pdf

KALI_doc.pdf

🔗 Source: github.com

📊 Size: 229 KB

📄 Pages: 2 pages

⬇️ Downloads: 420

Summary

KALI is a Java tool that generates test suites with desired combinatorial coverage using an SMT solver and multi-threading strategies to reduce test generation time. It can handle all models and tracks of the CT-Competition. The tool's architecture consists of a tuple generator, a shared buffer, and multiple test builder threads that consume tuples and build tests in parallel. The algorithm used by each thread to consume tuples and build tests is described in Algorithm 1. Experimental results on example benchmarks show that KALI can deal with all the benchmarks and produce test suites without timeouts.

Download File

Description

KALI is a Java tool that generates test suites with desired combinatorial coverage using an SMT solver and multi-threading strategies to reduce test generation...

Technical Information

File Format: PDF
File Size: 229 KB
Pages: 2
Language: EN
Total Downloads: 420
Last Updated: 3 weeks ago

Document Overview

This PDF document about tool description provides comprehensive information and guidance. Whether you're a beginner or advanced user, this resource offers valuable insights into tool description.