Write a Blog >>
ICST 2022
Mon 4 - Fri 8 April 2022
Mon 4 Apr 2022 13:25 - 13:50 at Grace Hopper - IWCT Tool Competition

Mon 4 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:00 - 14:40
IWCT Tool CompetitionIWCT at Grace Hopper
13:00
25m
Talk
A C++ implementation of the IPO algorithm
IWCT
Ken'Ya Takemura Osaka University Graduate School of Information Science and Technology
13:25
25m
Talk
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams
IWCT
Andrea Bombarda University of Bergamo, Angelo Gargantini University of Bergamo
13:50
25m
Talk
A Constrained Covering Array Generator using Adaptive Penalty based Parallel Tabu Search
IWCT
yan wang Nanjing University, Huayao Wu Nanjing University, Changhai Nie Nanjing University, Xintao Niu Nanjing University, Jiaxi Xu School of Information Engineering, Nanjing Xiaozhuang University
14:15
25m
Talk
Developing multithreaded techniques and improved constraint handling for the tool CAgen
IWCT
Michael Wagner SBA Research, Manuel Leithner SBA Research, Dimitris Simos SBA Research, Rick Kuhn National Institute of Standards and Technology, Raghu Kacker National Institute of Standards and Technology