國立虎尾科技大學 |

Testing Software and Systems = 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Testing Software and Systems/ edited by Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall.
其他題名:	31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings /
其他作者:	Gaston, Christophe.
面頁冊數:	XIV, 297 p. 247 illus., 41 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	https://doi.org/10.1007/978-3-030-31280-0
ISBN:	9783030312800

Testing Software and Systems = 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings /
Testing Software and Systems31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings /[electronic resource] :edited by Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall. - 1st ed. 2019. - XIV, 297 p. 247 illus., 41 illus. in color.online resource. - Programming and Software Engineering ;11812. - Programming and Software Engineering ;8987.

Test and Artiﬁcial Intelligence -- Learning a Behavior Model of Hybrid Systems through Combining Model-Based Testing and Machine Learning -- Regular expression learning with evolutionary testing and repair -- Testing Chatbots using Metamorphic Relations -- Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs -- Test Case Generation -- Combining Model Reﬁnement and Test Generation for Conformance Testing of the IEEE PHD Protocol using Abstract State Machines -- Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs -- Multiple Mutation Testing for Timed Finite State Machine With Timed Guards and Timeouts -- Empirical Approaches -- An Empirical Evaluation of Search Algorithms for App Testing -- Performance comparison of two search-based testing strategies for ADAS System Validation -- Testing and Veriﬁcation Techniques -- Bounded Exhaustive Testing with Certiﬁed and Optimized Data Enumeration Programs -- A Mechanised Proof of an Adaptive State Counting Algorithm -- A Model Checking based Approach for Detecting SDN Races -- Security and Performance Testing -- Towards an Eﬃcient Performance Testing through Dynamic Workload Adaptation -- DYNAMOJM: A JMeter Tool for Performance Testing using Dynamic Workload Adaptation -- Attack tolerance for service-based applications in the Cloud -- Industrial Applications -- Automatic generation of test oracles from component based software architectures -- Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms -- TestDCat: Catalog of Test Debt Subtypes and Management Activities.

This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019. The 14 regular papers and 3 short papers presented were carefully reviewed and selected from 30 submissions. This year also included an additional industrial paper. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures.

ISBN: 9783030312800

Standard No.: 10.1007/978-3-030-31280-0doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Testing Software and Systems = 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings /
LDR:03790nam a22004095i 4500 001 1013527
003 DE-He213
005 20200703145650.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783030312800 $9 978-3-030-31280-0
024 7 $a 10.1007/978-3-030-31280-0 $2 doi
035 $a 978-3-030-31280-0
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Testing Software and Systems $h [electronic resource] : $b 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings / $c edited by Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall.
250 $a 1st ed. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a XIV, 297 p. 247 illus., 41 illus. in color. $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 Programming and Software Engineering ; $v 11812
505 0 $a Test and Artiﬁcial Intelligence -- Learning a Behavior Model of Hybrid Systems through Combining Model-Based Testing and Machine Learning -- Regular expression learning with evolutionary testing and repair -- Testing Chatbots using Metamorphic Relations -- Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs -- Test Case Generation -- Combining Model Reﬁnement and Test Generation for Conformance Testing of the IEEE PHD Protocol using Abstract State Machines -- Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs -- Multiple Mutation Testing for Timed Finite State Machine With Timed Guards and Timeouts -- Empirical Approaches -- An Empirical Evaluation of Search Algorithms for App Testing -- Performance comparison of two search-based testing strategies for ADAS System Validation -- Testing and Veriﬁcation Techniques -- Bounded Exhaustive Testing with Certiﬁed and Optimized Data Enumeration Programs -- A Mechanised Proof of an Adaptive State Counting Algorithm -- A Model Checking based Approach for Detecting SDN Races -- Security and Performance Testing -- Towards an Eﬃcient Performance Testing through Dynamic Workload Adaptation -- DYNAMOJM: A JMeter Tool for Performance Testing using Dynamic Workload Adaptation -- Attack tolerance for service-based applications in the Cloud -- Industrial Applications -- Automatic generation of test oracles from component based software architectures -- Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms -- TestDCat: Catalog of Test Debt Subtypes and Management Activities.
520 $a This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019. The 14 regular papers and 3 short papers presented were carefully reviewed and selected from 30 submissions. This year also included an additional industrial paper. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures.
650 0 $a Software engineering. $3 562952
650 0 $a Computer organization. $3 596298
650 0 $a Computer logic. $3 786340
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computers. $3 565115
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Computer Systems Organization and Communication Networks. $3 669309
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computing Milieux. $3 669921
700 1 $a Gaston, Christophe. $e editor. $1 https://orcid.org/0000-0001-6865-5108 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1307785
700 1 $a Kosmatov, Nikolai. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1067060
700 1 $a Le Gall, Pascale. $e editor. $1 https://orcid.org/0000-0002-8955-6835 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1307786
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030312794
776 0 8 $i Printed edition: $z 9783030312817
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-31280-0
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)