Results 71 to 80 of about 22,224 (372)

White-Box and Black-Box Fuzzing for GraphQL APIs [PDF]

, 2022
Asma Belhadi, Man Zhang, Andrea Arcuri
openalex   +1 more source

REDQUEEN: Fuzzing with Input-to-State Correspondence

Network and Distributed System Security Symposium, 2019
—Automated software testing based on fuzzing has experienced a revival in recent years. Especially feedback-driven fuzzing has become well-known for its ability to efficiently perform randomized testing with limited input corpora.
Cornelius Aschermann, Sergej Schumilo, Tim Blazytko, R. Gawlik, Thorsten Holz   +4 more
semanticscholar   +1 more source

Semantic fuzzing with zest [PDF]

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019
To appear in Proceedings of 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'19)
Padhye, Rohan, Lemieux, Caroline, Sen, Koushik, Papadakis, Mike, Le Traon, Yves   +4 more
openaire   +3 more sources

Efficient Hadronic Operators in Lattice Gauge Theory

, 1994
We study operators to create hadronic states made of light quarks in quenched lattice gauge theory. We construct non-local gauge-invariant operators which provide information about the spatial extent of the ground state and excited states. The efficiency
A. McKerrell, C. Michael, C. Michael, C. Michael, C. R. Allton, C. R. Allton, C. R. Allton, I. M. Stopher, M. Chu, M. Hecht, P. Lacock, P. W. Stephenson, R. Gupta, S. Güsken, S. J. Perantonis   +14 more
core   +1 more source

Fabric‐Based Wearable Robotic Exoskeleton Gloves: Advancements and Challenges

Advanced Materials Technologies, EarlyView.
This review highlights interdisciplinary technological advances in fabric‐based robotic gloves, focusing on progress in design, fabrication, actuation, sensing, control, and power and energy requirements. It also addresses performance testing and validation, including biomechanical, strength, functional, user experience, and durability assessments, to ...
Ayse Feyza Yilmaz, Gökhan Ince, Ozgur Atalay   +2 more
wiley   +1 more source

Badger: Complexity Analysis with Fuzzing and Symbolic Execution

, 2018
Hybrid testing approaches that involve fuzz testing and symbolic execution have shown promising results in achieving high code coverage, uncovering subtle errors and vulnerabilities in a variety of software applications. In this paper we describe Badger -
Ammons Glenn, ASM., Cadar Cristian, Galeotti J. P., Stephens Nick, Wilhelm Reinhard, Zalewski Michal   +6 more
core   +1 more source

Harnessing Ultrafast Optical Pulses for 3D Microfabrication by Selective Tweezing and Immobilization of Colloidal Particles in an Integrated System

Advanced Photonics Research, Volume 6, Issue 5, May 2025.
Microfabrication using nano‐ to micron‐sized blocks has transformative potential for next‐gen electronics, optoelectronics, and materials. Traditional methods are limited by scalability and precision. STIC, a single‐laser system for precise colloid manipulation and immobilization using femtosecond lasers, is introduced that enables efficient 3D ...
Krishangi Krishna, Jieliyue Sun, Wenyu Liu, Robert H. Hurt, Kimani C. Toussaint Jr.   +4 more
wiley   +1 more source

Machine Learning-Based Fuzz Testing Techniques: A Survey

IEEE Access
Fuzz testing is a vulnerability discovery technique that tests the robustness of target programs by providing them with unconventional data. With the rapid increase in software quantity, scale and complexity, traditional fuzzing has revealed issues such ...
Ao Zhang, Yiying Zhang, Yao Xu, Cong Wang, Siwei Li   +4 more
doaj   +1 more source

Synthesizing Program Input Grammars

, 2017
We present an algorithm for synthesizing a context-free grammar encoding the language of valid program inputs from a set of input examples and blackbox access to the program.
Albarghouthi A., Cadar C., Cho C. Y., Forrester J. E., Godefroid P., Holler C., Huang L., Lee L., Oncina J., Solomonoff R. J., Sutton M., Sutton M., Vardhan A., Viide J., Wondracek G.   +14 more
core   +1 more source

A State‐Adaptive Koopman Control Framework for Real‐Time Deformable Tool Manipulation in Robotic Environmental Swabbing

Advanced Robotics Research, EarlyView.
This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi, Amirreza Davar, Dongyi Wang   +2 more
wiley   +1 more source