This book reviews the state-of-the-art in combinatorial testing, with particular emphasis on the automatic generation of test data. It describes the most commonly used approaches in this area - including algebraic construction, greedy methods, evolutionary computation, constraint solving and optimization - and explains major algorithms with examples. In addition, the book lists a number of test generation tools, as well as benchmarks and applications. Addressing a multidisciplinary topic, ...

The 2024 IAIN World Congress, held from October 28th – 30th, at the Beijing International Convention Center, brought together over 350 participants and 31 delegates from all over the world to discuss cutting-edge advancements in navigation and maritime technology.Organized by the International Association of Institutes of Navigation (IAIN) and hosted by the China Institute of Navigation (CIN), the Congress delved into the latest technological trends, research, and industry developm...