izlatkin

FSUFlorida

Pinned Repositories

Advanced_Data_Mining
Language:Python0 1 00
aeval
Test Generation for Solidity
Language:C++0 0 00
BlockChain_experiments
Language:JavaScript0 1 00
CourseraTask
Language:Python0 1 00
euler-project
Python tasks for https://projecteuler.net/
Language:Python0 1 00
fintuityTests
fintuity.com testing
Language:Java0 1 00
GroupGroceryList
Language:Swift0 2 320
HornLauncher
scripts and reports for executions seahorn and test generation
Language:Python00
iOSPrework
Language:Swift0 1 00
solidity_testgen
Language:Python0 1 200

izlatkin's Repositories

izlatkin/Advanced_Data_Mining
Language:Python0 1 00
izlatkin/aeval
Test Generation for Solidity
Language:C++0 0 00
izlatkin/BlockChain_experiments
Language:JavaScript0 1 00
izlatkin/CourseraTask
Language:Python0 1 00
izlatkin/euler-project
Python tasks for https://projecteuler.net/
Language:Python0 1 00
izlatkin/fintuityTests
fintuity.com testing
Language:Java0 1 00
izlatkin/GroupGroceryList
Language:Swift0 2 320
izlatkin/HornLauncher
scripts and reports for executions seahorn and test generation
Language:Python00
izlatkin/iOSPrework
Language:Swift0 1 00
izlatkin/solidity_testgen
Language:Python0 1 200
izlatkin/iSOMovieApp
Language:Swift1 3
izlatkin/OpenWay
Language:HTML1 0
izlatkin/postgram_io
Language:Swift1 3
izlatkin/springboot_test
Web Application with Spring Boot
Language:JavaScript2 049
izlatkin/springboot_tg
The simplest Web Application to Run Scripts from https://github.com/izlatkin/solidity_testgen and return HTML page as a result of test generation
Language:Java1 0
izlatkin/sv-benchmarks
Collection of Verification Tasks
0 0
izlatkin/twitter_ios_starter
Language:Swift