A method for verifying concurrent Java components based on an analysis of concurrency failures

Brad Long, Paul A. Strooper, Luke Wildman. A method for verifying concurrent Java components based on an analysis of concurrency failures. Concurrency - Practice and Experience, 19(3):281-294, 2007. [doi]

@article{LongSW07,
  title = {A method for verifying concurrent Java components based on an analysis of concurrency failures},
  author = {Brad Long and Paul A. Strooper and Luke Wildman},
  year = {2007},
  doi = {10.1002/cpe.1063},
  url = {http://dx.doi.org/10.1002/cpe.1063},
  tags = {rule-based, Java, analysis},
  researchr = {https://researchr.org/publication/LongSW07},
  cites = {0},
  citedby = {0},
  journal = {Concurrency - Practice and Experience},
  volume = {19},
  number = {3},
  pages = {281-294},
}