Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks

John Ngui, Paul A. Strooper, Luke Wildman, Margaret A. Wojcicki. Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks. In 18th Australian Software Engineering Conference (ASWEC 2007), April 10-13, 2007, Melbourne, Australia. pages 223-232, IEEE Computer Society, 2007. [doi]