:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Boussu, Grégoire, Kosmatov, Nikolai, Védrine, Franck
Format:	Preprint
Published:	2024
Subjects:	Software Engineering G.1.0; F.3.2
Online Access:	https://arxiv.org/abs/2411.14372
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Comparative Quality Metric for Untargeted Fuzzing with Logic State Coverage
by: Lee, Gwangmu
Published: (2024)

A Survey on Testing and Analysis of Quantum Software
by: Paltenghi, Matteo, et al.
Published: (2024)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
by: Chen, Jinbao, et al.
Published: (2024)

CUQIpy: I. Computational uncertainty quantification for inverse problems in Python
by: Riis, Nicolai A B, et al.
Published: (2023)

Towards s'more connected coding camps
by: Fronza, Ilenia, et al.
Published: (2024)

Lessons from Formally Verified Deployed Software Systems (Extended version)
by: Huang, Li, et al.
Published: (2023)

ASE-26: a curriculum for agentic software engineering as a discipline
by: Gorsky, Mikael
Published: (2026)

Summa Summarum: Moessner's Theorem without Dynamic Programming
by: Danvy, Olivier
Published: (2024)

Classifying extrema using intervals
by: Gutowski, Marek W.
Published: (2006)

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
by: Piedeleu, Robin, et al.
Published: (2024)

Embedding Sustainability in Software Engineering Curriculum: A Case Study
by: Chitchyan, Ruzanna, et al.
Published: (2025)

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
by: Ye, Kangfeng, et al.
Published: (2024)

Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics
by: Paramitha, Ranindya, et al.
Published: (2024)

Source Code Hotspots: A Diagnostic Method for Quality Issues
by: Muzammil, Saleha, et al.
Published: (2026)

Hybrid Active Teaching Methodology for Learning Development: A Self-assessment Case Study Report in Computer Engineering
by: Baima, Renan Lima, et al.
Published: (2024)

(How) Do Large Language Models Understand High-Level Message Sequence Charts?
by: Mousavi, Mohammad Reza
Published: (2026)

Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds
by: Dietrich, Jens, et al.
Published: (2024)

Inferring Input Grammars from Code with Symbolic Parsing
by: Bettscheider, Leon, et al.
Published: (2025)

An Expressive Trace Logic for Recursive Programs
by: Gurov, Dilian, et al.
Published: (2024)

Myriad People Open Source Software for New Media Arts
by: Baudry, Benoit, et al.
Published: (2025)

From Domain Understanding to Design Readiness: a playbook for GenAI-supported learning in Software Engineering
by: Wlodarski, Rafal
Published: (2026)

A Short Survey on Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
by: Abounegm, Abdelrahman, et al.
Published: (2024)

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
by: Mostovyi, Oleksandr
Published: (2026)

On the Realizability of Prime Conjectures in Heyting Arithmetic
by: Rosko, Milan
Published: (2025)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
by: Beg, Arshad, et al.
Published: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)

Verifying a Sparse Matrix Algorithm Using Symbolic Execution
by: Wilton, Alexander C.
Published: (2025)

Analyzing the Resource Utilization of Lambda Functions on Mobile Devices: Case Studies on Kotlin and Swift
by: Ejimuda, Chibundom U., et al.
Published: (2025)

Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems
by: van Emden, M. H., et al.
Published: (2004)

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
by: McCann, Alan L.
Published: (2026)

Computing sharp and scalable bounds on errors in approximate zeros of univariate polynomials
by: Ramakrishna, P. H. D., et al.
Published: (2003)

How Do Code Smells Affect Skill Growth in Scratch Novice Programmers?
by: Aragón, Ricardo Hidalgo, et al.
Published: (2025)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
by: Shirzad, Mohammad Robati, et al.
Published: (2024)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
by: Beg, Arshad, et al.
Published: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
by: Beg, Arshad, et al.
Published: (2026)

Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
by: Beg, Arshad, et al.
Published: (2026)

Graphical Quadratic Algebra
by: Stein, Dario, et al.
Published: (2024)