Static Analysis of Interaction Nets for Distributed Implementations.
Ian MackiePublished in: SAS (1997)
Keyphrases
- static analysis
- dynamic analysis
- source code
- distributed systems
- cooperative
- symbolic execution
- malicious code
- distributed environment
- abstract interpretation
- test generation
- multi agent
- regular expressions
- human computer interaction
- peer to peer
- java card
- user interaction
- test case generation
- test cases
- data model
- data sets