Explore projects
-
Updated
-
Lenka Turoňová / Automata
MIT LicenseUpdated -
Lenka Turoňová / Automata-02-02-2019
MIT LicenseUpdated -
Lenka Turoňová / Automata-05-02
MIT LicenseUpdated -
Lenka Turoňová / Automata-06-02-2019
MIT LicenseUpdated -
Lenka Turoňová / Automata-25-01-2019
MIT LicenseUpdated -
Lenka Turoňová / Automata-cadet_bench-07-03-2019
MIT LicenseUpdated -
Lenka Turoňová / Automata-cadet_bench-29-03-2019
MIT LicenseUpdated -
Updated
-
-
Testos / combine
Creative Commons Attribution Non Commercial Share Alike 3.0 Unportedcombine: tool for generating a covering array for T-wise combinatorial testing
Updated -
Updated
-
Lenka Turoňová / CountingAutomata-generator
MIT LicenseUpdated -
Extracting CFGs from Java programs using analysis of bytecode.
Updated -
Testos / Logreaper
GNU General Public License v3.0 or laterUpdated -
verifit / Netlab
MIT LicenseUpdated -
Testos / Netloiter
GNU General Public License v3.0 or laterA tool for testing a network system under different circumstances of a transmission line. The tool simulates various network conditions, which may result from real faults (like packet loss, big lattency, jitter).
Updated -
Ondřej Vašíček / OSLC Adapter
Eclipse Public License 2.0Developement repository for the OSLC Anaconda Adapter.
Updated -
Testos / plexson
Creative Commons Attribution Non Commercial Share Alike 3.0 UnportedInteractive JSON-scheme generator from multiple JSON instances
Updated