umd-verification: Automation of Software Validation for the EGI federated e-Infrastructure.
Pablo Orviz FernándezJoão Murta PinaÁlvaro López GarcíaIsabel Campos PlasenciaMário DavidJorge GomesPublished in: CoRR (2018)
Keyphrases
- software systems
- software development
- computer systems
- software developers
- model based testing
- source code
- digital libraries
- software package
- model checking
- computing platform
- test data generation
- face verification
- formal methods
- information exchange
- federated databases
- computing infrastructure
- technical infrastructure
- software maintenance
- business applications
- embedded systems
- software components
- test cases
- building blocks
- software engineering
- data model
- user interface