( en | de | ru )

 

Disambiguierung von "Hierons, Robert M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ConSIT: A Conditioned Program Slicer.

, , , und . ICSM, Seite 216-. IEEE Computer Society, (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Robert M Zoske

Robert M Stutz

Robert M Gillenkirch

Robert M Solomon

Robert M Fraunhoffer

 

Weitere Publikationen von Autoren mit dem selben Namen

Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas., , und . J. Log. Algebraic Methods Program., 80 (2): 92-112 (2011)Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas., , und . J. Log. Algebraic Methods Program., 80 (8): 481-496 (2011)testing from semi-independent communicating finite state machines with a slow environment.. IEE Proc. Softw. Eng., 144 (5-6): 291-295 (1997)Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs., und . ACM Trans. Softw. Eng. Methodol., 26 (1): 5:1-5:34 (2017)Verdict functions in testing with a fault domain or test hypotheses.. ACM Trans. Softw. Eng. Methodol., 18 (4): 14:1-14:19 (2009)Oracles for Distributed Testing.. IEEE Trans. Software Eng., 38 (3): 629-641 (2012)Generating Complete Controllable Test Suites for Distributed Testing.. IEEE Trans. Software Eng., 41 (3): 279-293 (2015)Distinguishing Sequences for Partially Specified FSMs., und . NASA Formal Methods, Volume 8430 von Lecture Notes in Computer Science, Seite 62-76. Springer, (2014)A Test Taxonomy Applied to the Mechanics of Java Refactorings., , und . SCSS (1), Seite 497-502. Springer, (2007)An Implementation Relation and Test Framework for Timed Distributed Systems., , und . ICTSS, Volume 8254 von Lecture Notes in Computer Science, Seite 82-97. Springer, (2013)