Copertina

A Case Study on Numerical Analysis of a Path Computation Algorithm

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Boussu, Grégoire, Kosmatov, Nikolai, Védrine, Franck
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering G.1.0; F.3.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

Classifying extrema using intervals
di: Gutowski, Marek W.
Pubblicazione: (2006)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Points-to Analysis Using MDE: A Multi-level Deduplication Engine for Repetitive Data and Operations
di: Ghorui, Anamitra, et al.
Pubblicazione: (2026)

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

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
di: Amusuo, Paschal C., et al.
Pubblicazione: (2025)

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

Graphical Quadratic Algebra
di: Stein, Dario, et al.
Pubblicazione: (2024)

A Unit Proofing Framework for Code-level Verification: A Research Agenda
di: Amusuo, Paschal C., et al.
Pubblicazione: (2024)

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

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