Prut4j: Protocol Unit Testing fo(u)r Java.

Florian Joost Slob Sung-Shik Jongmans

Published in: ICST (2021)

Keyphrases

unit testing
test cases
software testing
integration testing
lightweight
black box
first order logic
tool suite
programming language
transitive closure
cryptographic protocols
web services
tcp ip
web applications
software systems
source code
user interface
cooperative