› › Proceedings Of The 26th Acm Sigsoft International Symposium On Software Testing And Analysis

Runtime Verification

Author : Jyotirmoy Deshmukh

Publisher : Springer Nature

Page : 538 pages

File Size : 28,21 MB

Release : 2020-10-07

Category : Computers

ISBN : 3030605086

Get eBook

Book Description

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial papers, 6 tool papers, and a benchmark paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. The papers are organized in the following topical sections: runtime verification for autonomy; runtime verification for software; runtime verification with temporal logic specifications; stream-based monitoring; and runtime verification for cyber-physical systems.



Search-Based Software Engineering

Author : Una-May O'Reilly

Publisher : Springer Nature

Page : 176 pages

File Size : 41,89 MB

Release : 2021-09-30

Category : Computers

ISBN : 3030881067

Get eBook

Book Description

This book constitutes the proceedings of the 13th International Symposium on Search-Based Software Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021. The 9 full and 2 short papers included in this volume were carefully reviewed and selected from 19 submissions. The papers deal with novel ideas and applications of search-based software engineering, focusing on engineering challenges and the application of automated approaches and optimization techniques from AI and machine learning research.



Fundamentals of Software Engineering

Author : Hossein Hojjat

Publisher : Springer Nature

Page : 235 pages

File Size : 45,33 MB

Release : 2021-10-16

Category : Computers

ISBN : 3030892476

Get eBook

Book Description

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.





Software Technologies

Author : Marten van Sinderen

Publisher : Springer

Page : 432 pages

File Size : 39,73 MB

Release : 2019-08-12

Category : Computers

ISBN : 303029157X

Get eBook

Book Description

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Joint Conference on Software Technologies, ICSOFT 2018, held in Porto, Portugal, in July 2018. The 18 revised full papers were carefully reviewed and selected from 117 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc.



Search-Based Software Engineering

Author : Thelma Elita Colanzi

Publisher : Springer

Page : 400 pages

File Size : 47,35 MB

Release : 2018-08-23

Category : Computers

ISBN : 3319992414

Get eBook

Book Description

This book constitutes the refereed proceedings of the 10th International Symposium on Search-Based Software Engineering, SSBSE 2018, held in Montpellier, France, in September 2018. The 12 full papers and 7 short papers presented together with 3 keynotes, 2 tutorials, and 1 anniversary paper were carefully reviewed and selected from 21 submissions. SSBSE welcomes not only applications from throughout the software engineering lifecycle but also a broad range of search methods ranging from exact Operational Research techniques to nature-inspired algorithms and simulated annealing. Chapter "Deploying Search Based Software Engineering with Sapienz at Facebook" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.



Computer and Information Sciences

Author : Tadeusz Czachórski

Publisher : Springer

Page : 276 pages

File Size : 18,32 MB

Release : 2018-09-15

Category : Computers

ISBN : 3030008401

Get eBook

Book Description

This book constitutes the refereed proceedings of the 32nd International Symposium on Computer and Information Sciences, ISCIS 2018, held in Poznan, Poland, in September 2018. The 29 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers are dealing with the following topics: smart algorithms; data classification and processing; stochastic modelling; performance evaluation; queuing systems; wireless networks and security; image processing and computer vision.



Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis

Author : Tevfik Bultan

Publisher :

Page : pages

File Size : 16,81 MB

Release : 2017-07-10

Category :

ISBN : 9781450350761

Get eBook

Book Description

ISSTA '17: International Symposium on Software Testing and Analysis Jul 10, 2017-Jul 14, 2017 Santa Barbara, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.





Theoretical Aspects of Software Engineering

Author : Cristina David

Publisher : Springer Nature

Page : 375 pages

File Size : 43,76 MB

Release : 2023-06-26

Category : Computers

ISBN : 3031352572

Get eBook

Book Description

This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023. The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.