( en | de | ru )

 

Disambiguation of "Hierons, Robert M."

Author of the publication

copydeleteadd this publication to your clipboard
Squeeziness: An information theoretic measure for avoiding fault masking.

, and . Inf. Process. Lett., 112 (8-9): 335-340 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Robert M Zoske

Robert M Stutz

Robert M Gillenkirch

Robert M Solomon

Robert M Fraunhoffer

 

Other publications of authors with the same name

Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas., , and . J. Log. Algebraic Methods Program., 80 (2): 92-112 (2011)Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas., , and . 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., and . 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., and . NASA Formal Methods, volume 8430 of Lecture Notes in Computer Science, page 62-76. Springer, (2014)A Test Taxonomy Applied to the Mechanics of Java Refactorings., , and . SCSS (1), page 497-502. Springer, (2007)An Implementation Relation and Test Framework for Timed Distributed Systems., , and . ICTSS, volume 8254 of Lecture Notes in Computer Science, page 82-97. Springer, (2013)