000 | 03129nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-319-25945-1 | ||
003 | DE-He213 | ||
005 | 20240730192744.0 | ||
007 | cr nn 008mamaa | ||
008 | 151107s2015 sz | s |||| 0|eng d | ||
020 |
_a9783319259451 _9978-3-319-25945-1 |
||
024 | 7 |
_a10.1007/978-3-319-25945-1 _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 |
_aTesting Software and Systems _h[electronic resource] : _b27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings / _cedited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko. |
250 | _a1st ed. 2015. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
300 |
_aXIV, 269 p. 69 illus. in color. _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, _x2945-9168 ; _v9447 |
|
520 | _aThis book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems. | ||
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 0 |
_aCompilers (Computer programs). _93350 |
|
650 | 0 |
_aComputers, Special purpose. _946653 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aElectronic data processing _xManagement. _9151205 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aComputer Communication Networks. _9151206 |
650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
650 | 2 | 4 |
_aSpecial Purpose and Application-Based Systems. _946654 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aIT Operations. _931703 |
700 | 1 |
_aEl-Fakih, Khaled. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9151207 |
|
700 | 1 |
_aBarlas, Gerassimos. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9151208 |
|
700 | 1 |
_aYevtushenko, Nina. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9151209 |
|
710 | 2 |
_aSpringerLink (Online service) _9151210 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319259444 |
776 | 0 | 8 |
_iPrinted edition: _z9783319259468 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v9447 _9151211 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-25945-1 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c94422 _d94422 |