6 Repositories
Android symbolic-execution Libraries
UTBotJava generates test cases by code, trying to cover maximum statements and execution paths.
UTBotJava generates test cases by code, trying to cover maximum statements and execution paths. We treat source code as source of truth assuming that behavior is correct and corresponds to initial user demand. Generated tests are placed in so-called regression suite
60 Jan 3, 2023
An android library to measure code execution time
An android library to measure code execution time. No need to remove the measurement code, automatically becomes no-op in the release variants. Does not compromise with the code readability and comes with features that enhance the developer experience.
70 Dec 1, 2022
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
Kotlin∇: Type-safe Symbolic Differentiation for the JVM Kotlin∇ is a type-safe automatic differentiation framework written in Kotlin. It allows users
484 Dec 20, 2022
Headless Chrome DevTools Protocol Client (RxJava3 + Kotlin)
chrome-reactive-kotlin v0.7.1 chrome-reactive-kotlin is a low level Chrome DevTools Protocol client written in Kotlin and leveraging RxJava3 for easy
72 Oct 25, 2022
WorkManager ,One time,Sequential Execution, Periodic time Execution
WokManagerSample WorkManager ,One time,Sequential Execution, Periodic time Execu
0 Dec 21, 2021
A bare minimum proof-of-concept for Log4j2 JNDI RCE vulnerability (CVE-2021-44228/Log4Shell)
Log4j2 RCE Vulnerability POC A bare minimum proof-of-concept for Log4j2 JNDI Remote-Code-Execution vulnerability (CVE-2021-44228). This is intended fo
4 Aug 17, 2022