Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Mutation-Based Exploration of a Method for Verifying Concurrent Java ComponentsBrad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman. ipps 2004: [doi] A Classification of Concurrency Failures in Java ComponentsBrad Long, Paul A. Strooper. ipps 2003: 287 [doi] Testing concurrent java componentsPaul A. Strooper, Luke Wildman. ICSE 2006: 1075-1076 [doi] Testing Concurrent Java ComponentsPaul A. Strooper, Luke Wildman. ICSE 2007: 161-162 [doi] Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java componentsMargaret A. Wojcicki, Paul A. Strooper. isese 2006: 174-183 [doi]
The following publications are possibly variants of this publication: