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]

Authors

John Ngui

This author has not been identified. Look up 'John Ngui' in Google

Paul A. Strooper

This author has not been identified. Look up 'Paul A. Strooper' in Google

Luke Wildman

This author has not been identified. Look up 'Luke Wildman' in Google

Margaret A. Wojcicki

This author has not been identified. Look up 'Margaret A. Wojcicki' in Google