Travelled to:1 × Portugal
1 × South Africa
Collaborated with:∅ S.Katz
Talks about:program (1) modular (1) driven (1) aspect (1) verif (1) maven (1) test (1) role (1) pair (1)
Person: Max Goldman
DBLP: Goldman:Max
Contributed to:
2010
2007Wrote 2 papers:
- ICSE-2010-Goldman #programming #testing
- Test-driven roles for pair programming (MG), pp. 515–516.
- TACAS-2007-GoldmanK #composition #named #verification
- MAVEN: Modular Aspect Verification (MG, SK), pp. 308–322.