| SEG has a team working on Software Testing, espcially test case generation, model based testing, software testing automation, aspect-oriented modeling and testing, robust testing, immutability analysis and etc. Many papers have been published in related journals and international conferences, like The Computer Journal, APSEC, ICST, ICPC, HASE and etc. |
