Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers /
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023. The 9 full papers and 2 short papers presented in this volume were carefully reviewed and selected fr...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Elektronik Ekitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| Edisyon: | 1st ed. 2023. |
| Seri Bilgileri: | Lecture Notes in Computer Science,
14155 |
| Konular: | |
| Online Erişim: | https://doi.org/10.1007/978-3-031-42441-0 |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
İçindekiler:
- Structured specification of paraconsistent transition systems
- Towards a Basic Theory for Partial Differentiation in the Prototype Verification System
- Case studies of development of verified programs with Dafny for accessibility assessment
- TPGen: A Self-Stabilizing GPU-Based Method for Test and Prime Paths Generation
- An Optimised Complete Strategy for Testing Symbolic Finite State Machines
- Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models
- Interaction-based Offline Runtime Verification of Distributed Systems
- Genetic Algorithm for Program Synthesis
- Property-Based Conjecturing for Automated Induction in Isabelle/HOL
- Verification of the busy-forbidden protocol
- kProp: Multi-Neuron Relaxation Method for Neural Network Robustness Verification.