Skip to main content
Springer Nature Link
Account

Theoretical Aspects of Software Engineering

16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Yamine Aït-Ameur

    1. IRIT, Toulouse, France

  2. Florin Crăciun

    1. Babeș-Bolyai University, Cluj-Napoca, Romania

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13299)

Included in the following conference series:

Conference proceedings info: TASE 2022.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (27 papers)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Practical Theory of Computation on Structures

    • Klaus-Dieter Schewe
    Pages 1-14

  3. Complexity of Distributed Petri Net Synthesis

    • Raymond Devillers, Ronny Tredup
    Pages 15-28

  4. Repairing Adversarial Texts Through Perturbation

    • Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai et al.
    Pages 29-48

  5. Formal Verification of a Keystore

    • Jaap Boender, Goran Badevic
    Pages 49-64

  6. A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification

    • Nicholas Moore, Mark Lawford
    Pages 65-72

  7. Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks

    • Francesco Parolini, Antoine Miné
    Pages 73-91

  8. On Verification of Smart Contracts via Model Checking

    • Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wuwei Shen, Pengfei Sun, Yingqi Zhao
    Pages 92-112

  9. Equivalence of Denotational and Operational Semantics for Interaction Languages

    • Erwan Mahe, Christophe Gaston, Pascale Le Gall
    Pages 113-130

  10. Automatic Classification of Bug Reports Based on Multiple Text Information and Reports’ Intention

    • Fanqi Meng, Xuesong Wang, Jingdong Wang, Peifang Wang
    Pages 131-147

  11. Collaborative Verification of Uninterpreted Programs

    • Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang
    Pages 148-154

  12. MSDetector: A Static PHP Webshell Detection System Based on Deep-Learning

    • Baijun Cheng, Yanhui Guo, Yan Ren, Gang Yang, Guosheng Xu
    Pages 155-172

  13. Extending Process Algebra with an Undefined Action

    • S. Arun-Kumar
    Pages 173-179

  14. Machine-Assisted Proofs for Institutions in Coq

    • Conor Reynolds, Rosemary Monahan
    Pages 180-196

  15. Optimizing Trans-Compilers in Runtime Verification Makes Sense – Sometimes

    • Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz
    Pages 197-204

  16. Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs

    • Haitao Zhang, Bowen Pu
    Pages 205-219

  17. Dynamic Specification Mining Based on Transformer

    • Ying Gao, Meng Wang, Bin Yu
    Pages 220-237

  18. Dynamic Environment Simulation for Database Performance Evaluation

    • Chunxi Zhang, Rong Zhang, Kai Liu
    Pages 238-255

  19. Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications

    • Racem Bougacha, Régine Laleau, Simon Collart-Dutilleul, Rahma Ben Ayed
    Pages 256-273

  20. Development of Monitoring Systems for Anomaly Detection Using ASTD Specifications

    • El Jabri Chaymae, Frappier Marc, Ecarot Thibaud, Tardif Pierre-Martin
    Pages 274-289
Back to top

Other volumes

  1. Theoretical Aspects of Software Engineering

Editors and Affiliations

  • IRIT, Toulouse, France

    Yamine Aït-Ameur

  • Babeș-Bolyai University, Cluj-Napoca, Romania

    Florin Crăciun

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top