TTwo Related Links

|Back to Trash.T2Framework page|

Links and stuffs

related to automated testing

---

Testing Tools

• JCrasher

Papers

• 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?, Parkinson.
  • 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.

• Test coverage:
  • 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

• Emma: code coverage reporting tool.
• Jad: class decompiler.
• Some byte code utilities (parser etc).