Android Symbolic-execution Resources

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

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.

Kotlin∇: Type-safe Symbolic Differentiation for the JVM Kotlin∇ is a type-safe automatic differentiation framework written in Kotlin. It allows users

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

WokManagerSample WorkManager ,One time,Sequential Execution, Periodic time Execu

Log4j2 RCE Vulnerability POC A bare minimum proof-of-concept for Log4j2 JNDI Remote-Code-Execution vulnerability (CVE-2021-44228). This is intended fo