000 | 04249nam a22006375i 4500 | ||
---|---|---|---|
001 | 978-3-319-61467-0 | ||
003 | DE-He213 | ||
005 | 20210120143338.0 | ||
007 | cr nn 008mamaa | ||
008 | 170617s2017 gw | s |||| 0|eng d | ||
020 |
_a9783319614670 _9978-3-319-61467-0 |
||
024 | 7 |
_a10.1007/978-3-319-61467-0 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aTests and Proofs _h[electronic resource] : _b11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings / _cedited by Sebastian Gabmeyer, Einar Broch Johnsen. |
250 | _a1st ed. 2017. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2017. |
|
300 |
_aXI, 163 p. 38 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering ; _v10375 _aLecture Notes in Computer Science _v10375 |
|
505 | 0 | _aAbstraction Refinement for the Analysis of Software Product Lines -- Hybrid Information Flow Analysis for Real-World C Code -- Symbolic Execution of Transition Systems with Function Summaries -- Unit Testing of Database-Driven Java Enterprise Edition Applications -- Model-Based Testing of Probabilistic Systems with Stochastic Time -- Test Suite Reduction in Idempotence Testing of Infrastructure as Code -- Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms -- Skolem Function Continuation for Quantified Boolean Formulas -- WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions under Load Conditions -- Testing a Saturation-Based Theorem Prover: Experiences and Challenges. . | |
520 | _aThis book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability. | ||
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aComputer organization. | |
650 | 0 | _aComputer logic. | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aComputer-aided engineering. | |
650 | 0 | _aComputer programming. | |
650 | 1 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
650 | 2 | 4 |
_aComputer Systems Organization and Communication Networks. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13006 |
650 | 2 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
650 | 2 | 4 |
_aArtificial Intelligence. _0https://scigraph.springernature.com/ontologies/product-market-codes/I21000 |
650 | 2 | 4 |
_aComputer-Aided Engineering (CAD, CAE) and Design. _0https://scigraph.springernature.com/ontologies/product-market-codes/I23044 |
650 | 2 | 4 |
_aProgramming Techniques. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14010 |
700 | 1 |
_aGabmeyer, Sebastian. _eeditor. _0(orcid)0000-0002-4097-9917 _1https://orcid.org/0000-0002-4097-9917 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aJohnsen, Einar Broch. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319614663 |
776 | 0 | 8 |
_iPrinted edition: _z9783319614687 |
830 | 0 |
_aProgramming and Software Engineering ; _v10375 |
|
830 | 0 |
_aLecture Notes in Computer Science ; _v10375 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-61467-0 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c57672 _d57672 |