update

README.md

@@ -8,15 +8,14 @@ In this work, we propose JavaTailor, a history-driven test program synthesis tec
 
 The overview of JavaTailor is shown below, which consists of two main phase: the Synthesis Phase and the Execution Phase. The input of JavaTailor is historical test programs and seed programs.  The output is the difference report of JVMs behaviors and the corresponding synthesized program that expose these differences.
 
-
-![01-overview](./png/01-overview.png)
+<img src="./png/01-overview.png" alt="01-overview" style="zoom:100%;" align="center" />
 <p align="center">Figure 1: Overview of JavaTailor</p>
 
 Experimental results on popular JVM implementations (i.e., HotSpot and OpenJ9) show that JavaTailor outperforms the state-of-the-art technique in generating more diverse and effective test programs, e.g., test programs generated by JavaTailor can achieve higher JVM code coverage and detect many more unique inconsistencies than the state-of-the-art technique. 
 
 For example, Figure 2 shows the coverage comparison results, where the gray lines present the coverage achieved by the seed programs, and the green and yellow lines present the coverage achieved by JavaTailor and classming on the basis of the seed programs respectively.
 
-![05-compare](./png/05-compare.png)
+<img src="./png/05-compare.png" alt="05-compare" style="zoom:100%;" align="center"/>
 <p align="center">Figure 2: JVM code coverage comparison</p>