Yingfan Lei

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
aktuellen Werte der Attribute, die zur Laufzeit den Prozess steuern. Die in dieser Arbeit vorgestellte Lösung umfasst die zufallsbasierte bzw. evolutionäre Bestimmung der an das System zu sendenden Ereignisse und ihres Abstands. Die generierten Testfälle prüfen, ob eine Implementierung die modellierten Anforderungen erfüllt.
  • 1