n

nondex

A tool for finding strong assumptions on APIs with non-deterministic specifications.
https://github.com/TestingResearchIllinois/NonDex
MIT License
Alex Gyori Kaiyao Ke Benjamin Lambeth Owolabi Legunsen Darko Marinov August Shi
with strong apis deterministic finding specifications tool assumptions
大版本 版本 最近更新
2.1 2.1.7 2023-12-25 21:29:41
2.1.1 2022-11-09 23:38:38
2.1 2022-11-06 16:58:13
1.1 1.1.2 2020-04-16 06:26:22
1.1.1 2016-09-03 09:03:14
1.1.0 2016-09-02 14:34:46
1.0 1.0.1 2016-06-16 06:45:47
1.0.0 2016-06-09 15:42:17
共8条记录