Differences

This shows you the differences between two versions of the page.

--- svmranker:tool [2020/11/20 14:10] – merlin
+++ svmranker:tool [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.1
@@ Line 1: / Line 1: @@
-{{:svmranker:main.png?nolink|}}**[[svmranker:main| Main ]]{{:svmranker:tool.png?nolink|}}[[svmranker:tool| Tool ]]{{:svmranker:usage.png?nolink|}}[[svmranker:usage| Usage & Case Study ]] **
-====== Tool ======
-===== SVMRanker is available on GitHub =====
-SVMRanker is now publicly available on GitHub at [[https://github.com/ESEC-FSE-2020-Tool-Demo-ID21/SVMRanker|this repository]].
-----
-===== Installation =====
-You should have installed Python 3 and Java Development Kit on your system. Currently we can successfully run SVMRanker with Python 3.7 and JDK 8.0.
-==== Install Python packages ====
-  pip3 install z3-prover
-  pip3 install click
-  pip3 install sklearn
-  pip3 install python-constraint
-----
-====== Related tools ======
-[[http://irankfinder.loopkiller.com:8081/#sec-home |IRankFinder]]: A termination analyzer for (integer) transition systems which uses quasi-ranking functions \\
-[[https://cpachecker.sosy-lab.org/|CPAChecker]]: A Software Verification Tool for Configurable Program Analyses \\
-[[https://monteverdi.informatik.uni-freiburg.de/tomcat/Website/?ui=tool&tool=lasso_ranker|LassoRanker]]:A tool for synthesizing termination and nontermination arguments for linear lasso programs via constraint solving,
-----
-====== Contact ======
-The SVMRanker is mainly developed by:
-  * [[https://iscasmc.ios.ac.cn/?page_id=1388|Xuechao Sun]] (Institute of Software, CAS)
-  * [[https://iscasmc.ios.ac.cn/?page_id=1141|Yong Li]] (Institute of Software, CAS)
-  * Xie Li (Institute of Software, CAS)
-Following people are also involved in the ROLL project:
-  * [[http://sourcedb.cigit.cas.cn/zj/201206/t20120628_3606248.html| Yi Li ]] Chongqing Institute of Green and Intelligent Technology
-  * [[https://iscasmc.ios.ac.cn/?page_id=152 | Andrea Turrini ]] (Institute of Software, CAS)
-  * [[https://iscasmc.ios.ac.cn/?page_id=148 |Lijun Zhang ]] (Institute of Software, CAS)
-Questions, comments and suggestions are welcome to be sent to one of the developers.
-Address for visiting: Building 5, Software Park, No.4, South 4th Street, Zhongguancun, Haidian District, Beijing, China
-Zip Code: 100190