Hierons, R.M.R.M.HieronsBogdanov, K.K.BogdanovBowen, J.P.J.P.BowenCleaveland, R.R.CleavelandDerrick, J.J.DerrickDick, J.J.DickGheorghe, M.M.GheorgheHarman, M.M.HarmanKapoor, K.K.KapoorKrause, P.P.KrauseLüttgen, G.G.LüttgenSimons, A.J.H.A.J.H.SimonsVilkomir, S.S.VilkomirWoodward, M.R.M.R.WoodwardZedan, H.H.Zedan2022-03-042022-03-042009https://publica.fraunhofer.de/handle/publica/22106010.1145/1459352.1459354Formal methods and testing are two important approaches that assist in the development of high-quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing.en004400journal article