Group: People Projects Publications Seminars Events Wiki Grants PhD studentships Themes: Concurrency Dependability and testing Distributed systems Memory management Mobile systems Projects: AQuest BlueJ C++CSP CHP Collaborative Testing CoSMoS CSProjects EPOCH GCspy Greenfoot GROK ImmuneFT ImmuneSensors JCSP jctld Juniper KRoC LACE LAHN MM-Net MobiComp NOCC Occam-pi on LEGO occlipse RMoX The Transterpreter Tock TUNA UK Mirror Service

Systems Architecture Research Group: Dependability and testing

Software dependability and testing

People:

David Barnes Faculty Rogerio de Lemos Faculty Tim Hopkins Faculty Adilson Lopes Visiting Researcher

Projects:

Selected publications:

• Immune-Inspired Adaptable Error Detection for Automated Teller Machines, R. de Lemos, J. Timmis, M. Ayara, S. Forrest. IEEE Transactions on Systems, Man, and Cybernetics Part C 37(5). September 2007. pp. 873-886.
• Improving test coverage of Lapack. David Barnes and Tim Hopkins. AAECC, 18(3):209-222, May 2007. (more details) KAR:14592
• Objects first with java - a practical introduction using bluej. David J. Barnes and Michael Kölling. Prentice Hall / Pearson Education, third edition, April 2006. (more details)
• 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 458-463. IEEE Computer Society Press, September 2005. (more details) download publication