Image de couverture de livre

Diagnosing Violations of State-based Specifications in iCFTL

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Stratan, Cristina, Mandrioli, Claudio, Bianculli, Domenico
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
par: Mandrioli, Claudio, et autres
Publié: (2024)

Stress Testing Control Loops in Cyber-Physical Systems
par: Mandrioli, Claudio, et autres
Publié: (2023)

Trace Diagnostics for Signal-based Temporal Properties
par: Boufaied, Chaima, et autres
Publié: (2022)

A Piece of QAICCC: Towards a Countermeasure Against Crosstalk Attacks in Quantum Servers
par: Marquer, Yoann, et autres
Publié: (2025)

Randomized and Diverse Input State Generation for Quantum Program Testing
par: Ernzer, Maryse, et autres
Publié: (2026)

Towards a Taxonomy of Software Log Smells
par: Saarimäki, Nyyti, et autres
Publié: (2024)

Quantum Program Linting with LLMs: Emerging Results from a Comparative Study
par: Shin, Seung Yeob, et autres
Publié: (2025)

Rigorous Assessment of Model Inference Accuracy using Language Cardinality
par: Clun, Donato, et autres
Publié: (2022)

LLM meets ML: Data-efficient Anomaly Detection on Unstable Logs
par: Hadadi, Fatemeh, et autres
Publié: (2024)

Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction
par: Hadadi, Fatemeh, et autres
Publié: (2023)

A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms
par: Belgacem, Hichem, et autres
Publié: (2022)

Towards Generating Executable Metamorphic Relations Using Large Language Models
par: Shin, Seung Yeob, et autres
Publié: (2024)

Learning-Based Relaxation of Completeness Requirements for Data Entry Forms
par: Belgacem, Hichem, et autres
Publié: (2023)

Impact of Log Parsing on Deep Learning-Based Anomaly Detection
par: Khan, Zanis Ali, et autres
Publié: (2023)

SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
par: Marquer, Yoann, et autres
Publié: (2026)

Beyond Rules: LLM-Powered Linting for Quantum Programs
par: Cassieri, Pietro, et autres
Publié: (2026)

GDPR-Relevant Privacy Concerns in Mobile Apps Research: A Systematic Literature Review
par: Cejas, Orlando Amaral, et autres
Publié: (2024)

Can LLMs Solve Science or Just Write Code? Evaluating Quantum Solver Generation
par: Baresi, Luciano, et autres
Publié: (2026)

A Comprehensive Study of Machine Learning Techniques for Log-Based Anomaly Detection
par: Ali, Shan, et autres
Publié: (2023)

Understanding and Detecting Platform-Specific Violations in Android Auto Apps
par: Fakorede, Moshood, et autres
Publié: (2025)

CodeAD: Synthesize Code of Rules for Log-based Anomaly Detection with LLMs
par: Huang, Junjie, et autres
Publié: (2025)

Human-Written vs. AI-Generated Code: A Large-Scale Study of Defects, Vulnerabilities, and Complexity
par: Cotroneo, Domenico, et autres
Publié: (2025)

Towards Automated Identification of Violation Symptoms of Architecture Erosion
par: Li, Ruiyin, et autres
Publié: (2023)

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
par: Chen, Zehan, et autres
Publié: (2026)

VeriFix: Verifying Your Fix Towards An Atomicity Violation
par: Li, Zhuang, et autres
Publié: (2025)

LRASGen: LLM-based RESTful API Specification Generation
par: Deng, Sida, et autres
Publié: (2025)

Diagnosing and Resolving Android Applications Building Issues: An Empirical Study
par: Bodepudi, Lakshmi Priya, et autres
Publié: (2025)

Quality In, Quality Out: Investigating Training Data's Role in AI Code Generation
par: Improta, Cristina, et autres
Publié: (2025)

What Makes Software Bugs Escape Testing? Evidence from a Large-Scale Empirical Study
par: Cotroneo, Domenico, et autres
Publié: (2026)

Enhancing AI-based Generation of Software Exploits with Contextual Information
par: Liguori, Pietro, et autres
Publié: (2024)

REST in Pieces: RESTful Design Rule Violations in Student-Built Web Apps
par: Di Meglio, Sergio, et autres
Publié: (2025)

RESTRuler: Towards Automatically Identifying Violations of RESTful Design Rules in Web APIs
par: Bogner, Justus, et autres
Publié: (2024)

ConfLogger: Enhance Systems' Configuration Diagnosability through Configuration Logging
par: Shan, Shiwen, et autres
Publié: (2025)

Can Large Language Models Detect Real-World Android Software Compliance Violations?
par: Zhang, Haoyi, et autres
Publié: (2025)

Praxium: Diagnosing Cloud Anomalies with AI-based Telemetry and Dependency Analysis
par: Kumar, Rohan, et autres
Publié: (2026)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
par: Granberry, George, et autres
Publié: (2025)

Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
par: Chen, Zehan, et autres
Publié: (2025)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
par: Tagliaferro, Alberto, et autres
Publié: (2026)

FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation
par: Sun, Yang, et autres
Publié: (2025)

Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs
par: Shi, Jieke, et autres
Publié: (2024)