|
|
|
|
| LEADER |
02865nam a22005895i 4500 |
| 001 |
978-3-319-67549-7 |
| 003 |
DE-He213 |
| 005 |
20170914161647.0 |
| 007 |
cr nn 008mamaa |
| 008 |
170914s2017 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783319675497
|9 978-3-319-67549-7
|
| 024 |
7 |
|
|a 10.1007/978-3-319-67549-7
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA76.758
|
| 072 |
|
7 |
|a UMZ
|2 bicssc
|
| 072 |
|
7 |
|a COM051230
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.1
|2 23
|
| 245 |
1 |
0 |
|a Testing Software and Systems
|h [electronic resource] :
|b 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings /
|c edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2017.
|
| 300 |
|
|
|a XIII, 341 p. 68 illus.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 10533
|
| 505 |
0 |
|
|a Model based testing -- Test derivation methods -- Safety and security testing -- Test selection and quality estimation -- Testing timed and distributed systems.
|
| 520 |
|
|
|a This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Computer communication systems.
|
| 650 |
|
0 |
|a Special purpose computers.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers).
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
|
0 |
|a Management information systems.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Software Engineering.
|
| 650 |
2 |
4 |
|a Computer Communication Networks.
|
| 650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters.
|
| 650 |
2 |
4 |
|a Special Purpose and Application-Based Systems.
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|
| 650 |
2 |
4 |
|a Management of Computing and Information Systems.
|
| 700 |
1 |
|
|a Yevtushenko, Nina.
|e editor.
|
| 700 |
1 |
|
|a Cavalli, Ana Rosa.
|e editor.
|
| 700 |
1 |
|
|a Yenigün, Hüsnü.
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319675480
|
| 830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 10533
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-319-67549-7
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
