Challenging Formal Specifications by Mutation: a CSP security example

Authors:
Thitima Srivatanakul;John A. Clark;Susan Stepney;Fiona Polack
Affiliations:
-;-;-;-
Venue:
APSEC '03 Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference
Year:
2003

Citing 0
Cited 8

Test Case Generation by OCL Mutation and Constraint Solving

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Refinement and Test Case Generation in UTP

Electronic Notes in Theoretical Computer Science (ENTCS)
Testing for refinement in CSP

ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Proof process evaluation with mutation analysis

TAP'10 Proceedings of the 4th international conference on Tests and proofs
Testing techniques in software engineering

Testing techniques in software engineering
“Devices are people too” using process patterns to elicit security requirements in novel domains: a ubiquitous healthcare example

SPC'05 Proceedings of the Second international conference on Security in Pervasive Computing
From faults via test purposes to test cases: on the fault-based testing of concurrent systems

FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Semantic mutation testing

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

When formal modelling is done we must validate boththe model and the assumptions. Formal techniques tendto concentrate on the former. We examine how fault injection(specification mutation) and model checking can helpaddress the latter, in particular, the effects of failure. Wefind that, in contrast with software testing, where they are aproblem, "equivalent mutants" are valuable for specificationvalidation.