Research output: Non-textual formSoftwareOther research output


    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 languageEnglish
    Publication statusPublished - 2014


    Dive into the research topics of 'T3i'. Together they form a unique fingerprint.

    Cite this