Mutation Testing Repository

1	Songtao Zhang and Thomas R. Dean and G. Scott Knight Lightweight State Based Mutation Testing for Security Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007.
1	BibTeX \| Abstract \| URL
	Abstract: State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes usually means specifying the state space of the protocol in some manner. This paper introduces a novel method of using an existing client to explore the state space. The messages exchanged between the client and test system are captured and mutated. To send the mutated test messages, the previous messages must be resent. Constraints expressed in an extended version of the Semantic Constraint Language are used to automatically derive the data dependencies between the messages.
	@INPROCEEDINGS{ZhangDK07, author = {Songtao Zhang and Thomas R. Dean and G. Scott Knight}, title = {Lightweight State Based Mutation Testing for Security}, booktitle = {Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)}, year = {2007}, address = {Windsor, UK}, month = {10-14 September}, pages = {223-232} }