Architectural styles and the design of network-based software architectures
Architectural styles and the design of network-based software architectures
Testing Data Consistency of Data-Intensive Applications Using QuickCheck
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalization and automated verification of RESTful behavior
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Generating test cases for web services using extended finite state machine
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
QuickCheck testing for fun and profit
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Towards property-based testing of RESTful web services
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang
Towards property-based testing of RESTful web services
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang
Hi-index | 0.00 |