Skip to main content
SpringerLink
Log in

Fundamentals of Software Engineering

9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Hossein Hojjat

    1. Tehran Institute for Advanced Studies, Tehran, Iran

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mieke Massink

    1. CNR - ISTI, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FSEN 2021.

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 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.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

Table of contents (16 papers)

  1. Testing

    1. Compressing Automatically Generated Unit Test Suites Through Test Parameterization

      • Aidin Azamnouri, Samad Paydar
      Pages 215-221

    2. Systematic Extraction of Tests from Object-Oriented Programs

      • Mohammad Ghoreshi, Hassan Haghighi
      Pages 222-228

  2. Back Matter

    Pages 229-229
    Download chapter PDF
Back to top

Other volumes

  1. Fundamentals of Software Engineering

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.

The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.

Editors and Affiliations

  • Tehran Institute for Advanced Studies, Tehran, Iran

    Hossein Hojjat

  • CNR - ISTI, Pisa, Italy

    Mieke Massink

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation