School of Computing

Interactive visualisation and testing of jini services

Bruce Quig, Michael K�lling, John Rosenberg, and Phillip Steele

In Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), Melbourne, Australia, pages 182-196. IEEE Computer Society Press, September 2005. Download publication 669 kbytes (PDF)

Bibtex Record

@inproceedings{2325,
author = {Bruce Quig and Michael K�lling and John Rosenberg and Phillip Steele},
title = {Interactive Visualisation and Testing of Jini Services},
month = {September},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2325},
    publication_type = {inproceedings},
    submission_id = {21912_1134656079},
    booktitle = {Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), Melbourne, Australia},
    publisher = {IEEE Computer Society Press},
    refereed = {yes},
    ISBN = {0-7695-2472-9},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014