Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts.

Mohamed Amin Hammami Mariam Lahami

Published in: MEDI (2023)

Keyphrases

model based testing
test cases
software development
software design
supply chain
testing process
software testing
security policies
sequence diagrams
test data
test generation
learning algorithm
test sequences
regression testing
object oriented
information technology
case study