ReSuMo: Regression Mutation Testing for Solidity Smart Contracts.
Morena BarboniFrancesco CasoniAndrea MorichettaAndrea PoliniPublished in: QUATIC (2022)
Keyphrases
- mutation testing
- test sequences
- test generation
- database applications
- regression model
- test suite
- supply chain
- test cases
- finite state machines
- regression problems
- support vector regression
- support vector
- data sets
- linear regression
- high quality
- regression analysis
- database systems
- artificial intelligence
- model selection
- data mining
- regression algorithm
- integration testing
- database
- databases