Specification Based Conformance Testing for Email Protocols.
Nikolay V. PakulinAnastasia TugaenkoPublished in: ISoLA (2) (2010)
Keyphrases
- protocol specification
- communication protocols
- test case generation
- spam filtering
- formal verification
- enron email
- test cases
- email messages
- formal specification
- anti spam
- electronic mail
- text mining
- specification language
- software testing
- high level
- instant messaging
- email communication
- communication tools
- spam detection
- mailing lists
- test suite
- communication medium