TY  - GEN
N2  - This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.
DO  - 10.1007/978-3-031-38828-6
DO  - doi
AB  - This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.
T1  - Tests and proofs :17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, proceedings /
AU  - Prevosto, Virgile,
AU  - Seceleanu, Cristina,
VL  - 14066
CN  - QA76.758
N1  - International conference proceedings.
ID  - 1472020
KW  - Software engineering
KW  - Computer software
SN  - 9783031388286
SN  - 3031388283
TI  - Tests and proofs :17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-38828-6
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-38828-6
ER  -