Cover Image

Trace Diagnostics for Signal-based Temporal Properties

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Boufaied, Chaima, Menghi, Claudio, Bianculli, Domenico, Briand, Lionel
Format:	Preprint
Published:	2022
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Comprehensive Study of Machine Learning Techniques for Log-Based Anomaly Detection
by: Ali, Shan, et al.
Published: (2023)

LLM meets ML: Data-efficient Anomaly Detection on Unstable Logs
by: Hadadi, Fatemeh, et al.
Published: (2024)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
by: Mandrioli, Claudio, et al.
Published: (2024)

SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
by: Marquer, Yoann, et al.
Published: (2026)

Stress Testing Control Loops in Cyber-Physical Systems
by: Mandrioli, Claudio, et al.
Published: (2023)

A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms
by: Belgacem, Hichem, et al.
Published: (2022)

Learning-Based Relaxation of Completeness Requirements for Data Entry Forms
by: Belgacem, Hichem, et al.
Published: (2023)

Impact of Log Parsing on Deep Learning-Based Anomaly Detection
by: Khan, Zanis Ali, et al.
Published: (2023)

Security Debt in Practice: Nuanced Insights from Practitioners
by: Boufaied, Chaima, et al.
Published: (2025)

Search-based Trace Diagnostic
by: Araujo, Gabriel, et al.
Published: (2024)

Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction
by: Hadadi, Fatemeh, et al.
Published: (2023)

Practitioner Insights on Fairness Requirements in the AI Development Life Cycle: An Interview Study
by: Boufaied, Chaima, et al.
Published: (2025)

Diagnosing Violations of State-based Specifications in iCFTL
by: Stratan, Cristina, et al.
Published: (2025)

A Gray Literature Study on Fairness Requirements in AI-enabled Software Engineering
by: Nguyen, Thanh, et al.
Published: (2025)

Engineering Resource-constrained Software Systems with DNN Components: a Concept-based Pruning Approach
by: Formica, Federico, et al.
Published: (2026)

Search-based Software Testing Driven by Domain Knowledge: Reflections and New Perspectives
by: Formica, Federico, et al.
Published: (2025)

A Piece of QAICCC: Towards a Countermeasure Against Crosstalk Attacks in Quantum Servers
by: Marquer, Yoann, et al.
Published: (2025)

Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
by: Lee, Jaekwon, et al.
Published: (2025)

Drivora: A Unified and Extensible Infrastructure for Search-based Autonomous Driving Testing
by: Cheng, Mingfei, et al.
Published: (2026)

LTM: Scalable and Black-box Similarity-based Test Suite Minimization based on Language Models
by: Pan, Rongqi, et al.
Published: (2023)

Towards a Taxonomy of Software Log Smells
by: Saarimäki, Nyyti, et al.
Published: (2024)

Search-based DNN Testing and Retraining with GAN-enhanced Simulations
by: Attaoui, Mohammed Oualid, et al.
Published: (2024)

Quantum Program Linting with LLMs: Emerging Results from a Comparative Study
by: Shin, Seung Yeob, et al.
Published: (2025)

Rigorous Assessment of Model Inference Accuracy using Language Cardinality
by: Clun, Donato, et al.
Published: (2022)

Testing Updated Apps by Adapting Learned Models
by: Ngo, Chanh-Duc, et al.
Published: (2023)

Randomized and Diverse Input State Generation for Quantum Program Testing
by: Ernzer, Maryse, et al.
Published: (2026)

Towards Generating Executable Metamorphic Relations Using Large Language Models
by: Shin, Seung Yeob, et al.
Published: (2024)

Failure Modes and Effects Analysis: An Experience from the E-Bike Domain
by: Bombarda, Andrea, et al.
Published: (2025)

Mutation-Guided Unit Test Generation with a Large Language Model
by: Wang, Guancheng, et al.
Published: (2025)

MOTIF: A tool for Mutation Testing with Fuzzing
by: Lee, Jaekwon, et al.
Published: (2024)

Hallucination to Consensus: Multi-Agent LLMs for End-to-End JUnit Test Generation
by: Xu, Qinghua, et al.
Published: (2025)

Classifier or Prompt: A Case Study on Legal Requirements Traceability
by: Etezadi, Romina, et al.
Published: (2025)

Learning-Guided Fuzzing for Testing Stateful SDN Controllers
by: Ollando, Raphaël, et al.
Published: (2024)

TEASMA: A Practical Methodology for Test Adequacy Assessment of Deep Neural Networks
by: Abbasishahkoo, Amin, et al.
Published: (2023)

Search-based Testing of Simulink Models with Requirements Tables
by: Formica, Federico, et al.
Published: (2025)

System Safety Monitoring of Learned Components Using Temporal Metric Forecasting
by: Sharifi, Sepehr, et al.
Published: (2024)

A Highly Efficient Diversity-based Input Selection for DNN Improvement Using VLMs
by: Abbasishahkoo, Amin, et al.
Published: (2026)

Legal Requirements Analysis
by: Abualhaija, Sallam, et al.
Published: (2023)

TVR: Automotive System Requirement Traceability Validation and Recovery Through Retrieval-Augmented Generation
by: Niu, Feifei, et al.
Published: (2025)

Automated Test Case Repair Using Language Models
by: Yaraghi, Ahmadreza Saboor, et al.
Published: (2024)