TC4MT: A Specification-Driven Testing Framework for Model Transformations.
Thi-Hanh NguyenDuc-Hanh DangPublished in: Int. J. Softw. Eng. Knowl. Eng. (2023)
Keyphrases
- probabilistic model
- computational model
- conceptual model
- high level
- bayesian framework
- statistical model
- modeling framework
- prior knowledge
- formal model
- theoretical foundation
- unified model
- social networks
- mathematical model
- computational framework
- conceptual framework
- user model
- test data
- genetic algorithm
- test cases
- hidden markov models
- multi agent
- objective function
- artificial intelligence