Author of the publication

Automated Validation of Class Invariants in C ++ Applications.

, , and . ASE, page 205-. IEEE Computer Society, (2002)

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

Exploiting metrics to facilitate grammar transformation into LALR format., and . SAC, page 636-640. ACM, (2001)Using a taxonomy to analyze classes during implementation-based testing., and . IASTED Conf. on Software Engineering and Applications, page 288-293. IASTED/ACTA Press, (2004)A tool chain for reverse engineering C++ applications., , and . Sci. Comput. Program., 69 (1-3): 3-13 (2007)A Tool to Automatically Map Implementation-based Testing Techniques to Classes., , , and . Int. J. Softw. Eng. Knowl. Eng., 16 (4): 585-614 (2006)SIMCAL: the merger of Simula and Pascal., and . WSC, page 397-403. ACM, (1986)A Tool to Map Testing Techniques to Classes., , and . ITCC (2), page 821-822. IEEE Computer Society, (2005)isbn: 0-7695-2315-3.A shape matching approach for scheduling fine-grained parallelism., , and . MICRO, page 264-267. ACM / IEEE Computer Society, (1992)Using OCL-Queries for Debugging C++., and . ICSE, page 839-840. IEEE Computer Society, (2001)Trace-Driven and Program-Driven Simulation: A Comparison.. MASCOTS, page 395-396. IEEE Computer Society, (1994)SIMx86: An extensible simulator for the Intel 80×86 processor family., , and . Annual Simulation Symposium, page 157-166. IEEE Computer Society, (1997)