When developing a complex system such as Base Station for a mobile telephony network, how can you:

• make sure the software requirements are correct first time?
• Test automatically that the developed software meets its requirements – without developing manually any test case?

Check this 9mn video: