PCLOS: Stress Testing CLOS Experiencing the Metaobject Protocol.

Andreas Paepcke

Published in: OOPSLA/ECOOP (1990)

Keyphrases

lightweight
test data
coloured petri nets
cryptographic protocols
genetic algorithm
formal verification
communication protocol
cooperative
test cases
petri net
security analysis
network protocols