48 papers:
CHI-2015-BalaamCJSG #mobile #named #women- FeedFinder: A Location-Mapping Mobile Application for Breastfeeding Women (MB, RC, EJ, SS, ATG), pp. 1709–1718.
RecSys-2015-KangDS #recommendation- Elsevier Journal Finder: Recommending Journals for your Paper (NK, MAD, RJAS), pp. 261–264.
SAC-2015-DabainMT #design pattern #detection #using- Design pattern detection using FINDER (HD, AM, VT), pp. 1586–1593.
- SAC-2015-SakuraiM #debugging #object-oriented #source code
- The omission finder for debugging what-should-have-happened bugs in object-oriented programs (KS, HM), pp. 1962–1969.
ASE-2014-JinCQR #configuration management #named- PrefFinder: getting the right preference in configurable software systems (DJ, MBC, XQ, BR), pp. 151–162.
- ASE-2014-ThungKL #debugging #detection #named #tool support
- DupFinder: integrated tool support for duplicate bug report detection (FT, PSK, DL), pp. 871–874.
DAC-2014-DengBZW #performance- An Efficient Two-level DC Operating Points Finder for Transistor Circuits (JD, KB, YZ, NW), p. 6.
- CHI-2014-FitchettCG #design #evaluation
- Finder highlights: field evaluation and design of an augmented file browser (SF, AC, CG), pp. 3685–3694.
KDIR-2014-FontanaRZ- Discover Knowledge on FLOSS Projects Through RepoFinder (FAF, RR, MZ), pp. 485–491.
ICSE-2014-RahmanKBD #debugging #predict #statistics- Comparing static bug finders and statistical prediction (FR, SK, ETB, PTD), pp. 424–434.
SIGMOD-2013-VianaM #named #network #realtime #social- FriendRouter: real-time path finder in social networks (WV, MMM), pp. 1281–1282.
VLDB-2013-BoghSJ #approach #named #retrieval- GroupFinder: A New Approach to Top-K Point-of-Interest Group Retrieval (KSB, AS, CSJ), pp. 1226–1229.
HIMI-D-2013-Al-OmarC #case study- Finders, Keepers, Losers, Seekers: A Study of Academics’ Research-Related Personal Information Collections (MAO, AC), pp. 169–176.
SIGIR-2013-TrieschniggTH #named- SearchResultFinder: federated search made easy (DT, KTKJ, DH), pp. 1113–1114.
REFSQ-2013-TjongB #ambiguity #design #lessons learnt #prototype #requirements #specification- The Design of SREE — A Prototype Potential Ambiguity Finder for Requirements Specifications and Lessons Learned (SFT, DMB), pp. 80–95.
- ICSE-2013-MehlitzRV #java #tutorial
- A hands-on Java PathFinder tutorial (PCM, NR, WV), pp. 1493–1495.
ICST-2012-PasareanuB #analysis #statechart- Statechart Analysis with Symbolic PathFinder (CSP, DB), p. 772.
- SAT-2012-IserTS #optimisation #order #relational
- Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod — (Poster Presentation) (MI, MT, CS), pp. 483–484.
- CHI-2011-KleekSsK #named #people
- Finders/keepers: a longitudinal study of people managing information scraps in a micro-note tool (MVK, WS, MMCS, DRK), pp. 2907–2916.
CIKM-2011-ONeilPA #behaviour #game studies #named #query- Fu-Finder: a game for studying querying behaviours (CO, JP, LA), pp. 2561–2564.
ECMFA-2011-StraetenPM #consistency #nondeterminism- Assessing the Kodkod Model Finder for Resolving Model Inconsistencies (RVDS, JPP, TM), pp. 69–84.
- ASE-2010-PasareanuR #bytecode #execution #java #symbolic computation
- Symbolic PathFinder: symbolic execution of Java bytecode (CSP, NR), pp. 179–180.
- SIGIR-2010-HwangKPSL #interactive #named
- Si-Fi: interactive similar item finder (IH, MK, SEP, JS, SgL), p. 704.
OOPSLA-2010-LiZH #named #programming- G-Finder: routing programming questions closer to the experts (WL, CZ, SH), pp. 62–73.
FSE-2010-KimGLR #logic #named #query #re-engineering #refactoring- Ref-Finder: a refactoring reconstruction tool based on logic query templates (MK, MG, AL, NR), pp. 371–372.
HPDC-2010-FuRLFG #clustering #data-driven #named #scalability- DiscFinder: a data-intensive scalable cluster finder for astrophysics (BF, KR, JL, EF, GAG), pp. 348–351.
CAV-2009-BensalemBNS #composition #concurrent #detection #named #verification- D-Finder: A Tool for Compositional Deadlock Detection and Verification (SB, MB, THN, JS), pp. 614–619.
- ICST-2009-GligoricGLMK #generative #graph #java #optimisation
- Optimizing Generation of Object Graphs in Java PathFinder (MG, TG, SL, DM, SK), pp. 51–60.
- SIGIR-2008-HeMO08a #ranking #using
- Ranking opinionated blog posts using OpinionFinder (BH, CM, IO), pp. 727–728.
TACAS-2007-AnandPV #execution #java #named #symbolic computation- JPF-SE: A Symbolic Execution Extension to Java PathFinder (SA, CSP, WV), pp. 134–138.
- TACAS-2007-TorlakJ #named #relational
- Kodkod: A Relational Model Finder (ET, DJ), pp. 632–647.
MLDM-2007-ChristiansenD #approach #case study #evaluation #generative #machine learning #testing- A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders (HC, CMD), pp. 742–755.
- ICSE-2007-LivieriHMI #analysis #distributed #open source #source code #using #visualisation
- Very-Large Scale Code Clone Analysis and Visualization of Open Source Programs Using Distributed CCFinder: D-CCFinder (SL, YH, MM, KI), pp. 106–115.
KDD-2006-ChenHLN #interactive #named #network- NeMoFinder: dissecting genome-wide protein-protein interactions with meso-scale network motifs (JC, WH, MLL, SKN), pp. 106–115.
- SAC-2006-Parsons #api
- Extending the location API for J2ME to support friend finder services (DP), pp. 992–996.
- TACAS-2004-LindseyP #verification
- Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder (AEL, CP), pp. 357–371.
- VLDB-2003-NieKH #effectiveness #integration #mining #named #statistics #using
- BibFinder/StatMiner: Effectively Mining and Using Coverage and Overlap Statistics in Data Integration (ZN, SK, TH), pp. 1097–1100.
ICPR-v3-2002-MarugameSYMFYKKTT #metric #performance #precise- A Fast and Precise System for Taking High-Density Human Head Measurements with Surrounding Range Finders (AM, SS, TY, KM, OF, YY, YK, HK, WT, JT), pp. 978–982.
- CAV-2002-Ben-DavidGSW #design #named
- PathFinder: A Tool for Design Exploration (SBD, AG, BS, YW), pp. 510–514.
- ICSE-2001-KamiyaOKKI #java #maintenance #source code #tool support
- Maintenance Support Tools for JAVA Programs: CCFinder and JAAT (TK, FO, KK, SK, KI), pp. 837–838.
- ICPR-v1-2000-TesserP #automation
- RoadFinder Front End: An Automated Road Extraction System (HT, TP), pp. 1338–1341.
- SAC-2000-AnwarY #named #object-oriented
- OORF: An Object-Oriented Route Finder (MAA, TY), pp. 301–306.
- HCI-EI-1999-Zerweck #multi
- Multidimensional Orientation Systems in Virtual Space on the Basis of Finder (PZ), pp. 616–620.
- ICPR-1998-KawasueSI #using
- Range finder using circular dynamic stereo (KK, OS, TI), pp. 774–776.
- CHI-1997-EllisRP #visualisation
- Putting Visualization to Work: ProgramFinder for Youth Placement (JBE, AR, CP), pp. 502–509.
ICRE-1994-GoldinB #abstraction #design #elicitation #evaluation #natural language #prototype #requirements- AbstFinder, a prototype abstraction finder for natural language text for use in requirements elicitation: design, methodology, and evaluation (LG, DMB), pp. 84–93.
CADE-1994-Slaney94a #finite #named- FINDER: Finite Domain Enumerator — System Description (JKS), pp. 798–801.
- SIGIR-1992-WilliamsonS #query
- The Dynamic HomeFinder: Evaluating Dynamic Queries in a Real-Estate Information Exploration System (CW, BS), pp. 338–346.
