Formal Methods and Testing Network (FORTEST) - Who's Who
Name: Adamopoulos Konstantinos Position: PhD Student Brunel University Keywords: Mutation Testing Meta-heuristics Software Testing Web Link: www.brunel.ac.uk/~cspgkva Email Address: konstantinos.adamopoulos@brunel.ac.uk Date added: 19:51 GMT 17/May/2004
Name: Adekanmi Yinka Position: Software Engineer Keywords: Automated Web Testing and Data Migration Email Address: yadekanmi@onebox.com Date added: 9:58 GMT 27/March/2002
Name: Aichernig Bernhard K Position: Research Fellow - UNUIIST Keywords: Testing and formal refinement techniques Web Link: www.iist.unu.edu/~bka/ Email Address: aichernig@iist.unu.edu Date added: 3:16 GMT 17/December/2002
Name: Avery Peter Position: Senior QA Test Analyst - ADP Ltd Keywords: Test process improvement formal test methods Email Address: peter.avery@adp-es.co.uk Date added: 7:42 GMT 27/March/2002
Name: Bartlett Bob Position: Managing Director SIM Group Ltd Keywords: test process improvement and metrics Web Link: www.simgroup.com Email Address: bob.bartlett@simgroup.com Date added: 10:24 GMT 15/January/2003
Name: Beydeda Sami Position: Research Associate Keywords: Self-Testing COTS Components STECC Method Web Link: www.stecc.de Email Address: sb@stecc.de Date added: 22:07 GMT 16/November/2003
Name: Bogdanov Kirill Position: Lecturer Keywords: Software testing using formal methods X-machines statecharts Web Link: www.dcs.shef.ac.uk/~kirill Email Address: K.Bogdanov@dcs.shef.ac.uk Date added: 15:56 GMT 18/April/2002
Name: Bowen Jonathan Position: Professor of Computing Keywords: Z notation safety-critical systems Web Link: www.jpbowen.com Email Address: jonathan.bowen@lsbu.ac.uk Date added: 11:19 GMT 30/March/2002
Name: Clark John Position: Senior Lecturer in Critical Systems Keywords: Safety security automated testing from code and specs and evolutionary testing Web Link: www.cs.york.ac.uk/~jac Email Address: jac@cs.york.ac.uk Date added: 21:36 GMT 26/March/2002
Name: Corrales Delgado Carlo Jose Luis Position: Fellow UNUIIST Keywords: Mutation Testing Conformance Testing Process Algebra Web Link: www.iist.unu.edu/~carlo Email Address: carlocorrales@universia.edu.pe Date added: 3:10 GMT 3/March/2004
Name: Cowling Tony Position: Senior Lecturer Keywords: X-machine models testing distributed systems Web Link: www.dcs.shef.ac.uk/~ajc/ Email Address: A.Cowling@dcs.shef.ac.uk Date added: 18:20 GMT 17/April/2002
Name: Craggs Ian Position: Software Engineer - IBM Keywords: Z CSP Gotcha UML Grammars verification vs white box testing vs black box testing Web Link: www.agedis.de Email Address: icraggs@uk.ibm.com Date added: 12:08 GMT 11/June/2002
Name: Derrick John Position: Reader in Formal Methods Keywords: State-based testing Z refinement Web Link: www.cs.ukc.ac.uk/people/staff/jd1/ Email Address: J.Derrick@ukc.ac.uk Date added: 10:52 GMT 27/March/2002
Name: El-Maddah Islam Position: PhD StudentResearcher Keywords: Goal-Oriented Requirements analysis Formal Methods B Reactive Systems Validation testing and validating Requirements Web Link: www.dcs.kcl.ac.uk/pg/elmaddah Email Address: elmaddah@dcs.kcl.ac.uk Date added: 10:51 GMT 19/September/2003
Name: Evans Barry Position: Test Consultant Keywords: Test Development Proces Improvement Email Address: bdehome@lineone.net Date added: 10:14 GMT 27/March/2002
Name: Evans Isabel Position: Independent consultantpractitioner Keywords: Software testing quality process standards Web Link: www.ietesting.co.uk Email Address: isabel@ietesting.co.uk Date added: 11:27 GMT 5/April/2002
Name: Gelperin David Position: CTO LiveSpecs Software Keywords: model-based test design model-based requirements Email Address: david@livespecs.com Date added: 19:23 GMT 26/March/2002
Name: Gilchrist Ian Position: Consultant Keywords: Software testing esp at unitintegration levels Email Address: ian.gilchrist@iplbath.com Date added: 9:51 GMT 20/December/2002
Name: Grieskamp Wolfgang Position: Research Software Design Engineer Keywords: Software testing using abstract state machines AsmL Abstract State Machine Language Executable Z Web Link: research.microsoft.com/users/wrwg Email Address: wrwg@microsoft.com Date added: 22:33 GMT 17/November/2002
Name: Harman Mark Position: Lecturer Keywords: Slicing transformation testing search-based software engineering Web Link: www.brunel.ac.uk/~csstmmh2 Email Address: Mark.Harman@brunel.ac.uk Date added: 16:51 GMT 25/March/2002
Name: Harrison Keith Position: Safety Consultant Keywords: Safety and Software Testing Web Link: www.praxis-cs.co.uk Email Address: keith.harrison@praxis-cs.co.uk Date added: 10:17 GMT 27/March/2002
Name: Kuhn Rick Position: computer scientist NIST Keywords: security specification based testing Web Link: csrc.nist.gov/staff/kuhn/rkhome.html Email Address: kuhn@nist.gov Date added: 20:48 GMT 1/November/2002
Name: LI Weihong Position: phD Keywords: FSMstatecharts testing Email Address: Liwh@fudan.edu.cn Date added: 3:42 GMT 17/October/2002
Name: Lau MF Position: Lecturer Keywords: Black box testing fault based testing formal methods specification based testing Web Link: www.it.swin.edu.au/staff/elau Email Address: elau@it.swin.edu.au Date added: 2:35 GMT 20/January/2003
Name: Machado Patricia Position: Associate Professor Keywords: test case and test oracle generation from algebraic specications and from UMLOCL models Web Link: www.dsc.ufcg.edu.br/~patricia Email Address: patricia@dsc.ufcg.edu.br Date added: 21:25 GMT 1/July/2003
Name: Mander Keith Position: Professor of Computer Science Keywords: Specifications evolutionary testing Email Address: K.C.Mander@ukc.ac.uk Date added: 12:11 GMT 12/April/2002
Name: McMinn Phil Position: PhD student University of Sheffield Keywords: State-based and search-based software testing Web Link: www.dcs.shef.ac.uk/~phil/ Email Address: phil@dcs.shef.ac.uk Date added: 10:56 GMT 27/March/2002
Name: Miao li Position: phD Keywords: Software testing using formal methods Email Address: miaoli2000@163.com Date added: 4:01 GMT 16/June/2003
Name: Mitchell Bill Position: Lecturer University of Surrey Keywords: Requirements Scenarios Message Sequence Charts Automated Concurrent Test Generation Email Address: w.mitchell@surrey.ac.uk Date added: 10:24 GMT 28/July/2003
Name: Nadaf Ramzan Position: Research Specialist Keywords: Specification based Testing Email Address: ramzan.nadaf@philips.com Date added: 4:00 GMT 6/December/2004
Name: Poppleton Mike Position: Lecturer Keywords: refinement requirements verification retrenchment Web Link: www.ecs.soton.ac.uk/~mrp Email Address: mrp@ecs.soton.ac.uk Date added: 11:26 GMT 17/October/2003
Name: Pudipeddi Harinath Position: Sr Test Engineer Keywords: Manual Testing Test Strategies Web Link: www.sqae.com Email Address: harinath@sqae.com Date added: 12:19 GMT 20/October/2003
Name: Richardson Alan Position: Independent Software Testing Consultant Keywords: Model Based Testing Web Link: www.compendiumdev.co.uk Email Address: alan@compendiumdev.co.uk Date added: 16:28 GMT 23/July/2003
Name: Robinson-Mallett Christopher Position: Research Assistant Keywords: Realtime Object-Oriented Modeling module testing state-based testing Email Address: mallett@hpi.uni-potsdam.de Date added: 10:07 GMT 3/December/2003
Name: Robinson-Mallett Christopher Position: Research Assistant Keywords: Realtime Object-Oriented Modeling module testing state-based testing Email Address: mallett@hpi.uni-potsdam.de Date added: 10:07 GMT 3/December/2003
Name: Salahuddin Sarah Position: Senior QA Engineer Keywords: Software Testing Software Process Models Email Address: ssalahuddin@arcsolutions.com Date added: 8:11 GMT 4/May/2004
Name: Shen Jian Position: Master student Keywords: testability test adequacy reliability assessment of WEB application Email Address: jshen@cs.concordia.ca Date added: 20:47 GMT 17/October/2002
Name: Shi Xiaochun Keywords: model checking concurrent systemgenetic algorithms Email Address: sxch@ios.ac.cn Date added: 7:07 GMT 9/May/2003
Name: Simons Anthony Position: Senior Lecturer Keywords: Object-oriented Testing Type Theory Language Design and Development Methods Web Link: www.dcs.shef.ac.uk/~ajhs/ Email Address: a.simons@dcs.shef.ac.uk Date added: 9:20 GMT 17/April/2002
Name: Tretmans Jan Position: assoc prof Keywords: test automation using formal methods Web Link: www.cs.kun.nl/~tretmans Email Address: tretmans@cs.kun.nl Date added: 13:22 GMT 10/December/2002
Name: Tuya Javier Position: Associate Professor Keywords: Testing of Database Applications and Search-Based Testing Web Link: www.di.uniovi.es/~tuya/ Email Address: tuya@uniovi.es Date added: 19:38 GMT 20/November/2004
Name: Utting Mark Position: Senior Lecturer Keywords: Automated test generation from Z and B ZB-TT Project Web Link: www.cs.waikato.ac.nz/~marku Email Address: marku@cs.waikato.ac.nz Date added: 14:33 GMT 3/December/2002
Name: Vilkomir Sergiy Position: Research Fellow Keywords: Z notation RCDC criterion Web Link: www.lsbu.ac.uk/~vilkoms Email Address: vilkoms@lsbu.ac.uk Date added: 12:39 GMT 8/April/2002
Name: Vos Tanja Position: researcher Keywords: software testing formal methods Web Link: www.iti.upv.es/~tanja Email Address: tanja@iti.upv.es Date added: 9:13 GMT 3/January/2003
Name: Williams Christopher Position: Test Analyst Keywords: Software Testing Email Address: cpwilliams@lineone.net Date added: 14:46 GMT 28/February/2004
Name: Woodcock Jim Position: Professor of Software Engineering Keywords: Z CSP model-based testing Web Link: www.cs.ukc.ac.uk Email Address: J.C.P.Woodcock@ukc.ac.uk Date added: 8:10 GMT 12/April/2002
Name: Woodward Martin Position: Senior Lecturer Keywords: Algebraic specifications and testing Web Link: www.csc.liv.ac.uk/~mrw Email Address: m.r.woodward@csc.liv.ac.uk Date added: 15:52 GMT 27/March/2002
