Anthony Simons has recently hosted following conference in Windsor:
TAIC PART conference: Dr Anthony Simons chaired the 5th Testing: Academic and Industrial Conference - Practice and Research Techniques, held at Cumberland Lodge in Windsor Great Park, from 3rd-5th September, 2010. Invited speakers included Prof. Sir Tony Hoare (Microsoft Research), Prof. Bertrand Meyer (ETH Switzerland) and Dr. Wolfgang Grieskamp (Microsoft). The conference brought together academics and industrialists engaged in software testing from all over the world.
(Pictures available at: http://www2010.taicpart.org/pictures.html)
Marian Gheorghe has been chair of the CMC11, 24-27 August, Jena, Germany. (link at http://cmc11.uni-jena.de)
Kirill Bogdanov and Neil Walkinshaw recently published following papers in Brazil and Italy:
N. Walkinshaw, K. Bogdanov, J. Derrick, J. Paris. “Increasing Functional Coverage by Inductive Testing: A Case Study”, Proceedings of the 22nd IFIP International Conference on Testing Software and Systems (ICTSS 2010). Natal, Brazil, November 2010, to appear.
N. Walkinshaw, K. Bogdanov, C. Damas, B. Lambeau, P. Dupont, “A Framework for the Competitive Evaluation of Model Inference Techniques”, In Proceedings of the International Workshop on Model Inference in Testing (MIIT 2010), Trento, Italy, July 2010.
Mathew Hall presented a paper at GECCO 2010, Portland USA, July 7th-11th. Details are below:
M. Hall, P. McMinn, N. Walkinshaw Superstate Identification for State Machines Using Search-Based Clustering. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2010)
(link at http://www.dcs.shef.ac.uk/~mathew/Personal_Site/Publications_files/gecco2010.pdf)
Salem Adra has presented a paper at the Mutation Testing Workshop, in Paris France. Details below:
S. F. Adra and P. McMinn, Mutation Operators for Agent-Based Models, in Proceedings of 5th International Workshop on Mutation Analysis (Mutation 2010), Paris, France, April 2010.
On 8th and 9th February, Georg Struth together with Mike Gordon, Tim Griffin and C A R Hoare will organise at Cambridge University an worksho on Theory Enginering: Tools and Practice
(link at http://www.cl.cam.ac.uk/~tgg22/TEng/)
Friday, 22nd January, Abraham Rodriguez Mota, has successfully passed his viva with minor corrections.
Monday, 19th October, Andrew Hughes, has successfully passed his viva with minor corrections.
