Opening book details…
Can I read Automatic Program Repair Using Formal Verification and Expression Templates on EtoBox?
Automatic Program Repair Using Formal Verification and Expression Templates by Thanh-Toan Nguyen; Quang-Trung Ta; Wei-Ngan Chin is a computer science book available to read on EtoBox.
What is Automatic Program Repair Using Formal Verification and Expression Templates about?
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive m
Who reads Automatic Program Repair Using Formal Verification and Expression Templates?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Thanh-Toan Nguyen; Quang-Trung Ta; Wei-Ngan Chin
- Publisher
- Springer International Publishing : Imprint: Springer
- Published
- 2019
- Language
- EN
- ISBN
- 9783030112448
- Category
- computer science
- Subjects
- Engineering, Mathematics, Computer Science
- Updated
- 2026-03-25
More by Thanh-Toan Nguyen; Quang-Trung Ta; Wei-Ngan Chin
Browse all works by Thanh-Toan Nguyen; Quang-Trung Ta; Wei-Ngan Chin
Similar books
- Teaching Formal Methods to Undergraduate Students Using Maude — Peter Csaba Ölveczky (2022)
- Code Obfuscation Against Abstract Model Checking Attacks — Roberto Bruni; Roberto Giacobazzi; Roberta Gori (2017)
- Machine Learning Techniques and Chi-Square Feature Selection for Cancer Classification Using SAGE Gene Expression Profiles — Xin Jin; Anbang Xu; Rongfang Bie; Ping Guo (2006)
- Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification — Rodica Condurache; Riccardo De Masellis; Valentin Goranko (2019)
- Formal Verification of Security Protocols — Markus Roggenbach; Siraj Ahmed Shaikh; Hoang Nga Nguyen (2022)
- Core SBML and Its Formal Semantics — Joachim Niehren; Cédric Lhoussaine; Athénaïs Vaginay (2023)