Author of the publication

Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing.

, , and . ICST Workshops, page 209-218. IEEE Computer Society, (2016)

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.

 

Other publications of authors with the same name

Optimizing Code Size through Procedural Abstraction., , and . LCTES, volume 1985 of Lecture Notes in Computer Science, page 204-205. Springer, (2000)There is no Fully Abstract Fixpoint Semantics for Non-Deterministic Languages with Infinite Computations.. Inf. Process. Lett., 60 (6): 289-293 (1996)Variable-Free Execution of Concurrent Logic Languages.. NACLP, page 536-552. MIT Press, (1989)Profile-guided optimization across process boundaries., and . Dynamo, page 23-31. ACM, (2000)A soft-typing system for Erlang.. Erlang Workshop, page 56-71. ACM, (2003)Control Structures for Guarded Horn Clauses.. ICLP/SLP, page 1351-1370. MIT Press, (1988)Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations., and . ILPS, page 335-352. MIT Press, (1993)Retargetable Graph-Coloring Register Allocation for Irregular Architectures., and . SCOPES, volume 2826 of Lecture Notes in Computer Science, page 240-254. Springer, (2003)