LEADER 00885nam0-22002891i-450 
001 990004843000403321
005 20230306152424.0
035   $a000484300
035   $aFED01000484300
035   $a(Aleph)000484300FED01
100   $a19990530g19419999km-y0itay50------ba
101 0 $afre$afrm
102   $aSE
105   $af---e---001yy
200 1 $aFloovant$eChanson de geste du XII siècle$ePubliée avec introduction, notes et glossaire$fthèse pour le doctorat par Sven Andolf
210   $aUppsala$cAlmqvist & Wiksells Boktryckeri$d1941
215   $aCLXXXIV, 199 p.$c3 tav.$d24 cm
700  1$aAndolf,$bSven$0193723
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990004843000403321
952   $aMX FL 251$bFil. Mod. 2009$fFLFBC
952   $aBIB. BAT.4947$b6769$fBAT
959   $aFLFBC
959   $aBAT
996   $aFloovant$9518130
997   $aUNINA

LEADER 03478nam  22006975  450 
001 9910298983803321
005 20251117075711.0
010   $a3-662-43429-6
024 7 $a10.1007/978-3-662-43429-1
035   $a(CKB)3710000000239429
035   $a(EBL)1966897
035   $a(OCoLC)893674224
035   $a(SSID)ssj0001353808
035   $a(PQKBManifestationID)11751751
035   $a(PQKBTitleCode)TC0001353808
035   $a(PQKBWorkID)11322353
035   $a(PQKB)11453026
035   $a(MiAaPQ)EBC1966897
035   $a(DE-He213)978-3-662-43429-1
035   $a(PPN)18134940X
035   $a(EXLCZ)993710000000239429
100   $a20140915d2014      u|         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aAutomatic Generation of Combinatorial Test Data /$fby Jian Zhang, Zhiqiang Zhang, Feifei Ma
205   $a1st ed. 2014.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014.
215   $a1 online resource (97 p.)
225 1 $aSpringerBriefs in Computer Science,$x2191-5768
300   $aDescription based upon print version of record.
311 08$a3-662-43428-8 
320   $aIncludes bibliographical references.
327   $aIntroduction to Combinatorial Testing -- Mathematical Construction Methods -- One Test at a Time -- The IPO Family -- Evolutionary Computation and Metaheuristics -- Evolutionary Computation and Metaheuristics -- Tools and Benchmarks -- Other Related Topics.
330   $aThis book reviews the state-of-the-art in combinatorial testing, with particular emphasis on the automatic generation of test data. It describes the most commonly used approaches in this area - including algebraic construction, greedy methods, evolutionary computation, constraint solving and optimization - and explains major algorithms with examples. In addition, the book lists a number of test generation tools, as well as benchmarks and applications. Addressing a multidisciplinary topic, it will be of particular interest to researchers and professionals in the areas of software testing, combinatorics, constraint solving and evolutionary computation.
410  0$aSpringerBriefs in Computer Science,$x2191-5768
606   $aSoftware engineering
606   $aComputer science?Mathematics
606   $aArtificial intelligence
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aSoftware engineering.
615  0$aComputer science?Mathematics.
615  0$aArtificial intelligence.
615 14$aSoftware Engineering.
615 24$aMath Applications in Computer Science.
615 24$aArtificial Intelligence.
676   $a004
676   $a004.0151
676   $a005.1
676   $a006.3
700   $aZhang$b Jian$4aut$4http://id.loc.gov/vocabulary/relators/aut$0652044
702   $aZhang$b Zhiqiang$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aMa$b Feifei$4aut$4http://id.loc.gov/vocabulary/relators/aut
906   $aBOOK
912   $a9910298983803321
996   $aAutomatic Generation of Combinatorial Test Data$92281732
997   $aUNINA