Behaviour Abstraction Coverage as Black-Box Adequacy Criteria will be presented by Hernán Czemerinski in ICST 2013, Luxembourg, March 19-21