© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Unit Testing in BlueJ
Michael Kolling
Technical Report 2004, No 1, ISSN No 1601-4219, The Maersk Mc-Kinney Moller Institute for Production Technology, University of Southern Denmark, July 2004. Download publication 262 kbytes (PDF)Bibtex Record
@techreport{2170,
author = {Michael Kolling},
title = {{U}nit {T}esting in {B}lue{J}},
month = {July},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/2170},
publication_type = {techreport},
submission_id = {4732_1116941948},
institution = {The Maersk Mc-Kinney Moller Institute for Production Technology, University of Southern Denmark},
type = {Technical Report},
number = {2004, No 1, ISSN No 1601-4219},
}