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: J. Grid Comput. (2018)
Keyphrases
- user interface
- software development
- model based testing
- software systems
- formal verification
- formal methods
- software tools
- software projects
- software components
- technical infrastructure
- process automation
- configuration management
- development process
- test cases
- digital libraries
- search engine
- model checking
- software evolution
- enterprise systems
- distributed systems
- software engineering
- object oriented
- hardware designs