CACM.ACM.ORG 02/2015 VOL. 58 NO.02
Model-Based Testing:
Where Does It Stand?
Visualizing Sound
Is IT Destroying
the Middle Class?
China’s Taobao Online
Marketplace Ecosystem
Hacking Nondeterminism
with Induction and
Coinduction
Association for
Computing Machinery
COMMUN I CAT I ONS
OF THEACM