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
Aggregated version Version Update time
2.1 2.1.7 Dec 25, 2023
2.1.1 Nov 09, 2022
2.1 Nov 06, 2022
1.1 1.1.2 Apr 16, 2020
1.1.1 Sep 03, 2016
1.1.0 Sep 02, 2016
1.0 1.0.1 Jun 16, 2016
1.0.0 Jun 09, 2016
8 Records