Following the invention of an automatic breakbeat cutting algorithm in the style of early 90s jungle, further experiments are described. These are namely, the use of more advanced techniques to control choices in the original algorithm, and new algorithms for cutting including methods based on campanology and recursion. Automatic breakbeat cutting can reduce the effort of working by hand in a s...

The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on formal methods. The theory of formal testing is briefly outlined, a test tool is presented which auto...

Automatic configuration techniques are widely and successfully used to find good parameter settings for optimization algorithms. Configuration is costly, because it necessary evaluate many configurations on different instances. For decision problems, when the objective minimize running time of algorithm, configurators implement capping methods discard poor early. Such not directly applicable op...