Saved in:
| Main Authors: | Sun, Fengfei, Li, Ningke, Wang, Kailong, Goette, Lorenz |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2505.02151 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models
by: Li, Ningke, et al.
Published: (2024)
by: Li, Ningke, et al.
Published: (2024)
Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
by: Zheng, Xinyi, et al.
Published: (2025)
by: Zheng, Xinyi, et al.
Published: (2025)
Towards adaptive trajectories for mixed autonomous and human-operated ships
by: Pianini, Danilo, et al.
Published: (2024)
by: Pianini, Danilo, et al.
Published: (2024)
The Systems Engineering Approach in Times of Large Language Models
by: Cabrera, Christian, et al.
Published: (2024)
by: Cabrera, Christian, et al.
Published: (2024)
Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection
by: Li, Yuxi, et al.
Published: (2024)
by: Li, Yuxi, et al.
Published: (2024)
FastFixer: An Efficient and Effective Approach for Repairing Programming Assignments
by: Liu, Fang, et al.
Published: (2024)
by: Liu, Fang, et al.
Published: (2024)
Thoughts on Learning Human and Programming Languages
by: Katz, Daniel S., et al.
Published: (2024)
by: Katz, Daniel S., et al.
Published: (2024)
The Potential of Citizen Platforms for Requirements Engineering of Large Socio-Technical Software Systems
by: Ruohonen, Jukka, et al.
Published: (2024)
by: Ruohonen, Jukka, et al.
Published: (2024)
Regulatory Requirements Engineering in Large Enterprises: An Interview Study on the European Accessibility Act
by: Kosenkov, Oleksandr, et al.
Published: (2024)
by: Kosenkov, Oleksandr, et al.
Published: (2024)
"Write in English, Nobody Understands Your Language Here": A Study of Non-English Trends in Open-Source Repositories
by: Bhuiyan, Masudul Hasan Masud, et al.
Published: (2026)
by: Bhuiyan, Masudul Hasan Masud, et al.
Published: (2026)
Enhancing Semantic Understanding in Pointer Analysis using Large Language Models
by: Cheng, Baijun, et al.
Published: (2025)
by: Cheng, Baijun, et al.
Published: (2025)
Can Large-Language Models Help us Better Understand and Teach the Development of Energy-Efficient Software?
by: Hasler, Ryan, et al.
Published: (2024)
by: Hasler, Ryan, et al.
Published: (2024)
Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT
by: Qi, Yi, et al.
Published: (2023)
by: Qi, Yi, et al.
Published: (2023)
A Conceptual Model and Methodology for Sustainability-aware, IoT-enhanced Business Processes
by: Bosch, Victoria Torres, et al.
Published: (2025)
by: Bosch, Victoria Torres, et al.
Published: (2025)
Model-based Elaboration of a Requirements and Design Pattern Catalogue for Sustainable Systems
by: Ponsard, Christophe
Published: (2025)
by: Ponsard, Christophe
Published: (2025)
Early Results from Teaching Modelling for Software Comprehension in New-Hire Onboarding
by: Kumar, Mrityunjay, et al.
Published: (2025)
by: Kumar, Mrityunjay, et al.
Published: (2025)
Diversity in Software Engineering Education: Exploring Motivations, Influences, and Role Models Among Undergraduate Students
by: Santos, Ronnie de Souza, et al.
Published: (2024)
by: Santos, Ronnie de Souza, et al.
Published: (2024)
From Generation to Adaptation: Comparing AI-Assisted Strategies in High School Programming Education
by: Hu, Tong, et al.
Published: (2025)
by: Hu, Tong, et al.
Published: (2025)
Discovering Ideologies of the Open Source Software Movement
by: Yue, Yang, et al.
Published: (2025)
by: Yue, Yang, et al.
Published: (2025)
GraphCue for SDN Configuration Code Synthesis
by: Qi, Haomin, et al.
Published: (2025)
by: Qi, Haomin, et al.
Published: (2025)
Software Engineering Through Community-Engaged Learning and an Inclusive Network
by: Arony, Nowshin Nawar, et al.
Published: (2023)
by: Arony, Nowshin Nawar, et al.
Published: (2023)
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap
by: Zhang, Yedi, et al.
Published: (2024)
by: Zhang, Yedi, et al.
Published: (2024)
Ideology in Open Source Development
by: Yue, Yang, et al.
Published: (2021)
by: Yue, Yang, et al.
Published: (2021)
Understanding the Effectiveness of Coverage Criteria for Large Language Models: A Special Angle from Jailbreak Attacks
by: Zhou, Shide, et al.
Published: (2024)
by: Zhou, Shide, et al.
Published: (2024)
Semantic-Enhanced Indirect Call Analysis with Large Language Models
by: Cheng, Baijun, et al.
Published: (2024)
by: Cheng, Baijun, et al.
Published: (2024)
Comparing Code Explanations Created by Students and Large Language Models
by: Leinonen, Juho, et al.
Published: (2023)
by: Leinonen, Juho, et al.
Published: (2023)
A Scenario Analysis of Ethical Issues in Dark Patterns and Their Research
by: Ruohonen, Jukka, et al.
Published: (2025)
by: Ruohonen, Jukka, et al.
Published: (2025)
Towards a Knowledge Base of Common Sustainability Weaknesses in Green Software Development
by: Pathania, Priyavanshi, et al.
Published: (2025)
by: Pathania, Priyavanshi, et al.
Published: (2025)
Overcoming Obstacles: Challenges of Gender Inequality in Undergraduate ICT Programs
by: Souza, Angelica Pereira, et al.
Published: (2025)
by: Souza, Angelica Pereira, et al.
Published: (2025)
Robustness tests for biomedical foundation models should tailor to specifications
by: Xian, R. Patrick, et al.
Published: (2025)
by: Xian, R. Patrick, et al.
Published: (2025)
How frontier AI companies could implement an internal audit function
by: Gomez, Francesca, et al.
Published: (2025)
by: Gomez, Francesca, et al.
Published: (2025)
From Pre-labeling to Production: Engineering Lessons from a Machine Learning Pipeline in the Public Sector
by: Ferreira, Ronivaldo, et al.
Published: (2025)
by: Ferreira, Ronivaldo, et al.
Published: (2025)
A Systematic Mapping on Software Fairness: Focus, Trends and Industrial Context
by: Nepomuceno, Kessia, et al.
Published: (2025)
by: Nepomuceno, Kessia, et al.
Published: (2025)
Assessing Simulation Knowledge and Proficiency Among Undergraduate Computing Students in Brazil: Insights and Results from a Survey Research
by: Rodrigues, Fernando Brito, et al.
Published: (2025)
by: Rodrigues, Fernando Brito, et al.
Published: (2025)
A Bot-based Approach to Manage Codes of Conduct in Open-Source Projects
by: Cobos, Sergio, et al.
Published: (2025)
by: Cobos, Sergio, et al.
Published: (2025)
Calculating Software's Energy Use and Carbon Emissions: A Survey of the State of Art, Challenges, and the Way Ahead
by: Pathania, Priyavanshi, et al.
Published: (2025)
by: Pathania, Priyavanshi, et al.
Published: (2025)
Measuring What Matters: A Framework for Evaluating Safety Risks in Real-World LLM Applications
by: Goh, Jia Yi, et al.
Published: (2025)
by: Goh, Jia Yi, et al.
Published: (2025)
The Evaluation of Open Source Software Innovativeness
by: Benkeltoum, Nordine
Published: (2025)
by: Benkeltoum, Nordine
Published: (2025)
Software is infrastructure: failures, successes, costs, and the case for formal verification
by: Bernardi, Giovanni, et al.
Published: (2025)
by: Bernardi, Giovanni, et al.
Published: (2025)
Mining a Decade of Event Impacts on Contributor Dynamics in Ethereum: A Longitudinal Study
by: Vaccargiu, Matteo, et al.
Published: (2025)
by: Vaccargiu, Matteo, et al.
Published: (2025)
Similar Items
-
Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models
by: Li, Ningke, et al.
Published: (2024) -
Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
by: Zheng, Xinyi, et al.
Published: (2025) -
Towards adaptive trajectories for mixed autonomous and human-operated ships
by: Pianini, Danilo, et al.
Published: (2024) -
The Systems Engineering Approach in Times of Large Language Models
by: Cabrera, Christian, et al.
Published: (2024) -
Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection
by: Li, Yuxi, et al.
Published: (2024)