Publications

2 results at PADTAD 2010

Unit testing for concurrent business code
- - Yao Qi
  - Yarden Nir-Buchbinder
  - et al.
- 2010
- PADTAD 2010
Detection of Transactional Memory anomalies using static analysis
- - Bruno Teixeira
  - João Lourenço
  - et al.
- 2010
- PADTAD 2010