GitHub

OWASP Benchmark for Java

The OWASP Benchmark Project is a Java test suite designed to verify the speed and accuracy of vulnerability detection tools. It is a fully runnable open source web application that can be analyzed by ...
IEEE

A Static Modeling Method Considering Friction for the Shape Prediction or Force Sensing of Concentric Cable-Driven Manipulators

Abstract: Owing to the flexibility and redundancy, concentric cable-driven manipulators are widely used in confined space applications. However, it is challenging to establish shape prediction or ...
GitHub

Experiment in generating unit tests and mocks for code containing static method calls

Open this folder in VS Code Click "Reopen in Container" when prompted (or use Command Palette: "Dev Containers: Reopen in Container") Wait for container to build and install dependencies ...
Semiconductor Engineering

Information Flow Verification Framework Integrating Static and Formal Verification Methods At The Pre-Silicon Stage (U. of Florida)

“Modern system-on-chips (SoCs) are becoming prone to numerous security vulnerabilities due to their ever-growing complexity and size. Therefore, a comprehensive security verification framework is ...
IEEE

Binocular Vision-Based Method Used for Determining the Static and Dynamic Parameters of the Long-Stroke Shakers in Low-Frequency Vibration Calibration

Abstract: The long-stroke shaker is essentially required for the calibration of low-frequency vibration transducers, whose performance parameters have significant impact on the calibration accuracy.