Home » Publications » Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles

Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles

By in Publications on .

BibTexType = inproceedings
author = “Christian Murphy, Kuang Shen and Gail Kaiser”,
title = “Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles”,
bootktile = “Proc. of the Second IEEE International Conference on Software Testing, Verification and Validation (ICST)”,
pages = “436-445”,
month = “April”,
year = “2009”

Download this publication