jrgse.github.io/index.html at master · yuffon/jrgse.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
<!DOCTYPE html>
<html lang="en-us">
  <head>
    <meta charset="UTF-8">
    <title></title>
    <meta name="description" content="The demonstration of RGSE"/>
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <meta name="theme-color" content="#157878">
    <link href='https://fonts.googleapis.com/css?family=Open+Sans:400,700' rel='stylesheet' type='text/css'>
    <link rel="stylesheet" href="/demo/assets/css/style.css?v=1205e0c17776f1198789df6b89cbf2a85b9b26e9">
  </head>
  <body>
    <section class="page-header">
      <h1 class="project-name">RGSE</h1>
      <h2 class="project-tagline">The demonstration of RGSE</h2>


    </section>

    <section class="main-content">
      <h1 id="rgse">RGSE</h1>
<p><img src="https://raw.githubusercontent.com/srv4j/images/master/rgse.jpg" alt="rgse" /></p>

<p>RGSE is a regular property guided dynamic symbolic execution (DSE) engine for finding the program paths satisfying a regular property. The technique implemented by RGSE was presented in [1].</p>

<hr />

<ul>
  <li>
    <p><a href="Installation.html"><strong>Installation</strong></a></p>
  </li>
  <li>
    <p><a href="tutorial.html"><strong>Tutorial</strong></a></p>
  </li>
  <li>
    <p><a href="API.html"><strong>API Documentation</strong></a></p>
  </li>
  <li>
    <p><a href="https://1drv.ms/u/s!Amd07GCbYt_zbQZm2w2MBbXI6Zo"><strong>Docker Image</strong></a></p>
  </li>
  <li>
    <p><a href="dockerManual.html"><strong>Manual for the Docker Image</strong></a></p>
  </li>
  <li>
    <p><a href="https://github.com/jrgse/demo"><strong>Github Repo</strong></a></p>
  </li>
</ul>

<hr />

<h1 id="features"><strong>Features</strong></h1>

<ul>
  <li>
    <p><code class="highlighter-rouge">Good usability</code>: RGSE can analyze real-world open source Java programs with respect to not only single object but also multiple objects involved regular properties.</p>
  </li>
  <li>
    <p><code class="highlighter-rouge">Effectiveness and efficiency</code>: RGSE can effectively find the program paths satisfying a regular property as soon as possible.
  We applied RGSE to analyze 16 real-world open source Java programs against representative regular properties, compared with DFS
  mode and pure path slicing mode, RGSE achieves an average 179x and 130x time speedups, respectively.</p>
  </li>
  <li>
    <p><code class="highlighter-rouge">Extensive applications</code>: typestate bug finding, path-oriented test case generation, performance tuning, and so on.</p>
  </li>
</ul>

<hr />
<h1 id="contacts"><strong>Contacts</strong></h1>
<div class="highlighter-rouge"><pre class="highlight"><code>(1). Hengbiao Yu : hengbiaoyu@nudt.edu.cn
(2). Yufeng Zhang : yuffonzhang@163.com
(3). Zhenbang Chen : zbchen@nudt.edu.cn
</code></pre>
</div>

<hr />

<p>[1]. Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu. Regular Property Guided Dynamic Symbolic Execution, in 37th IEEE/ACM International Conference on Software Engineering (ICSE 2015), IEEE Press, pp: 643-653. (<a href="http://zbchen.github.io/Papers_files/icse2015.pdf">PDF</a>)</p>


      <footer class="site-footer">

          <span class="site-footer-owner"><a href="https://github.com/jrgse/demo">demo</a> is maintained by <a href="https://github.com/jrgse">jrgse</a>.</span>

        <span class="site-footer-credits">This page was generated by <a href="https://pages.github.com">GitHub Pages</a>.</span>
      </footer>
    </section>


  </body>
</html>