LEADER 03937nam  22007095  450 
001 996465885503316
005 20200705161706.0
010   $a3-540-34455-1
024 7 $a10.1007/11759744
035   $a(CKB)1000000000232991
035   $a(SSID)ssj0000317691
035   $a(PQKBManifestationID)11248518
035   $a(PQKBTitleCode)TC0000317691
035   $a(PQKBWorkID)10294158
035   $a(PQKB)10862378
035   $a(DE-He213)978-3-540-34455-1
035   $a(MiAaPQ)EBC3068248
035   $a(PPN)123135222
035   $a(EXLCZ)991000000000232991
100   $a20100301d2006      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Approaches to Software Testing$b[electronic resource] $e5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers /$fedited by Wolfgang Grieskamp, Carsten Weise
205   $a1st ed. 2006.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006.
215   $a1 online resource (XII, 219 p.) 
225 1 $aProgramming and Software Engineering ;$v3997
300   $a"The workshop on Formal Approaches to Testing of Software (FATES)"--Foreword.
311   $a3-540-34454-3 
320   $aIncludes bibliographical references and index.
327   $aProceedings FATES 2005 -- Simulated Time for Testing Railway Interlockings with TTCN-3 -- Model-Based Testing Through a GUI -- Play to Test -- A Note on an Anomaly in Black-Box Testing -- A Novel Test Coverage Metric for Concurrently-Accessed Software Components -- Adaptive Random Testing by Bisection and Localization -- Interactive Testing with HOL-TestGen -- Conformance Testing Relations for Timed Systems -- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM -- Calculating Probabilities of Real-Time Test Cases -- Time Unbalanced Partial Order -- Testing Systems of Concurrent Black-Boxes?An Automata-Theoretic and Decompositional Approach -- Automated Generation of Positive and Negative Tests for Parsers -- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.
410  0$aProgramming and Software Engineering ;$v3997
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aManagement information systems
606   $aComputer science
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
615 24$aManagement of Computing and Information Systems.
676   $a004.01/51
702   $aGrieskamp$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWeise$b Carsten$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465885503316
996   $aFormal Approaches to Software Testing$9772199
997   $aUNISA