ITEE Home » Testcon » Links

Print version

 

 

• Communicating Sequential Processes for Java (JCSP)

        Peter Welch et al is translating CSP (including channels) to Java.

• Formal Methods Links- Utting

        Mark Utting is going Testing in B using animator technology.

• Advanced Topics in Software Testing

         Some course notes on Testing

• Specification-Based Test Case Generation

        Some course notes on specification based Testing

• CS371/Testing.html

        Some more course notes on Testing

• STORM Software Testing Online Resources