A JAVA application framework for scientific software development.
Specification and Standardization of a Java Trusted Computing API.
Comparison of adaptive random testing and random testing under various testing and debugging scenarios.
A system for debugging via online tracing and dynamic slicing.
Revisiting bounded context block-sorting transformations.
An empirical evaluation of several test-a-few strategies for testing particular conditions.