Author of the publication

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

Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support., , and . IEEE Trans. Software Eng., 39 (2): 184-196 (2013)Efficient Subdomains for Random Testing., , , and . SSBSE, volume 8084 of Lecture Notes in Computer Science, page 251-256. Springer, (2013)Automated Translation of Java Source Code to Eiffel., , , and . TOOLS (49), volume 6705 of Lecture Notes in Computer Science, page 20-35. Springer, (2011)Coordinating processes with secure spaces., , and . Sci. Comput. Program., 46 (1-2): 163-193 (2003)Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy., , , and . APSEC (1), page 91-98. IEEE Computer Society, (2013)978-1-4799-2143-0.Improving Counterexample Quality from Failed Program Verification., , and . ISSRE Workshops, page 268-273. IEEE, (2022)On the Effectiveness of Test Extraction without Overhead., , , , and . ICST, page 416-425. IEEE Computer Society, (2009)Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island.. ICST, page 1-2. IEEE Computer Society, (2015)Random Testing: Evaluation of a Law Describing the Number of Faults Found.. ICST, page 201-210. IEEE Computer Society, (2012)YETI on the Cloud., and . ICST Workshops, page 434-437. IEEE Computer Society, (2010)