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]

@inproceedings{NguiSWW07,
  title = {Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks},
  author = {John Ngui and Paul A. Strooper and Luke Wildman and Margaret A. Wojcicki},
  year = {2007},
  doi = {10.1109/ASWEC.2007.16},
  url = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.2007.16},
  tags = {Java, model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/NguiSWW07},
  cites = {0},
  citedby = {0},
  pages = {223-232},
  booktitle = {18th Australian Software Engineering Conference (ASWEC 2007), April 10-13, 2007, Melbourne, Australia},
  publisher = {IEEE Computer Society},
}