Header picture

I am a Senior Research Associate in the CREST, Department of Computer Science at University College London. I am working on the DASSE project. My research interests are in Mutation Testing, SBSE, Clone detection, Mining Mobile App Store and Genetic Improvement. I am also managing the programme for CREST Open Workshop.


Recent Activities

Matthew Patrick and Yue Jia
Kernel Density Adaptive Random Testing
The 10th International Workshop on Mutation Analysis (Mutation 2015), To appear

Jay Nanavati, Fan Wu, Mark Harman, Yue Jia and Jens Krinke
Mutation Testing of Memory-Related Operators
The 10th International Workshop on Mutation Analysis (Mutation 2015), To appear

Yue Jia
Hyperheuristic Search for SBST (Position Paper)
8th International Workshop on Search-Based Software Testing (SBST) 2015, To appear

Yue Jia, Myra Cohen, Mark Harman, Justyna Petke
Learning Combinatorial Interaction Test Generation Strategies using Hyperheuristic Search
The 37th International Conference on Software Engineering (ICSE'15) To appear

Mike Papadakis, Yue Jia, Mark Harman and Yves Le Traon
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple Fast and Effective Equivalent Mutant Detection Technique
The 37th International Conference on Software Engineering (ICSE'15) To appear


Publications

Refereed Journal Articles


Yue Jia and Mark Harman
An Anlysis and Survey of the Development of Mutation Testing
IEEE Transactions on Software Engineering, vol. 37 no. 5, pp. 649 – 678, September 2011.

Bill Langdon, Mark Harman and Yue Jia
Efficient Multi Objective Higher Order Mutation Testing with Genetic Programming
Journal of Systems and Software, 2410--2430, 83(12), December,2010

Yue Jia and Mark Harman
Higher Order Mutation Testing
Journal of Information and Software technology, 1379-1393, 51(10), October 2009

Conferences and Workshops


Matthew Patrick and Yue Jia
Kernel Density Adaptive Random Testing
The 10th International Workshop on Mutation Analysis (Mutation 2015), To appear

Jay Nanavati, Fan Wu, Mark Harman, Yue Jia and Jens Krinke
Mutation Testing of Memory-Related Operators
The 10th International Workshop on Mutation Analysis (Mutation 2015), To appear

Yue Jia
Hyperheuristic Search for SBST (Position Paper)
8th International Workshop on Search-Based Software Testing (SBST) 2015, To appear

Yue Jia, Myra Cohen, Mark Harman, Justyna Petke
Learning Combinatorial Interaction Test Generation Strategies using Hyperheuristic Search
The 37th International Conference on Software Engineering (ICSE'15) To appear

Mike Papadakis, Yue Jia, Mark Harman and Yves Le Traon
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple Fast and Effective Equivalent Mutant Detection Technique
The 37th International Conference on Software Engineering (ICSE'15) To appear

Mark Harman, Yue Jia, Pedro Reales Mateo and Macario Polo
Angels and Monsters: An Empirical Investigation of Potential Test Effectiveness and Efficiency Improvement from Strongly Subsuming Higher Order Mutation
29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), September 15 - 19, 2014, Västerås, Sweden

Xiangjuan Yao, Mark Harman and Yue Jia.
A Study of Equivalent and Stubborn Mutation Operators using Human Analysis of Equivalence.
36th International Conference on Software Engineering (ICSE 2014). Hyderabad, India, 31st May - 7th June , 2014. Pages 919-930.

Mark Harman, Bill Langdon, and Yue Jia.
Babel Pidgin: SBSE can grow and graft entirely new functionality into a real world system
Symposium on Search-Based Software Engineering SSBSE 2014. (Challenge track)

Mark Harman, Syed Islam, Yue Jia, Leandro Minku, Federica Sarro and Komsan Srivisut.
Less is more: Temporal fault predictive performance over multiple Hadoop releases
Symposium on Search-Based Software Engineering SSBSE 2014.
(Challenge track)

Mark Harman, Yue Jia, Bill Langdon, Justyna Petke, Iman Maghadam, Shin Yoo and Fan Wu
Genetic Improvement for Adaptive Software Engineering (keynote paper)
9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '14) Hyderabad, India, June 2nd- 3rd, 2014.

Tiantian Wang, Mark Harman, Yue Jia and Jens Krinke
A Rigorous Approach to Clone Evaluation
The 21th ACM SIGSOFT symposium and the 15th European conference on Foundations of software engineering (ESEC/FSE ’13), Saint Peterburg, Russia, 18-26 August 2013

Mark Harman, Bill Langdon, Yue Jia David White, Andrea Arcuri, and John Clark
The GISMOE challenge: Constructing the Pareto Program Surface Using Genetic Programming to Find Better Programs (keynote paper)
27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012) Essen, Germany, September 3rd-7th, 2012. pp. 1-14

Mark Harman, Yue Jia and Yuanyuan Zhang
App store mining and analysis: MSR for app stores (short paper)
2012 9th IEEE Working Conference on Mining Software Repositories (MSR'12), Zurich, Switzerland, 2-3 June, Zurich, Switzerland, 2012, pp. 108-111

Paolo Tonella, Alessandro Marchetto, Cu D. Nguyen, Yue Jia, Kiran Lakhotia and Mark Harman
Finding the optimal balance between over and under approximation of models inferred from execution logs
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST'12), Montreal, Canada, 17-21 April, 2012, pp. 21-30

Mark Harman, Yue Jia and William Langdon
Strong higher order mutation based test data generation
The 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering (ESEC/FSE ’11), Szeged, Hungary, 05-09 September 2011, pp. 212–222.

Mark Harman, Yue Jia and William B. Langdon
A Manifesto for Higher Order Mutation Testing
The 5th International Workshop on Mutation Analysis MUTATION'10, Paris, France, 6th April 2010.

Jens Krinke, Nicolas Gold, Yue Jia and Dave Binkley
Cloning and Copying between GNOME Projects
The 7th IEEE Working Conference on Mining Software Repositories MSR'10, Cape Town, South Africa, 2nd-3rd May 2010.

Jens Krinke, Nicolas Gold, Yue Jia and Dave Binkley
Distinguishing Copies from Originals in Software Clones
The 4th International Workshop on Software Clones IWSC'10, Cape Town, South Africa, 8th May 2010.

Bill W. Langdon, Mark Harman and Jia Yue
Multi Objective Mutation Testing with Genetic Programming
Testing: Academic and Industrial Conference - Practice and Research Techniques 2009 TAIC PART'09, Winsor, UK, 4th-6th September 2009.

Yue Jia, Dave Binkley, Mark Harman, Jens Krinke and Makoto Matsushita
KClone: A Proposed Approach to Fast Precise Code Clone Detection
The 3rd International Workshop on Software Clones IWSC'09, Kaiserslautern, Germany, 24th March 2009.

Yue Jia and Mark Harman
Milu: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language
The 3rd Testing Academia and Industry Conference - Practice and Research Techniques TAIC PART'08, Windsor, UK, 29th-31st August 2008.

Yue Jia and Mark Harman
Constructing Subtle Faults Using Higher Order Mutation Testing
The 8th International Working Conference on Source Code Analysis and Manipulation SCAM'08, Beijing, China, 28th-29th September 2008.

Thesis


MSc in advance software engineering, supervised by Prof. Mark Harman @ KCL.
Clone Detection Using Dependence Analysis and Lexical Analysis

PhD in computing, supervised by Prof. Mark Harman @ UCL.
Higher Order Mutation Testing

Grants

  • Microsoft Azure Grant ($40,000) for research in Higher Order Mutation Testing.

Awards

  • The "Babel Pigin" work won the best paper award at SSBSE Challenge 2014.
  • The paper "Cloning and Copying between GNOME Projects" won the MSR 2010 Mining Challenge.
  • The paper "Constructing Subtle Faults Using Higher Order Mutation Testing" won the best paper award at SCAM'08.

Peer Esteem

  • ASE 2015: PC Member
  • GECCO 2015: PC Member
  • Mutation 2015: PC Member
  • ICST Tool Track 2015: PC Member
  • Mutation 2014: PC Member
  • ISSSE Summer School 2014: Invited Talk
  • CSSBSE 2013: Invited Talk
  • Mutation 2013: Program Co-Chair
  • Tarot Summer School 2012: Invited Talk
  • Mutation Special Issue 2012: Guest Editor
  • Mutation 2012: Program Co-Chair
  • GECCO SBSE Track 2012: PC Member
  • Mutation 2011: PC Member
  • ICST 2011: Publications Chair
  • Dagstuhl Evolutionary Test Generation Seminar 2008: Invited Talk

Research & Art

Evo-Bentham (Joint work with Bill Langdon, Mark Harman and Yuanyuan Zhang, submitted to UCL Research Images Competition 2014)

Evo Bentham

Description: This picture shows seven portrayals of Jeremy Bentham, constructed using transparent polygons by Genetic Programming. Genetic Programming is an evolutionary approach that is applied to evolve computer programs, guided by the principles of Darwinian evolution. Here we apply this approach to evolve pictures from a set of arbitrary polygons (many side shapes) with different colour and opacity. Our approach tries to simultaneously favour both of two conflicting objectives when deciding on the desirability or each picture: 1) Does it capture the essence of Jeremy Bentham?, which we measured as the difference in colours at each point in the picture; and 2) Is it artistically abstractionist?, which we measured as the number of polygons needed to draw the picture (the fewer the more abstract). We seek a trade-off between minimising the difference in colours (improving the likeness) and minimising the number of polygons (increasing the abstraction). Our portrayals have been selected from a so-called `Pareto' front, which contains solutions that trade off these two objectives. Whilst the leftmost portrayal only uses a single polygon (so it is maximally abstract), the rightmost portrayal uses 60 polygons (it is less abstract but also it is a closer likeness to Jeremy Bentham). Which portrayal do you prefer?

Software, like trees, grows and evolves, submitted to UCL Research Images Competition 2013)

GzipTree

Description: Software, like trees, grows and evolves all the time. Software architectures are typically visualised as directed graphs. Such representations are precise, but it is difficult to conceptualise the entire software in this way. This project introduces a new method for visualising software architectures in a more natural and realistic tree form. Here in this image, the popular compression software GZIP is compared at two stages of its development: version 1.2 (in 1993) and version 1.6 (in 2013). The trunk of the tree symbolises the main program function and the entry point for its execution. Each branch of the tree represents the instance at which a subroutine in the program is referenced and utilised. The new diagram provides an elegant way to discover how GZIP has grown over the past 20 years.

Teaching

Teaching 2015

  • Mutation Lecture for COMPGS03/M023: Validation & Verification

Past TA role

  • COMPGS01: Requirements Engineering and Software Architecture
  • COMP2010: Compilers
  • COMPGC03: Architecture and Hardware
  • COMP1010: Robotics Programming
  • COMPG04/M024: Tools and Environments
  • COMPGS99: MSc Software Systems Engineering Group Projects
  • COMPGS03/M023: Validation & Verification

Mutation Testing Repository

Mutation Testing is a fault–based software testing technique that has been widely studied for over three decades. The literature on mutation testing has contributed a set of approaches, tools and empirical studies. This repository aims to provide a full coverage of the publications in the literature on Mutation Testing.

Go to the repository

Tools and Data sets

  • EvaClone: A utility tool for finding suitable configurations for clone detection tool. Download
  • UCLAppA: A data set which has been used for our App Store Mining and Analysis project. Download
  • Milu: A mutation testing tool. Download

Contact

University College London,
Computer Science Dept.
Gower Street,
London
WC1E 6BT

Office: 4.17
Tel: +44 (0)20 7679 2031 (Direct Dial)
Internal: 32031
Fax: +44 (0)20 7387 1397
Email: yue dot jia at ucl.ac.uk


© Yue Jia 2014-2015. Website template by Dave Gamache