Testing software and systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings /: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings. (2019)

• Record Type: Book
• Other Titles: ICTSS 2019
• Further Information: Note: Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall (eds.).
• Editors: Gaston, Christophe; Kosmatov, Nikolai; Le Gall, Pascale
• Other Names: ICTSS (Conference), 31st
• Contents: Test and Artificial 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 Refinement 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 Verification Techniques.- Bounded Exhaustive Testing with Certified 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 Efficient 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (xiv, 297 pages), illustrations (some color)
• Subjects: 005.1; Computer software -- Testing -- Congresses; Software engineering -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030312800; 3030312801
• Related ISBNs: 9783030312794
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed October 15, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.