001437591 000__ 03572cam\a2200625\i\4500
001437591 001__ 1437591
001437591 003__ OCoLC
001437591 005__ 20230309004156.0
001437591 006__ m\\\\\o\\d\\\\\\\\
001437591 007__ cr\cn\nnnunnun
001437591 008__ 210625s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001437591 020__ $$a9783030793791$$q(electronic bk.)
001437591 020__ $$a3030793796$$q(electronic bk.)
001437591 020__ $$z9783030793784$$q(print)
001437591 0247_ $$a10.1007/978-3-030-79379-1$$2doi
001437591 035__ $$aSP(OCoLC)1257552263
001437591 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dOCLCF$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dEBLCP$$dOCLCQ
001437591 049__ $$aISEA
001437591 050_4 $$aQA76.76.T48$$b.T37 2021eb
001437591 08204 $$a005.1$$223
001437591 1112_ $$aTAP (Conference)$$n(15th :$$d2021 :$$cOnline)
001437591 24510 $$aTests and proofs :$$b15th International Conference, TAP 2021, held as part of STAF 2021, Virtual event, June 21-22, 2021, Proceedings /$$cFrédéric Loulergue, Franz Wotawa (eds.).
001437591 2463_ $$aTAP 2021
001437591 264_1 $$aCham :$$bSpringer,$$c2021.
001437591 300__ $$a1 online resource (xiii, 107 pages) :$$billustrations
001437591 336__ $$atext$$btxt$$2rdacontent
001437591 337__ $$acomputer$$bc$$2rdamedia
001437591 338__ $$aonline resource$$bcr$$2rdacarrier
001437591 4901_ $$aLecture notes in computer science ;$$v12740
001437591 4901_ $$aLNCS sublibrary, SL 2, Programming and software engineering
001437591 500__ $$aIncludes author index.
001437591 5050_ $$aLearning, Test Resource Allocation and Benchmarks -- Use Case Testing: A Constrained Active Machine Learning Approach -- Architecture-Guided Test Resource Allocation Via Logic -- A Benchmarks Library for Extended Timed Automata -- Testing -- Generating Timed UI Tests from Counterexamples -- Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs -- FuSeBMC: An Energy-E cient Test Generator for Finding Security Vulnerabilities in C Programs.
001437591 506__ $$aAccess limited to authorized users.
001437591 520__ $$aThis book constitutes the proceedings of the 15th International Conference on Tests and Proofs, TAP 2021, which was held as part of Software Technologies: Applications and Foundations, STAF 2021, and took place online during June 12-25, 2021. The 6 full papers included in this volume were carefully reviewed and selected from 10 submissions. They were organized in topical sections on learning, test resource allocation and benchmarks and on testing.
001437591 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed June 25, 2021).
001437591 650_0 $$aComputer software$$xTesting$$vCongresses.
001437591 650_0 $$aComputer software$$xVerification$$vCongresses.
001437591 650_0 $$aSoftware engineering$$vCongresses.
001437591 650_6 $$aLogiciels$$xVérification$$vCongrès.
001437591 650_6 $$aGénie logiciel$$vCongrès.
001437591 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001437591 655_7 $$aConference papers and proceedings.$$2lcgft
001437591 655_7 $$aActes de congrès.$$2rvmgf
001437591 655_0 $$aElectronic books.
001437591 7001_ $$aLoulergue, Frédéric,$$eeditor.$$0(orcid)0000-0001-9301-7829$$1https://orcid.org/0000-0001-9301-7829
001437591 7001_ $$aWotawa, Franz,$$eeditor$$0(orcid)0000-0002-0462-2283$$1https://orcid.org/0000-0002-0462-2283
001437591 7112_ $$aSTAF (Federation of conferences)$$d(2020 :$$cOnline)
001437591 830_0 $$aLecture notes in computer science ;$$v12740.
001437591 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
001437591 852__ $$bebk
001437591 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-79379-1$$zOnline Access$$91397441.1
001437591 909CO $$ooai:library.usi.edu:1437591$$pGLOBAL_SET
001437591 980__ $$aBIB
001437591 980__ $$aEBOOK
001437591 982__ $$aEbook
001437591 983__ $$aOnline
001437591 994__ $$a92$$bISE