10 papers:
SAT-2015-FalknerLH #analysis #automation #named #performance #satisfiability- SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers (SF, MTL, FH), pp. 215–222.
HCI-AS-2013-TsumoriN #design #evaluation #using- Design and Evaluation of Training System for Numerical Calculation Using Questions in SPI2 (ST, KN), pp. 511–520.
ICSE-2012-GhezziMS #component #monitoring #runtime- Runtime monitoring of component changes with Spy@Runtime (CG, AM, MS), pp. 1403–1406.
CGO-2012-ChabbiM #named- DeadSpy: a tool to pinpoint program inefficiencies (MC, JMMC), pp. 124–134.
SOSP-2011-LenersWHAW #detection #distributed #network- Detecting failures in distributed systems with the Falcon spy network (JBL, HW, WLH, MKA, MW), pp. 279–294.
CHI-2009-BellRBSMFC #game studies #named #navigation- EyeSpy: supporting navigation through play (MB, SR, BB, SS, DM, JF, MC), pp. 123–132.
- ICSE-2008-RobbesL #development #named #tool support
- SpyWare: a change-aware development toolset (RR, ML), pp. 847–850.
- HIMI-IIE-2007-WakitaAT #metric #mobile #prototype #using
- Methodology for Constructing a Prototype Site for Finding Employment SPI Measures Using Mobile Phones (SW, MA, TT), pp. 983–993.
- ICSE-2006-OgasawaraIM #approach #development #process #scalability
- Practical approach to development of SPI activities in a large organization: Toshiba’s SPI history since 2000 (HO, TI, TM), pp. 595–599.
SAS-2002-NielsonNS #horn clause #normalisation- Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi (FN, HRN, HS), pp. 20–35.
