jasder
/
home
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update README.md

This commit is contained in:
TS 2021-09-21 23:00:46 +08:00 committed by GitHub
parent c727bed639
commit 2f0452d24e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
README.md
View File

@ -878,7 +878,7 @@ By leveraging the results, one can inspect the detailed coverage report generate
Themis can also benefit other research (e.g., fault localization, program repair, etc.)
## Main maintainers
## Main maintainers/contributors
[Ting Su](https://tingsu.github.io/), East China Normal University, China
@ -886,9 +886,6 @@ Themis can also benefit other research (e.g., fault localization, program repair
[Zhendong Su](https://people.inf.ethz.ch/suz/), ETH Zurich, Switzerland
We welcome any feedback or questions on Themis. Free feel to share your ideas, open issues or pull requests. We are actively maintaining Themis
to benefit our community.
We appreciate the contributions from:
- Enze Ma, Beijing Forestry University, China
@ -896,3 +893,6 @@ We appreciate the contributions from:
- Weigang He, East China Normal University, China
- Shan Huang, East China Normal University, China
We welcome any feedback or questions on Themis. Free feel to share your ideas, open issues or pull requests. We are actively maintaining Themis
to benefit our community.