SmartGift: Learning to Generate Practical Inputs for Testing Smart Contracts.
Teng ZhouKui LiuLi LiZhe LiuJacques KleinTegawendé F. BissyandéPublished in: ICSME (2021)
Keyphrases
- knowledge acquisition
- online learning
- incremental learning
- learning process
- supervised learning
- real world
- learning analytics
- inductive learning
- learning tasks
- learning systems
- support vector
- bayesian networks
- social networks
- learning algorithm
- information retrieval
- data sets
- automatically generate
- learning scheme
- inductive inference
- testing phase