Testing from Input/Output Transition Systems has been intensely investigated. The conformance between the implementation and the specification is often determined by the so-called ioco-relation. However, generating tests for ioco is usually hindered by the problem of conflicts between inputs and outputs. Moreover, the generation is mainly based on nondeterministic methods, which may deliver complete test suites but require an unbounded number of executions. In this paper, we investigate whether it is possible to construct a finite test suite which is complete in a predefined fault domain for the classical ioco relation even in the presence of input/output conflicts. We demonstrate that it is possible under certain assumptions about the specification and implementation, by proposing a method for complete test generation, based on a traditional method developed for FSM.
OmniPresent: Generating Coherent Presentation Suites from Scientific Papers
AutoLab, School of Artificial Intelligence, Shanghai Jiao Tong University（上海交通大学人工智能学院）；College of Communication Engineering, Jilin University（吉林大学通信工程学院）
Search-Based Generation of Undetected Quantum Circuit Mutants
Simula Research Laboratory（Simula研究实验室）；Oslo Metropolitan University（奥斯陆城市大学）；Trinity College Dublin, School of Computer Science and Statistics（都柏林三一学院计算机科学与统计学院）；National Institute of Informatics（信息学研究所）
A System for Automated Unit Test Generation Using Large Language Models and Assessment of Generated Test Suites
Polytechnic University of Bari \& Wideverse Bari, Italy；Polytechnic University of Bari Bari, Italy；Independent Researcher；University of Bari Bari, Italy
University of Buenos Aires（布宜诺斯艾利斯大学）；CONICET（阿根廷国家科学研究委员会）；Kristiania University of Applied Sciences（克里斯蒂亚纳应用科学大学）；Oslo Metropolitan University（奥斯陆都会大学）；Volkswagen AG（大众汽车集团）
SWE-Mutation: Can LLMs Generate Reliable Test Suites in Software Engineering?
State Key Laboratory of Cognitive Intelligence（认知智能国家重点实验室）；University of Science and Technology of China（中国科学技术大学）；Beihang University（北航）；School of Mathematical Sciences, Peking University（北京大学数学科学学院）；NeoShell AI；Institute of Artificial Intelligence, Hefei Comprehensive National Science Center（合肥综合性国家科学中心人工智能研究院）
VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation
School of Mathematical Sciences, Shanghai Jiao Tong University（上海交通大学数学科学学院）；School of Science and Engineering, The Chinese University of Hong Kong, Shenzhen（香港中文大学（深圳）科学与工程学院）；School of Mathematics, Jilin University（吉林大学数学学院）；School of Mathematical Sciences, Tongji University（同济大学数学科学学院）；Zhiyuan College, Shanghai Jiao Tong University（上海交通大学紫阳学院）；School of Future Technology, South China University of Technology（华南理工大学未来技术学院）；Institute of Natural Sciences, Shanghai Jiao Tong University（上海交通大学自然科学研究院）；MOE-LSC, CMA-Shanghai, Shanghai Jiao Tong University（上海交通大学MOE-LSC、CMA-上海）
