Towards Generating Executable Metamorphic Relations Using Large Language Models
Fuente:
arXiv
Guardado en:
| Autores principales: | Shin, Seung Yeob, Pastore, Fabrizio, Bianculli, Domenico, Baicoianu, Alexandra |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Quantum Program Linting with LLMs: Emerging Results from a Comparative Study
por: Shin, Seung Yeob, et al.
Publicado: (2025)
por: Shin, Seung Yeob, et al.
Publicado: (2025)
Randomized and Diverse Input State Generation for Quantum Program Testing
por: Ernzer, Maryse, et al.
Publicado: (2026)
por: Ernzer, Maryse, et al.
Publicado: (2026)
Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
por: Mandrioli, Claudio, et al.
Publicado: (2024)
por: Mandrioli, Claudio, et al.
Publicado: (2024)
Beyond Rules: LLM-Powered Linting for Quantum Programs
por: Cassieri, Pietro, et al.
Publicado: (2026)
por: Cassieri, Pietro, et al.
Publicado: (2026)
Can LLMs Solve Science or Just Write Code? Evaluating Quantum Solver Generation
por: Baresi, Luciano, et al.
Publicado: (2026)
por: Baresi, Luciano, et al.
Publicado: (2026)
Stress Testing Control Loops in Cyber-Physical Systems
por: Mandrioli, Claudio, et al.
Publicado: (2023)
por: Mandrioli, Claudio, et al.
Publicado: (2023)
Towards a Taxonomy of Software Log Smells
por: Saarimäki, Nyyti, et al.
Publicado: (2024)
por: Saarimäki, Nyyti, et al.
Publicado: (2024)
Rigorous Assessment of Model Inference Accuracy using Language Cardinality
por: Clun, Donato, et al.
Publicado: (2022)
por: Clun, Donato, et al.
Publicado: (2022)
A Piece of QAICCC: Towards a Countermeasure Against Crosstalk Attacks in Quantum Servers
por: Marquer, Yoann, et al.
Publicado: (2025)
por: Marquer, Yoann, et al.
Publicado: (2025)
Test Schedule Generation for Acceptance Testing of Mission-Critical Satellite Systems
por: Ollando, Raphaël, et al.
Publicado: (2025)
por: Ollando, Raphaël, et al.
Publicado: (2025)
Optimizing Metamorphic Testing: Prioritizing Relations Through Execution Profile Dissimilarity
por: Srinivasan, Madhusudan, et al.
Publicado: (2024)
por: Srinivasan, Madhusudan, et al.
Publicado: (2024)
Impact of Log Parsing on Deep Learning-Based Anomaly Detection
por: Khan, Zanis Ali, et al.
Publicado: (2023)
por: Khan, Zanis Ali, et al.
Publicado: (2023)
AIM: Automated Input Set Minimization for Metamorphic Security Testing
por: Chaleshtari, Nazanin Bayati, et al.
Publicado: (2024)
por: Chaleshtari, Nazanin Bayati, et al.
Publicado: (2024)
Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction
por: Hadadi, Fatemeh, et al.
Publicado: (2023)
por: Hadadi, Fatemeh, et al.
Publicado: (2023)
Learning-Guided Fuzzing for Testing Stateful SDN Controllers
por: Ollando, Raphaël, et al.
Publicado: (2024)
por: Ollando, Raphaël, et al.
Publicado: (2024)
Diagnosing Violations of State-based Specifications in iCFTL
por: Stratan, Cristina, et al.
Publicado: (2025)
por: Stratan, Cristina, et al.
Publicado: (2025)
SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
por: Marquer, Yoann, et al.
Publicado: (2026)
por: Marquer, Yoann, et al.
Publicado: (2026)
LLM meets ML: Data-efficient Anomaly Detection on Unstable Logs
por: Hadadi, Fatemeh, et al.
Publicado: (2024)
por: Hadadi, Fatemeh, et al.
Publicado: (2024)
Trace Diagnostics for Signal-based Temporal Properties
por: Boufaied, Chaima, et al.
Publicado: (2022)
por: Boufaied, Chaima, et al.
Publicado: (2022)
Metamorphic Relation Generation: State of the Art and Visions for Future Research
por: Li, Rui, et al.
Publicado: (2024)
por: Li, Rui, et al.
Publicado: (2024)
Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models
por: Li, Ningke, et al.
Publicado: (2024)
por: Li, Ningke, et al.
Publicado: (2024)
Bidirectional Empowerment of Metamorphic Testing and Large Language Models: A Systematic Survey
por: Zheng, Zheng, et al.
Publicado: (2026)
por: Zheng, Zheng, et al.
Publicado: (2026)
Metamorphic Testing of Large Language Models for Natural Language Processing
por: Cho, Steven, et al.
Publicado: (2025)
por: Cho, Steven, et al.
Publicado: (2025)
GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming
por: Ayerdi, Jon, et al.
Publicado: (2023)
por: Ayerdi, Jon, et al.
Publicado: (2023)
A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms
por: Belgacem, Hichem, et al.
Publicado: (2022)
por: Belgacem, Hichem, et al.
Publicado: (2022)
Learning-Based Relaxation of Completeness Requirements for Data Entry Forms
por: Belgacem, Hichem, et al.
Publicado: (2023)
por: Belgacem, Hichem, et al.
Publicado: (2023)
Testing Updated Apps by Adapting Learned Models
por: Ngo, Chanh-Duc, et al.
Publicado: (2023)
por: Ngo, Chanh-Duc, et al.
Publicado: (2023)
Efficient Fairness Testing in Large Language Models: Prioritizing Metamorphic Relations for Bias Detection
por: Giramata, Suavis, et al.
Publicado: (2025)
por: Giramata, Suavis, et al.
Publicado: (2025)
GDPR-Relevant Privacy Concerns in Mobile Apps Research: A Systematic Literature Review
por: Cejas, Orlando Amaral, et al.
Publicado: (2024)
por: Cejas, Orlando Amaral, et al.
Publicado: (2024)
METAMON: Finding Inconsistencies between Program Documentation and Behavior using Metamorphic LLM Queries
por: Lee, Hyeonseok, et al.
Publicado: (2025)
por: Lee, Hyeonseok, et al.
Publicado: (2025)
Learning Failure-Inducing Models for Testing Software-Defined Networks
por: Ollando, Raphaël, et al.
Publicado: (2022)
por: Ollando, Raphaël, et al.
Publicado: (2022)
Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
por: Lee, Jaekwon, et al.
Publicado: (2025)
por: Lee, Jaekwon, et al.
Publicado: (2025)
Metamorphic Coverage
por: Ba, Jinsheng, et al.
Publicado: (2025)
por: Ba, Jinsheng, et al.
Publicado: (2025)
GAN-enhanced Simulation-driven DNN Testing in Absence of Ground Truth
por: Attaoui, Mohammed, et al.
Publicado: (2025)
por: Attaoui, Mohammed, et al.
Publicado: (2025)
Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models
por: Hyun, Sangwon, et al.
Publicado: (2025)
por: Hyun, Sangwon, et al.
Publicado: (2025)
TestWeaver: Execution-aware, Feedback-driven Regression Testing Generation with Large Language Models
por: Le, Cuong Chi, et al.
Publicado: (2025)
por: Le, Cuong Chi, et al.
Publicado: (2025)
Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
por: Tu, Haoxin, et al.
Publicado: (2025)
por: Tu, Haoxin, et al.
Publicado: (2025)
Search-based DNN Testing and Retraining with GAN-enhanced Simulations
por: Attaoui, Mohammed Oualid, et al.
Publicado: (2024)
por: Attaoui, Mohammed Oualid, et al.
Publicado: (2024)
MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases
por: Xu, Congying, et al.
Publicado: (2023)
por: Xu, Congying, et al.
Publicado: (2023)
A Comprehensive Study of Machine Learning Techniques for Log-Based Anomaly Detection
por: Ali, Shan, et al.
Publicado: (2023)
por: Ali, Shan, et al.
Publicado: (2023)
Ejemplares similares
-
Quantum Program Linting with LLMs: Emerging Results from a Comparative Study
por: Shin, Seung Yeob, et al.
Publicado: (2025) -
Randomized and Diverse Input State Generation for Quantum Program Testing
por: Ernzer, Maryse, et al.
Publicado: (2026) -
Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
por: Mandrioli, Claudio, et al.
Publicado: (2024) -
Beyond Rules: LLM-Powered Linting for Quantum Programs
por: Cassieri, Pietro, et al.
Publicado: (2026) -
Can LLMs Solve Science or Just Write Code? Evaluating Quantum Solver Generation
por: Baresi, Luciano, et al.
Publicado: (2026)