Sentence examples for automatically testing from inspiring English sources

While model checking is capable of automatically testing that a concurrent system satisfies its formal specification, it can not precisely locate an error and suggest a repair, i.e., a suitable correction, to the system.

By automatically testing systematic variations of the known standard-protocols, we were able to determine buffer mixtures that substantially increase the activity of the enzymes of interest when compared to the protocols commonly found in literature (data not shown).

Our analysis of RCT structure has a further purpose as it suggests a method of automatically testing RCT reports for quality, in terms of completeness, uniformity, and accuracy.

Software quality control was done by utilizing automated unit test for automatically testing the software's features and by using an issue tracking system for keeping track of reported problems.

Most also indicated that the hospital should automatically test all patients for each condition, although analysis of matched pairs illustrated greater support for automatically testing all patients for HCV (p = 0.01) or HIV (p = 0.03) compared to diabetes.

Beginning in January 2004, all patients at doctors' offices in Botswana who did not object were automatically tested for HIV.

If I then go out and shoot someone, I'll be automatically tested for drugs and alcohol and it'll be in my system.

In particular, Federer believes that all players who reach the quarter-finals of tournaments – "whenever the [ranking] points become important and the money becomes important" – should be automatically tested.

Rogge said top finishers down to five places were automatically tested by the I.O.C., along with three random finishers, and their results were stored for eight years so they would be cleared to be awarded medals.Jones won gold in the 100 meters, 200 meters and 4x400 meter relay in Sydney.

Unfortunately though, the 4K calibration procedure isn't as exhaustive as with Xbox One S: Microsoft's machine automatically tests the 4K and HDR capabilities of your TV and lets you know how it's likely to perform – the PS4 Pro gives you a notification that your television may be capable of HDR and 4K, but the rest is up to you and your grasp of TV system menus.

Model checking techniques aim to automatically test whether a model meets a given specification.