Automated Generation of Test Cases for Smart Contract Security Analyzers.
Ki Byung KimJongHyup LeePublished in: IEEE Access (2020)
Keyphrases
- test cases
- test data
- software testing
- regression testing
- smart grid
- test case generation
- test sequences
- test generation
- information security
- test suite
- test data generation
- black box
- test case selection
- number of test cases
- test set
- access control
- set of test cases
- intrusion detection
- object oriented
- security policies
- testing process
- network security
- model based testing
- case study
- test suite reduction
- data sets
- quality assurance
- sequence diagrams
- feature extraction
- covering arrays