Path.GetRandomFileName()[
^] returns a string, so probably the best way to manipulate it...
If you do not care for the 8.3 format:
string.Format("{0}.exe", Path.GetRandomFileName().Replace(".", string.Empty));
If the 8.3 format is important:
string.Format("{0}.exe", Path.GetRandomFileName().Substring(0, 8));