A risk-based guard band surrounds a specification limit and is derived from the uncertainty of the reportable value of the analytical procedure, which includes the uncertainty in the reference ...

Dr Kirill Bogdanov finished his PhD in Computer Science, in the area of specification-based software testing, in April 2000. The work focused on bringing the achievements of the X-machine testing ...