001430998 000__ 05200cam\a2200745\i\4500
001430998 001__ 1430998
001430998 003__ OCoLC
001430998 005__ 20230308003216.0
001430998 006__ m\\\\\o\\d\\\\\\\\
001430998 007__ cr\cn\nnnunnun
001430998 008__ 210402s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001430998 019__ $$a1249943743$$a1253403057
001430998 020__ $$a9783030715007$$q(electronic bk.)
001430998 020__ $$a3030715000$$q(electronic bk.)
001430998 020__ $$a3030714993
001430998 020__ $$a9783030714994
001430998 020__ $$a9783030715014$$q(print)
001430998 020__ $$a3030715019
001430998 020__ $$z9783030714994$$q(print)
001430998 0247_ $$a10.1007/978-3-030-71500-7$$2doi
001430998 035__ $$aSP(OCoLC)1244545481
001430998 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dEBLCP$$dOCLCF$$dLEATE$$dVT2$$dLIP$$dOCLCQ$$dOCLCO$$dCOM$$dOCLCO$$dOCLCQ
001430998 049__ $$aISEA
001430998 050_4 $$aQA76.758$$b.F37 2021eb
001430998 08204 $$a005.1$$223
001430998 1112_ $$aFASE (Conference)$$n(24th :$$d2021 :$$cOnline)
001430998 24510 $$aFundamental approaches to software engineering :$$b24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings /$$cEsther Guerra, Mariëlle Stoelinga (eds.).
001430998 2463_ $$aFASE 2021
001430998 264_1 $$aCham, Switzerland :$$bSpringer,$$c2021.
001430998 300__ $$a1 online resource (xiv, 373 pages) :$$billustrations
001430998 336__ $$atext$$btxt$$2rdacontent
001430998 337__ $$acomputer$$bc$$2rdamedia
001430998 338__ $$aonline resource$$bcr$$2rdacarrier
001430998 347__ $$atext file
001430998 347__ $$bPDF
001430998 4901_ $$aLecture notes in computer science ;$$v12649
001430998 4901_ $$aAdvanced research in computing and software science
001430998 4901_ $$aLNCS sublibrary, SL 1, Theoretical computer science and general issues
001430998 500__ $$aInternational conference proceedings.
001430998 500__ $$a"Because of the Covid-19 pandemic, this was changed to an online event."--Preface
001430998 500__ $$aIncludes author index.
001430998 5050_ $$aFASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses -- An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).
001430998 5060_ $$aOpen access.$$5GW5XE
001430998 520__ $$aThis open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27-April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
001430998 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 2, 2021).
001430998 650_0 $$aSoftware engineering$$vCongresses.
001430998 650_6 $$aGénie logiciel$$vCongrès.
001430998 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001430998 655_7 $$aConference papers and proceedings.$$2lcgft
001430998 655_7 $$aActes de congrès.$$2rvmgf
001430998 655_0 $$aElectronic books.
001430998 7001_ $$aGuerra, Esther,$$eeditor$$1https://orcid.org/0000-0002-2818-2278
001430998 7001_ $$aStoelinga, Mariëlle,$$eeditor.$$1https://orcid.org/0000-0001-6793-8165
001430998 7112_ $$aETAPS (Conference)$$n(24th :$$d2021 :$$cOnline)
001430998 77608 $$iPrint version: $$z9783030714994
001430998 77608 $$iPrint version: $$z9783030715014
001430998 830_0 $$aLecture notes in computer science ;$$v12649.
001430998 830_0 $$aLecture notes in computer science.$$pAdvanced research in computing and software science.
001430998 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001430998 852__ $$bebk
001430998 85640 $$3Springer Nature$$uhttps://link.springer.com/10.1007/978-3-030-71500-7$$zOnline Access$$91397441.2
001430998 909CO $$ooai:library.usi.edu:1430998$$pGLOBAL_SET
001430998 980__ $$aBIB
001430998 980__ $$aEBOOK
001430998 982__ $$aEbook
001430998 983__ $$aOnline
001430998 994__ $$a92$$bISE