From data mining to user models in evolutionary databases
ACIIDS'10 Proceedings of the Second international conference on Intelligent information and database systems: Part I
Passive testing of web services
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Hi-index | 0.00 |
Static analysis works well at checking defects that clearly map to source code constructs. Model checking can find defects of deadlocks and routing loops that are not easily detected by static analysis, but faces the problem of state explosion. This ...