Then a debugging system for concurrent systems is used to try to reproduce an error of the anomaly. ... that due to the non-determinism inherent in the execution of concurrent programs, the use of this test data generation method still does ... This check detects semantic inconsistencies in the number, type, and dimension between formal and actual parameters. ... These programming languages and utilities, however, dona#39;t provide interface checking between programs that are written inanbsp;...
|Title||:||Fault Detection in Production Programs by Means of Data Usage Analysis|
|Author||:||Linda Louise Werner|