Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing.
Christian ColomboMark MicallefMark ScerriPublished in: MBT (2014)
Keyphrases
- web applications
- business applications
- application development
- model based testing
- web services
- test cases
- information systems
- end users
- business processes
- data mining
- real world
- software testing
- mashup
- business process
- decision making
- business intelligence
- software systems
- source code
- model checking
- object oriented
- case study
- formal specification
- artificial intelligence
- data sets
- web application development