Model-based Performance Testing of Web Services using Probabilistic Timed Automata.
Fredrik AbborsTanwir AhmadDragos TruscanIvan PorresPublished in: WEBIST (2013)
Keyphrases
- source code
- timed automata
- web services
- model checking
- reachability analysis
- data driven
- theorem prover
- service providers
- first order logic
- automatic discovery
- bayesian networks
- test cases
- theorem proving
- service oriented
- databases
- description language
- web service composition
- test data
- probabilistic model
- probabilistic reasoning
- generative model
- web applications
- web service discovery
- temporal logic
- information theoretic
- software testing
- data intensive
- loosely coupled
- probabilistic logic
- service architecture
- artificial intelligence
- data sets