Saved in:
| Main Authors: | Peltomäki, Jarkko, Porres, Ivan |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2310.20493 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Learning test generators for cyber-physical systems
by: Peltomäki, Jarkko, et al.
Published: (2024)
by: Peltomäki, Jarkko, et al.
Published: (2024)
Using quantum annealing to generate test cases for cyber-physical systems
by: Araujo, Hugo, et al.
Published: (2025)
by: Araujo, Hugo, et al.
Published: (2025)
Verifying Machine Learning Interpretability Requirements through Provenance
by: Vonderhaar, Lynn, et al.
Published: (2026)
by: Vonderhaar, Lynn, et al.
Published: (2026)
Data Requirement Goal Modeling for Machine Learning Systems
by: Yamani, Asma, et al.
Published: (2025)
by: Yamani, Asma, et al.
Published: (2025)
Can I Solve It? Identifying APIs Required to Complete OSS Task
by: Santos, Fabio, et al.
Published: (2021)
by: Santos, Fabio, et al.
Published: (2021)
Natural Language Requirements Testability Measurement Based on Requirement Smells
by: Zakeri-Nasrabadi, Morteza, et al.
Published: (2024)
by: Zakeri-Nasrabadi, Morteza, et al.
Published: (2024)
Dynamic Test Case Prioritization in Industrial Test Result Datasets
by: Torbunova, Alina, et al.
Published: (2024)
by: Torbunova, Alina, et al.
Published: (2024)
Machine Learning with Requirements: a Manifesto
by: Giunchiglia, Eleonora, et al.
Published: (2023)
by: Giunchiglia, Eleonora, et al.
Published: (2023)
Reinforcement Learning for Testing Interdependent Requirements in Autonomous Vehicles: An Empirical Study
by: Wu, Jiahui, et al.
Published: (2025)
by: Wu, Jiahui, et al.
Published: (2025)
David vs. Goliath: A comparative study of different-sized LLMs for code generation in the domain of automotive scenario generation
by: Bauerfeind, Philipp, et al.
Published: (2025)
by: Bauerfeind, Philipp, et al.
Published: (2025)
Can Requirements Engineering Support Explainable Artificial Intelligence? Towards a User-Centric Approach for Explainability Requirements
by: Umm-e-Habiba, et al.
Published: (2022)
by: Umm-e-Habiba, et al.
Published: (2022)
NeurIPS Should Require Reproducibility Standards for Frontier AI Safety Claims
by: Vishwarupe, Varad, et al.
Published: (2026)
by: Vishwarupe, Varad, et al.
Published: (2026)
Read, Extract, Classify: A Tool for Smarter Requirements Engineering
by: Bhattacharya, Paheli, et al.
Published: (2026)
by: Bhattacharya, Paheli, et al.
Published: (2026)
RBT4DNN: Requirements-based Testing of Neural Networks
by: Mozumder, Nusrat Jahan, et al.
Published: (2025)
by: Mozumder, Nusrat Jahan, et al.
Published: (2025)
Lessons from the Use of Natural Language Inference (NLI) in Requirements Engineering Tasks
by: Fazelnia, Mohamad, et al.
Published: (2024)
by: Fazelnia, Mohamad, et al.
Published: (2024)
ReqBrain: Task-Specific Instruction Tuning of LLMs for AI-Assisted Requirements Generation
by: Habib, Mohammad Kasra, et al.
Published: (2025)
by: Habib, Mohammad Kasra, et al.
Published: (2025)
SwiftEval: Developing a Language-Specific Benchmark for LLM-generated Code Evaluation
by: Petrukha, Ivan, et al.
Published: (2025)
by: Petrukha, Ivan, et al.
Published: (2025)
Scaling Human-AI Coding Collaboration Requires a Governable Consensus Layer
by: Wang, Tianfu, et al.
Published: (2026)
by: Wang, Tianfu, et al.
Published: (2026)
DocuMint: Docstring Generation for Python using Small Language Models
by: Poudel, Bibek, et al.
Published: (2024)
by: Poudel, Bibek, et al.
Published: (2024)
Robust and Safe Traffic Sign Recognition using N-version with Weighted Voting
by: Gao, Linyun, et al.
Published: (2025)
by: Gao, Linyun, et al.
Published: (2025)
Aggregating empirical evidence from data strategy studies: a case on model quantization
by: del Rey, Santiago, et al.
Published: (2025)
by: del Rey, Santiago, et al.
Published: (2025)
"You still have to study" -- On the Security of LLM generated code
by: Goetz, Stefan, et al.
Published: (2024)
by: Goetz, Stefan, et al.
Published: (2024)
ENCORE: Ensemble Learning using Convolution Neural Machine Translation for Automatic Program Repair
by: Lutellier, Thibaud, et al.
Published: (2019)
by: Lutellier, Thibaud, et al.
Published: (2019)
RM -RF: Reward Model for Run-Free Unit Test Evaluation
by: Bruches, Elena, et al.
Published: (2026)
by: Bruches, Elena, et al.
Published: (2026)
Architecting software monitors for control-flow anomaly detection through large language models and conformance checking
by: Vitale, Francesco, et al.
Published: (2025)
by: Vitale, Francesco, et al.
Published: (2025)
Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM
by: Ryan, Gabriel, et al.
Published: (2024)
by: Ryan, Gabriel, et al.
Published: (2024)
Towards Refining Developer Questions using LLM-Based Named Entity Recognition for Developer Chatroom Conversations
by: Fathollahzadeh, Pouya, et al.
Published: (2025)
by: Fathollahzadeh, Pouya, et al.
Published: (2025)
Practical programming research of Linear DML model based on the simplest Python code: From the standpoint of novice researchers
by: Yao, Shunxin
Published: (2025)
by: Yao, Shunxin
Published: (2025)
Keep the Conversation Going: Fixing 162 out of 337 bugs for $0.42 each using ChatGPT
by: Xia, Chunqiu Steven, et al.
Published: (2023)
by: Xia, Chunqiu Steven, et al.
Published: (2023)
How do Machine Learning Projects use Continuous Integration Practices? An Empirical Study on GitHub Actions
by: Bernardo, João Helis, et al.
Published: (2024)
by: Bernardo, João Helis, et al.
Published: (2024)
FGDM: Reasoning Aware Multi-Agentic Framework for Software Bug Detection using Chain of Thought and Tree of Thought Prompting
by: Padmanabhuni, Srita, et al.
Published: (2026)
by: Padmanabhuni, Srita, et al.
Published: (2026)
DSHGT: Dual-Supervisors Heterogeneous Graph Transformer -- A pioneer study of using heterogeneous graph learning for detecting software vulnerabilities
by: Zhang, Tiehua, et al.
Published: (2023)
by: Zhang, Tiehua, et al.
Published: (2023)
Runtime Anomaly Detection for Drones: An Integrated Rule-Mining and Unsupervised-Learning Approach
by: Tan, Ivan, et al.
Published: (2025)
by: Tan, Ivan, et al.
Published: (2025)
SymbolicAI: A framework for logic-based approaches combining generative models and solvers
by: Dinu, Marius-Constantin, et al.
Published: (2024)
by: Dinu, Marius-Constantin, et al.
Published: (2024)
Generative transformations and patterns in LLM-native approaches for software verification and falsification
by: Braberman, Víctor A., et al.
Published: (2024)
by: Braberman, Víctor A., et al.
Published: (2024)
evomap: A Toolbox for Dynamic Mapping in Python
by: Matthe, Maximilian
Published: (2025)
by: Matthe, Maximilian
Published: (2025)
I Know Which LLM Wrote Your Code Last Summer: LLM generated Code Stylometry for Authorship Attribution
by: Bisztray, Tamas, et al.
Published: (2025)
by: Bisztray, Tamas, et al.
Published: (2025)
NoFunEval: Funny How Code LMs Falter on Requirements Beyond Functional Correctness
by: Singhal, Manav, et al.
Published: (2024)
by: Singhal, Manav, et al.
Published: (2024)
Predicting Safety Misbehaviours in Autonomous Driving Systems using Uncertainty Quantification
by: Grewal, Ruben, et al.
Published: (2024)
by: Grewal, Ruben, et al.
Published: (2024)
Mellum: Production-Grade in-IDE Contextual Code Completion with Multi-File Project Understanding
by: Pavlichenko, Nikita, et al.
Published: (2025)
by: Pavlichenko, Nikita, et al.
Published: (2025)
Similar Items
-
Learning test generators for cyber-physical systems
by: Peltomäki, Jarkko, et al.
Published: (2024) -
Using quantum annealing to generate test cases for cyber-physical systems
by: Araujo, Hugo, et al.
Published: (2025) -
Verifying Machine Learning Interpretability Requirements through Provenance
by: Vonderhaar, Lynn, et al.
Published: (2026) -
Data Requirement Goal Modeling for Machine Learning Systems
by: Yamani, Asma, et al.
Published: (2025) -
Can I Solve It? Identifying APIs Required to Complete OSS Task
by: Santos, Fabio, et al.
Published: (2021)