| Record ID | harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:921990900:2533 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:921990900:2533?format=raw |
LEADER: 02533nam a22005295a 4500
001 013818950-1
005 20131206191848.0
008 131030s2013 gw | s ||0| 0|eng d
020 $a9783642417078
020 $a9783642417078
020 $a9783642417061
024 7 $a10.1007/978-3-642-41707-8$2doi
035 $a(Springer)9783642417078
040 $aSpringer
050 4 $aQA76.758
072 7 $aUMZ$2bicssc
072 7 $aCOM051230$2bisacsh
082 04 $a005.1$223
100 1 $aYenigun, Husnu,$eeditor.
245 10 $aTesting Software and Systems :$b25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings /$cedited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich.
264 1 $aBerlin, Heidelberg :$bSpringer Berlin Heidelberg :$bImprint: Springer,$c2013.
300 $aXIV, 291 p. 84 illus.$bonline resource.
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
347 $atext file$bPDF$2rda
490 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v8254
505 0 $aModel-Based Testing -- Testing Timed and Concurrent Systems -- Test Suite Selection and Effort Estimation -- Tools and Languages.- Debugging. .
520 $aThis book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging.
650 20 $aSoftware engineering.
650 10 $aComputer science.
650 0 $aComputer science.
650 0 $aComputer Communication Networks.
650 0 $aSoftware engineering.
650 0 $aLogic design.
650 0 $aInformation Systems.
650 24 $aComputer Communication Networks.
650 24 $aProgramming Languages, Compilers, Interpreters.
650 24 $aSpecial Purpose and Application-Based Systems.
650 24 $aLogics and Meanings of Programs.
650 24 $aManagement of Computing and Information Systems.
700 1 $aUlrich, Andreas,$eeditor.
700 1 $aYilmaz, Cemal,$eeditor.
776 08 $iPrinted edition:$z9783642417061
830 0 $aLecture Notes in Computer Science ;$v8254.
988 $a20131102
906 $0VEN