AIM: Automated Input Set Minimization for Metamorphic Security Testing
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Chaleshtari, Nazanin Bayati, Marquer, Yoann, Pastore, Fabrizio, Briand, Lionel C. |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
von: Marquer, Yoann, et al.
Veröffentlicht: (2026)
von: Marquer, Yoann, et al.
Veröffentlicht: (2026)
Unknown Attack Detection in IoT Networks using Large Language Models: A Robust, Data-efficient Approach
von: Ali, Shan, et al.
Veröffentlicht: (2026)
von: Ali, Shan, et al.
Veröffentlicht: (2026)
Learning Failure-Inducing Models for Testing Software-Defined Networks
von: Ollando, Raphaël, et al.
Veröffentlicht: (2022)
von: Ollando, Raphaël, et al.
Veröffentlicht: (2022)
Security Testing of RESTful APIs With Test Case Mutation
von: Salva, Sebastien, et al.
Veröffentlicht: (2024)
von: Salva, Sebastien, et al.
Veröffentlicht: (2024)
Automated Penetration Testing: Formalization and Realization
von: Skandylas, Charilaos, et al.
Veröffentlicht: (2024)
von: Skandylas, Charilaos, et al.
Veröffentlicht: (2024)
How Secure is Secure Code Generation? Adversarial Prompts Put LLM Defenses to the Test
von: Tessa, Melissa, et al.
Veröffentlicht: (2026)
von: Tessa, Melissa, et al.
Veröffentlicht: (2026)
PrediQL: Automated Testing of GraphQL APIs with LLMs
von: Liu, Shaolun, et al.
Veröffentlicht: (2025)
von: Liu, Shaolun, et al.
Veröffentlicht: (2025)
A Systematic Literature Review on Automated Exploit and Security Test Generation
von: Bui, Quang-Cuong, et al.
Veröffentlicht: (2025)
von: Bui, Quang-Cuong, et al.
Veröffentlicht: (2025)
Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software
von: Kanchi, Shravya, et al.
Veröffentlicht: (2026)
von: Kanchi, Shravya, et al.
Veröffentlicht: (2026)
Toward Automated Security Risk Detection in Large Software Using Call Graph Analysis
von: Pecka, Nicholas, et al.
Veröffentlicht: (2025)
von: Pecka, Nicholas, et al.
Veröffentlicht: (2025)
Enhancing Fuzz Testing Efficiency through Automated Fuzz Target Generation
von: Tran, Chi Thien
Veröffentlicht: (2026)
von: Tran, Chi Thien
Veröffentlicht: (2026)
Automated Testing of Broken Authentication Vulnerabilities in Web APIs with AuthREST
von: Corradini, Davide, et al.
Veröffentlicht: (2025)
von: Corradini, Davide, et al.
Veröffentlicht: (2025)
RAN Tester UE: An Automated Declarative UE Centric Security Testing Platform
von: Ueltschey, Charles Marion, et al.
Veröffentlicht: (2025)
von: Ueltschey, Charles Marion, et al.
Veröffentlicht: (2025)
GraphQLer: Enhancing GraphQL Security with Context-Aware API Testing
von: Tsai, Omar, et al.
Veröffentlicht: (2025)
von: Tsai, Omar, et al.
Veröffentlicht: (2025)
SoK: Analysis of Software Supply Chain Security by Establishing Secure Design Properties
von: Okafor, Chinenye, et al.
Veröffentlicht: (2024)
von: Okafor, Chinenye, et al.
Veröffentlicht: (2024)
"False negative -- that one is going to kill you": Understanding Industry Perspectives of Static Analysis based Security Testing
von: Ami, Amit Seal, et al.
Veröffentlicht: (2023)
von: Ami, Amit Seal, et al.
Veröffentlicht: (2023)
QASecClaw: A Multi-Agent LLM Approach for False Positive Reduction in Static Application Security Testing
von: Ameen, Mohd Ruhul, et al.
Veröffentlicht: (2026)
von: Ameen, Mohd Ruhul, et al.
Veröffentlicht: (2026)
Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
von: Lee, Jaekwon, et al.
Veröffentlicht: (2025)
von: Lee, Jaekwon, et al.
Veröffentlicht: (2025)
Operationalizing Research Software for Supply Chain Security
von: Kalu, Kelechi G., et al.
Veröffentlicht: (2026)
von: Kalu, Kelechi G., et al.
Veröffentlicht: (2026)
X.509 Information Security Certification Based on Post-Quantum Cryptography
von: Chen, Abel C. H.
Veröffentlicht: (2024)
von: Chen, Abel C. H.
Veröffentlicht: (2024)
DUALGUAGE: Automated Joint Security-Functionality Benchmarking for Secure Code Generation
von: Pathak, Abhijeet, et al.
Veröffentlicht: (2025)
von: Pathak, Abhijeet, et al.
Veröffentlicht: (2025)
Leveraging Security Observability to Strengthen Security of Digital Ecosystem Architecture
von: Ramachandran, Renjith
Veröffentlicht: (2024)
von: Ramachandran, Renjith
Veröffentlicht: (2024)
Security study based on the Chatgptplugin system: ldentifying Security Vulnerabilities
von: Ren, Ruomai
Veröffentlicht: (2025)
von: Ren, Ruomai
Veröffentlicht: (2025)
Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
von: Ma, Chengyan, et al.
Veröffentlicht: (2026)
von: Ma, Chengyan, et al.
Veröffentlicht: (2026)
Security Incentivization: An Empirical Study of how Micropayments Impact Code Security
von: Rass, Stefan, et al.
Veröffentlicht: (2026)
von: Rass, Stefan, et al.
Veröffentlicht: (2026)
Comparing Effectiveness and Efficiency of Interactive Application Security Testing (IAST) and Runtime Application Self-Protection (RASP) Tools in a Large Java-based System
von: Seth, Aishwarya, et al.
Veröffentlicht: (2023)
von: Seth, Aishwarya, et al.
Veröffentlicht: (2023)
Reactive Bottom-Up Testing
von: Muralee, Siddharth, et al.
Veröffentlicht: (2025)
von: Muralee, Siddharth, et al.
Veröffentlicht: (2025)
ELFuzz: Efficient Input Generation via LLM-driven Synthesis Over Fuzzer Space
von: Chen, Chuyang, et al.
Veröffentlicht: (2025)
von: Chen, Chuyang, et al.
Veröffentlicht: (2025)
Stop Starving or Stuffing Me: Boosting Firmware Fuzzing Efficiency with On-demand Input Delivery
von: Shen, Shandian, et al.
Veröffentlicht: (2026)
von: Shen, Shandian, et al.
Veröffentlicht: (2026)
An Industry Interview Study of Software Signing for Supply Chain Security
von: Kalu, Kelechi G., et al.
Veröffentlicht: (2024)
von: Kalu, Kelechi G., et al.
Veröffentlicht: (2024)
Towards the Systematic Testing of Regular Expression Engines
von: Çakar, Berk, et al.
Veröffentlicht: (2026)
von: Çakar, Berk, et al.
Veröffentlicht: (2026)
Testing Updated Apps by Adapting Learned Models
von: Ngo, Chanh-Duc, et al.
Veröffentlicht: (2023)
von: Ngo, Chanh-Duc, et al.
Veröffentlicht: (2023)
LLM Security Guard for Code
von: Kavian, Arya, et al.
Veröffentlicht: (2024)
von: Kavian, Arya, et al.
Veröffentlicht: (2024)
Numeric Truncation Security Predicate
von: Mezhuev, Timofey, et al.
Veröffentlicht: (2023)
von: Mezhuev, Timofey, et al.
Veröffentlicht: (2023)
An Introduction to Adaptive Software Security
von: Nia, Mehran Alidoost
Veröffentlicht: (2023)
von: Nia, Mehran Alidoost
Veröffentlicht: (2023)
Securing Tomorrow's Smart Cities: Investigating Software Security in Internet of Vehicles and Deep Learning Technologies
von: Jain, Ridhi, et al.
Veröffentlicht: (2024)
von: Jain, Ridhi, et al.
Veröffentlicht: (2024)
An Interview Study on Third-Party Cyber Threat Hunting Processes in the U.S. Department of Homeland Security
von: Maxam III, William P., et al.
Veröffentlicht: (2024)
von: Maxam III, William P., et al.
Veröffentlicht: (2024)
Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection
von: Lin, Bo, et al.
Veröffentlicht: (2025)
von: Lin, Bo, et al.
Veröffentlicht: (2025)
Search-based DNN Testing and Retraining with GAN-enhanced Simulations
von: Attaoui, Mohammed Oualid, et al.
Veröffentlicht: (2024)
von: Attaoui, Mohammed Oualid, et al.
Veröffentlicht: (2024)
120 Domain-Specific Languages for Security
von: Krausz, Markus, et al.
Veröffentlicht: (2024)
von: Krausz, Markus, et al.
Veröffentlicht: (2024)
Ähnliche Einträge
-
SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
von: Marquer, Yoann, et al.
Veröffentlicht: (2026) -
Unknown Attack Detection in IoT Networks using Large Language Models: A Robust, Data-efficient Approach
von: Ali, Shan, et al.
Veröffentlicht: (2026) -
Learning Failure-Inducing Models for Testing Software-Defined Networks
von: Ollando, Raphaël, et al.
Veröffentlicht: (2022) -
Security Testing of RESTful APIs With Test Case Mutation
von: Salva, Sebastien, et al.
Veröffentlicht: (2024) -
Automated Penetration Testing: Formalization and Realization
von: Skandylas, Charilaos, et al.
Veröffentlicht: (2024)