Skip to content
/ Tools / By gisum_user

Morse Reseach group

Home
Members
Projects
Publications
Activities
Tools
Morse Lab

TJT: Temporal Java Testing

TJT is a tool for testing real Java programs using temporal logic formulas (LTL).

Website
Post navigation
← Previous Post
Next Post →

Copyright © Morse Research Group - University of Málaga, 2025