:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Boussu, Grégoire, Kosmatov, Nikolai, Védrine, Franck
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering G.1.0; F.3.2
Accès en ligne:	https://arxiv.org/abs/2411.14372
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Comparative Quality Metric for Untargeted Fuzzing with Logic State Coverage
par: Lee, Gwangmu
Publié: (2024)

A Survey on Testing and Analysis of Quantum Software
par: Paltenghi, Matteo, et autres
Publié: (2024)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
par: Chen, Jinbao, et autres
Publié: (2024)

CUQIpy: I. Computational uncertainty quantification for inverse problems in Python
par: Riis, Nicolai A B, et autres
Publié: (2023)

Towards s'more connected coding camps
par: Fronza, Ilenia, et autres
Publié: (2024)

Lessons from Formally Verified Deployed Software Systems (Extended version)
par: Huang, Li, et autres
Publié: (2023)

ASE-26: a curriculum for agentic software engineering as a discipline
par: Gorsky, Mikael
Publié: (2026)

Summa Summarum: Moessner's Theorem without Dynamic Programming
par: Danvy, Olivier
Publié: (2024)

Classifying extrema using intervals
par: Gutowski, Marek W.
Publié: (2006)

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
par: Piedeleu, Robin, et autres
Publié: (2024)

Embedding Sustainability in Software Engineering Curriculum: A Case Study
par: Chitchyan, Ruzanna, et autres
Publié: (2025)

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
par: Ye, Kangfeng, et autres
Publié: (2024)

Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics
par: Paramitha, Ranindya, et autres
Publié: (2024)

Source Code Hotspots: A Diagnostic Method for Quality Issues
par: Muzammil, Saleha, et autres
Publié: (2026)

Hybrid Active Teaching Methodology for Learning Development: A Self-assessment Case Study Report in Computer Engineering
par: Baima, Renan Lima, et autres
Publié: (2024)

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

Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds
par: Dietrich, Jens, et autres
Publié: (2024)

Inferring Input Grammars from Code with Symbolic Parsing
par: Bettscheider, Leon, et autres
Publié: (2025)

An Expressive Trace Logic for Recursive Programs
par: Gurov, Dilian, et autres
Publié: (2024)

Myriad People Open Source Software for New Media Arts
par: Baudry, Benoit, et autres
Publié: (2025)

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

A Short Survey on Formalising Software Requirements using Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
par: Abounegm, Abdelrahman, et autres
Publié: (2024)

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
par: Mostovyi, Oleksandr
Publié: (2026)

On the Realizability of Prime Conjectures in Heyting Arithmetic
par: Rosko, Milan
Publié: (2025)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
par: Beg, Arshad, et autres
Publié: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
par: Beg, Arshad, et autres
Publié: (2025)

Verifying a Sparse Matrix Algorithm Using Symbolic Execution
par: Wilton, Alexander C.
Publié: (2025)

Analyzing the Resource Utilization of Lambda Functions on Mobile Devices: Case Studies on Kotlin and Swift
par: Ejimuda, Chibundom U., et autres
Publié: (2025)

Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems
par: van Emden, M. H., et autres
Publié: (2004)

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

Computing sharp and scalable bounds on errors in approximate zeros of univariate polynomials
par: Ramakrishna, P. H. D., et autres
Publié: (2003)

How Do Code Smells Affect Skill Growth in Scratch Novice Programmers?
par: Aragón, Ricardo Hidalgo, et autres
Publié: (2025)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
par: Shirzad, Mohammad Robati, et autres
Publié: (2024)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
par: Beg, Arshad, et autres
Publié: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
par: Beg, Arshad, et autres
Publié: (2026)

Formalising Software Requirements using Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
par: Beg, Arshad, et autres
Publié: (2026)

Graphical Quadratic Algebra
par: Stein, Dario, et autres
Publié: (2024)