Copertina

Requirement falsification for cyber-physical systems using generative models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Peltomäki, Jarkko, Porres, Ivan
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Machine Learning Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Learning test generators for cyber-physical systems
di: Peltomäki, Jarkko, et al.
Pubblicazione: (2024)

Verifying Machine Learning Interpretability Requirements through Provenance
di: Vonderhaar, Lynn, et al.
Pubblicazione: (2026)

Data Requirement Goal Modeling for Machine Learning Systems
di: Yamani, Asma, et al.
Pubblicazione: (2025)

Using quantum annealing to generate test cases for cyber-physical systems
di: Araujo, Hugo, et al.
Pubblicazione: (2025)

Can I Solve It? Identifying APIs Required to Complete OSS Task
di: Santos, Fabio, et al.
Pubblicazione: (2021)

Natural Language Requirements Testability Measurement Based on Requirement Smells
di: Zakeri-Nasrabadi, Morteza, et al.
Pubblicazione: (2024)

David vs. Goliath: A comparative study of different-sized LLMs for code generation in the domain of automotive scenario generation
di: Bauerfeind, Philipp, et al.
Pubblicazione: (2025)

Reinforcement Learning for Testing Interdependent Requirements in Autonomous Vehicles: An Empirical Study
di: Wu, Jiahui, et al.
Pubblicazione: (2025)

Machine Learning with Requirements: a Manifesto
di: Giunchiglia, Eleonora, et al.
Pubblicazione: (2023)

Can Requirements Engineering Support Explainable Artificial Intelligence? Towards a User-Centric Approach for Explainability Requirements
di: Umm-e-Habiba, et al.
Pubblicazione: (2022)

Dynamic Test Case Prioritization in Industrial Test Result Datasets
di: Torbunova, Alina, et al.
Pubblicazione: (2024)

NeurIPS Should Require Reproducibility Standards for Frontier AI Safety Claims
di: Vishwarupe, Varad, et al.
Pubblicazione: (2026)

Read, Extract, Classify: A Tool for Smarter Requirements Engineering
di: Bhattacharya, Paheli, et al.
Pubblicazione: (2026)

RBT4DNN: Requirements-based Testing of Neural Networks
di: Mozumder, Nusrat Jahan, et al.
Pubblicazione: (2025)

Lessons from the Use of Natural Language Inference (NLI) in Requirements Engineering Tasks
di: Fazelnia, Mohamad, et al.
Pubblicazione: (2024)

ReqBrain: Task-Specific Instruction Tuning of LLMs for AI-Assisted Requirements Generation
di: Habib, Mohammad Kasra, et al.
Pubblicazione: (2025)

DocuMint: Docstring Generation for Python using Small Language Models
di: Poudel, Bibek, et al.
Pubblicazione: (2024)

Robust and Safe Traffic Sign Recognition using N-version with Weighted Voting
di: Gao, Linyun, et al.
Pubblicazione: (2025)

Aggregating empirical evidence from data strategy studies: a case on model quantization
di: del Rey, Santiago, et al.
Pubblicazione: (2025)

ENCORE: Ensemble Learning using Convolution Neural Machine Translation for Automatic Program Repair
di: Lutellier, Thibaud, et al.
Pubblicazione: (2019)

Architecting software monitors for control-flow anomaly detection through large language models and conformance checking
di: Vitale, Francesco, et al.
Pubblicazione: (2025)

SwiftEval: Developing a Language-Specific Benchmark for LLM-generated Code Evaluation
di: Petrukha, Ivan, et al.
Pubblicazione: (2025)

Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM
di: Ryan, Gabriel, et al.
Pubblicazione: (2024)

Towards Refining Developer Questions using LLM-Based Named Entity Recognition for Developer Chatroom Conversations
di: Fathollahzadeh, Pouya, et al.
Pubblicazione: (2025)

Practical programming research of Linear DML model based on the simplest Python code: From the standpoint of novice researchers
di: Yao, Shunxin
Pubblicazione: (2025)

Keep the Conversation Going: Fixing 162 out of 337 bugs for $0.42 each using ChatGPT
di: Xia, Chunqiu Steven, et al.
Pubblicazione: (2023)

How do Machine Learning Projects use Continuous Integration Practices? An Empirical Study on GitHub Actions
di: Bernardo, João Helis, et al.
Pubblicazione: (2024)

FGDM: Reasoning Aware Multi-Agentic Framework for Software Bug Detection using Chain of Thought and Tree of Thought Prompting
di: Padmanabhuni, Srita, et al.
Pubblicazione: (2026)

DSHGT: Dual-Supervisors Heterogeneous Graph Transformer -- A pioneer study of using heterogeneous graph learning for detecting software vulnerabilities
di: Zhang, Tiehua, et al.
Pubblicazione: (2023)

RM -RF: Reward Model for Run-Free Unit Test Evaluation
di: Bruches, Elena, et al.
Pubblicazione: (2026)

Scaling Human-AI Coding Collaboration Requires a Governable Consensus Layer
di: Wang, Tianfu, et al.
Pubblicazione: (2026)

"You still have to study" -- On the Security of LLM generated code
di: Goetz, Stefan, et al.
Pubblicazione: (2024)

Runtime Anomaly Detection for Drones: An Integrated Rule-Mining and Unsupervised-Learning Approach
di: Tan, Ivan, et al.
Pubblicazione: (2025)

Predicting Safety Misbehaviours in Autonomous Driving Systems using Uncertainty Quantification
di: Grewal, Ruben, et al.
Pubblicazione: (2024)

evomap: A Toolbox for Dynamic Mapping in Python
di: Matthe, Maximilian
Pubblicazione: (2025)

SymbolicAI: A framework for logic-based approaches combining generative models and solvers
di: Dinu, Marius-Constantin, et al.
Pubblicazione: (2024)

I Know Which LLM Wrote Your Code Last Summer: LLM generated Code Stylometry for Authorship Attribution
di: Bisztray, Tamas, et al.
Pubblicazione: (2025)

I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
di: Sivakumar, Mithila, et al.
Pubblicazione: (2024)

NoFunEval: Funny How Code LMs Falter on Requirements Beyond Functional Correctness
di: Singhal, Manav, et al.
Pubblicazione: (2024)

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