Static Analysis Tools for Concurrency

FindBugs – works on Java. In the list of bugs detected all of the “Multithreaded correctness” bugs are relevant to concurrency. Command-line interface or eclipse plugin (eclipse plugin update site:http://findbugs.cs.umd.edu/eclipse/) Lint – a UNIX tool for C JLint – a Java version of Lint that is available as stand alone or eclipse plugin (eclipse plugin update site:http://www.jutils.com/eclipse-update) ParasoftContinue reading “Static Analysis Tools for Concurrency”

Top 4 Reasons to Study Computer Science at UOIT

[Note: This is an old post and while many of the reasons remain true some of the data is old. A new post from 2017 is not available! Top Reasons to Study Computer Science at UOIT] This Saturday, March. 3, 2012 from 10:00am-2:00pm UOIT will be hosting its annual Winter Open House for prospective studentsContinue reading “Top 4 Reasons to Study Computer Science at UOIT”

Software Testing Tools for Concurrency

As the use of concurrency in software increases there are more software testing tools being developed in both industry an academia. Below is a fairly comprehensive list of tools (mainly for Java): ConTest – IBM concurrent testing tool that inserts random delays into Java bytecode ConAn – a thread testing tool for Java CHESS – a Microsoft toolContinue reading “Software Testing Tools for Concurrency”

Welcome!

This blog is a place where I will… discuss ongoing research projects in the Software Quality Research Group Lab discuss interesting state-of-the-art work  being done in the areas of software testing, software quality assurance, concurrent software systems, distributed software systems. comment on the current state of Software Engineering — both research and practice. mention anything elseContinue reading “Welcome!”