Abstract
T3i is a a Groovy 'front-end' for T3 to facilitate more powerful use of T3. T3i offers the following additional features. It facilitates interactive testing. It provides a convenient way to configure T3, including by specifying custom value/object generators. With the interactive mode, the user can experiment with different configurations to generate multiple suites, combine them, filter them, and combine them again. Then, we can query generated test suites for Hoare triples, LTL formulas, or algebraic formulas.
| Original language | English |
|---|---|
| Publication status | Published - 2014 |