You are here:
(27 Nov 2007,
|Back to Trash.T2Framework page|
Links and stuffs
related to automated testing
Automated software testing
Object-Oriented Legacy System Trace-based Logic Testing
, Ducasse et al, in 10th European Conference on Software Maintenance and Reengineering, 2006.
Finding the needles in the haystack: Generating legal test inputs for object-oriented programs
, Artzi et al, in 1st Workshop on Model-Based Testing and Object-Oriented Systems, 2006.
Monitoring Java Programs with Java PathExplorer
, Havelund and Rosu, in Workshop on Runtime Verification, 2001. Related:
Java PathExplorer–A Runtime Verification Tool
, Havelund and Rosu, in 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space, 2001.
Class invariant and ownership issues:
Class Invariants: The end of the road?
What is class invariant?
, Webber, in ACM SIGPLAN-SIGSOFT, 2001.
Verification of Object-Oriented Programs with Invariants
, Bernett et al, 2004.
JavaD: Bringing Ownership Domains to Mainstream Java
, Abi-Antoun and Aldrich, 2006.
A Survey of Coverage-Based Testing Tools
, Qian Yang et al, in International Workshop on Automation of Software Test, 2006.
Efficient Instrumentation for Code Coverage Testing
, Tikir and Hollingsworth, ACM SIGSOFT International Symposium on Software Testing and Analysis, 2002.
Other Java tools
: code coverage reporting tool.
: class decompiler.
Some byte code utilities
iew wiki text
ore topic actions
Topic revision: r6 - 27 Nov 2007,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?