Login / Signup
Behaviour abstraction adequacy criteria for API call protocol testing.
Hernan Czemerinski
Víctor A. Braberman
Sebastián Uchitel
Published in:
Softw. Test. Verification Reliab. (2016)
Keyphrases
</>
high level
lightweight
source code
test cases
cryptographic protocols
evaluation criteria
formal analysis
tcp ip
application programming interface
database
test suite
selection criteria
formal verification
communication protocol