4 papers:
- CASE-2013-LuSLL #automation #bibliography #recognition
- Automatic recognition of spurious surface in building exterior survey (YL, DS, HL, JL), pp. 1047–1052.
- ICSE-2013-TianD #detection #model checking
- Detecting spurious counterexamples efficiently in abstract model checking (CT, ZD), pp. 202–211.
- ICPR-2012-KostopoulouZMV #2d #analysis #image
- 2D-GE image analysis focusing on elimination of spurious spots (EK, EZ, DM, AV), pp. 1627–1630.
- ISSTA-2000-SiegelA #precise
- Improving the precision of INCA by preventing spurious cycles (SFS, GSA), pp. 191–200.