5 papers:
ISSTA-2013-YuSR #automation #framework #named #testing- SimRacer: an automated framework to support testing for process-level races (TY, WSa, GR), pp. 167–177.
SEKE-2009-LudwigTA #analysis #concept #database #deduction #performance #reasoning #semantics #web- Performance Analysis of a Deductive Database with a Semantic Web Reasoning Engine: ConceptBase and Racer (SAL, CT, KA), pp. 688–693.
- ISSTA-2008-BoddenH #aspectj #concurrent #detection #effectiveness #named #using
- Racer: effective race detection using aspectj (EB, KH), pp. 155–166.
SOSP-2003-EnglerA #detection #effectiveness #named #static analysis- RacerX: effective, static detection of race conditions and deadlocks (DRE, KA), pp. 237–252.
IJCAR-2001-HaarslevM- RACER System Description (VH, RM), pp. 701–706.
