Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key.

Harald Lange, Ralf Mller, Bernd Neumann

Browse the full KI paper archive.