All information about this workshop can be found at the workshop’s official website: http://gist.nju.edu.cn/iwct2020/
Sat 24 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon
13:00 - 13:15 Day opening | Welcome to IWCT IWCT 2020 | ||
13:15 - 14:00 Talk | Keynote: Verifying autonomous systems using ontology-based testing IWCT 2020 Franz WotawaTechnische Universitaet Graz |
14:15 - 14:20 Talk | Toward an Encoding Approach to Interaction-based Test Suite Minimization IWCT 2020 Kohei NishinoWaseda University, Takashi KitamuraNational Institute of Advanced Industrial Science and Technology (AIST), Tomoji KishiWaseda University, Cyrille ArthoKTH Royal Institute of Technology Link to publication DOI |
14:20 - 15:10: Test Generation and Combinatorial Testing Applications SessionIWCT 2020 at Farfetch (D. Maria) | |||
14:20 - 14:40 Full-paper | An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines IWCT 2020 Link to publication DOI | ||
14:40 - 14:50 Short-paper | Combinatorial Methods for Explainable AI IWCT 2020 Rick KuhnNatl Institute of Standards & Technology, Raghu KackerNational Institute of Standards and Technology, Jeff LeiUniversity of Texas at Arlington, Dimitris SimosSBA Research Link to publication DOI | ||
14:50 - 15:10 Full-paper | Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness Testing IWCT 2020 Link to publication DOI |
16:55 - 17:55 Day closing | Wrap up (feedback, planning) IWCT 2020 |