:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
Format:	Recurso digital
Langue:
Publié:	Zenodo 2019
Sujets:	Program Slicing Relational Verification Formal Methods
Accès en ligne:	https://doi.org/10.5281/zenodo.3334553
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
Publié: (2023)

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
Publié: (2022)

Incorporation of chia seeds (Salvia hispanica L.) in cereal flour mixtures: rheology and quality of sliced bread
par: Elza Aguirre
Publié: (2021)

Quality of service evaluation based on network slicing for software-defined 5G systems
par: Kevin Sneider Ibarra-Lancheros
Publié: (2018)

Network Sliced Distributed Learning-as-a-Service for Internet of Vehicles Applications in 6G Non-Terrestrial Network Scenarios
par: Naseh, David, et autres
Publié: (2024)

CFP-MCFP Complete Theorem Proofs: 78 Slides with Lean 4 Proof Details
par: Mr. NeC B.V.
Publié: (2026)

Network Slicing in the IIoT Era: Architectures, Blueprints, and Tooling Ecosystem
par: Zeydan, E., et autres
Publié: (2025)

MetaSem: metamorphic testing based on semantic information of autonomous driving scenes
par: Zhen Yang, et autres
Publié: (2024)

The Ontological Revolution in Physics: Reconstructing Time, Gravity, and Quantum Phenomena
par: Bian, Zhenfeng
Publié: (2025)

The Ontological Revolution in Physics: Reconstructing Time, Gravity, and Quantum Phenomena
par: Bian, Zhenfeng
Publié: (2025)

Zero-LLM Multi-Agent Architecture for AI Safety Evaluation: Formal Verification, 8 Ethical Dimensions, <50ms
par: Mariquit, Erny-Jay
Publié: (2026)

Black-Box Testing Technique for Information Visualization. Sequencing Constraints with Low-Level Interactions
par: Martín L. Larrea
Publié: (2017)

CFP-MCFP Complete Theorem Proofs: Riemann Hypothesis, Goldbach, Beal, Collatz and 33 Related Results (v2)
par: Mr. NeC B.V.
Publié: (2026)

Ensuring Syntactic Interoperability Using Consumer‐Driven Contract Testing
par: Georg‐Daniel Schwarz, et autres
Publié: (2025)

Verification of the high-sensitivity troponin I assay method on Abbott Alinity I: Experience of the central Biochemistry Laboratory of Ibn Sina University Hospital in Rabat
par: Lakrami, Salima, et autres
Publié: (2025)

Universal Verification Protocol for Historical Sources: Key Principles
par: Bogouchevski, Igor
Publié: (2025)

PRD-AGI: The Complete Theoretical Monograph – A Causal Geometry of Intelligence (Version 2.3)
par: Aung, Myomin
Publié: (2026)

Data Management inside the Library: Assessing Electronic Resources Data Using the Data Asset Framework Methodology
par: Ogier, Andi, et autres
Publié: (2014)

HGA: Heuristic Black‐Box Test Case Generation for NLP Intelligent Software
par: Mingxuan Xiao, et autres
Publié: (2026)

Issue Information
Publié: (2024)

DNN Testing, Regression Testing and Software Reliability Prediction
par: Yves Le Traon, et autres
Publié: (2024)

Boosting Multimode Ruling in DHR Architecture With Metamorphic Relations
par: Ruosi Li, et autres
Publié: (2024)

SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation‐based approach
par: Yan Dong, et autres
Publié: (2024)

PSC‐SBFL: Combining PSC With SBFL to Improve Software Fault Localization
par: Zhonghao Guo, et autres
Publié: (2025)

Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study
par: Richard Somers, et autres
Publié: (2025)

Search‐Based MC/DC Test Data Generation With OCL Constraints
par: Hassan Sartaj, et autres
Publié: (2024)

Tempus: An Evolutionary Mutation Testing System on Event‐Based Systems With Profile‐Based Individual Generation
par: Lorena Gutiérrez‐Madroñal, et autres
Publié: (2025)

Issue Information
Publié: (2024)

Fault tolerance and metamorphic relation prediction
par: Yves Le Traon, et autres
Publié: (2024)

MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation
par: Chuyang Chen, et autres
Publié: (2024)

Issue Information
Publié: (2024)

Issue Information
Publié: (2024)

Mutation‐Guided Metamorphic Testing of Optimality in AI Planning
par: Quentin Mazouni, et autres
Publié: (2024)

Scenario‐Driven Metamorphic Testing for Autonomous Driving Simulators
par: Yifan Zhang, et autres
Publié: (2024)

An Approach of Structure‐Enhanced Code‐Centric Graph Learning for Just‐in‐Time Software Vulnerability Detection
par: Phu Pham, et autres
Publié: (2026)

Issue Information
Publié: (2026)

Delta4Ms: Improving mutation‐based fault localization by eliminating mutant bias
par: Hengyuan Liu, et autres
Publié: (2024)

Improving Web Element Localization by Using a Large Language Model
par: Michel Nass, et autres
Publié: (2024)

Automated Game Testing With Online Search Agent and Model Construction, a Study
par: Samira Shirzadehhajimahmood, et autres
Publié: (2025)

Vulnerability Detection in AI‐Generated and Human‐Written Code of Multiple Programming Languages With Structured Learning
par: Nithya A, et autres
Publié: (2026)