Stem oracl$ (all stems)

177 papers:

SIGMOD-2015-BergmanMNT #query

Query-Oriented Data Cleaning with Oracles (MB, TM, SN, WCT), pp. 1199–1214.

SIGMOD-2015-TranMP

Oracle Workload Intelligence (QTT, KM, NP), pp. 1669–1681.

VLDB-2015-BergmanMNT #named #query

QOCO: A Query Oriented Data Cleaning System with Oracles (MB, TM, SN, WCT), pp. 1900–1911.

VLDB-2015-DasYZVVKGKM #database #in memory #optimisation #query

Query Optimization in Oracle 12c Database In-Memory (DD, JY, MZ, SRV, NV, RK, PG, JK, NM), pp. 1770–1781.

VLDB-2015-MukherjeeCCDGHH #architecture #database #distributed #in memory

Distributed Architecture of Oracle Database In-memory (NM, SC, MC, DD, MG, SH, AH, HJ, JK, KK, TL, JL, NM, VM, AM, AW, JY, MZ), pp. 1630–1641.

STOC-2015-Chechik #approximate #bound #distance

Approximate Distance Oracles with Improved Bounds (SC), pp. 1–10.

STOC-2015-LackiOPSZ #algorithm #distance #performance #power of

The Power of Dynamic Distance Oracles: Efficient Dynamic Algorithms for the Steiner Tree (JL, JO, MP, PS, AZ), pp. 11–20.

SEKE-2015-Hori0TO #comparison #image #testing #web

An Oracle based on Image Comparison for Regression Testing of Web Applications (AH, ST, HT, MO), pp. 639–645.

SAC-2015-ElyasovPHRVC #equivalence #execution #testing

AB=ᗺA: execution equivalence as a new type of testing oracle (AE, WP, JH, UR, TEJV, NCF), pp. 1559–1566.

ESEC-FSE-2015-XiongH0ZZL

Inner oracles: input-specific assertions on internal states (YX, DH, LZ, TZ, MZ, TL), pp. 902–905.

SOSP-2015-RidgeSTGMS #file system #named #specification #testing

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (TR, DS, TT, AG, AM, PS), pp. 38–53.

SAT-2015-KullmannM #query

Computing Maximal Autarkies with Few and Simple Oracle Queries (OK, JMS), pp. 138–155.

ASE-2014-GayRH #automation

Improving the accuracy of oracle verdicts through automated model steering (GG, SR, MPEH), pp. 527–538.

MSR-2014-KrutzL #clone detection

A code clone oracle (DEK, WL), pp. 388–391.

STOC-2014-Chechik #approximate #constant #distance #query

Approximate distance oracles with constant query time (SC), pp. 654–663.

ICALP-v1-2014-KontogiannisZ #distance #network

Distance Oracles for Time-Dependent Networks (SCK, CDZ), pp. 713–725.

ICALP-v1-2014-Wulff-Nilsen #approximate #distance #graph #performance

Faster Separators for Shallow Minor-Free Graphs via Dynamic Approximate Distance Oracles (CWN), pp. 1063–1074.

SEKE-2014-OliveiraMGND #framework #source code #testing

An Extensible Framework to Implement Test Oracle for Non-Testable Programs (RAPO, AMM, VNG, FLSN, MED), pp. 199–204.

FSE-2014-HuoC #detection #quality #testing

Improving oracle quality by detecting brittle assertions and unused inputs in tests (CH, JC), pp. 621–631.

ICSE-2014-CarzanigaGGMP

Cross-checking oracles from intrinsic software redundancy (AC, AG, AG, AM, MP), pp. 931–942.

SLE-2014-Ridge #combinator #context-free grammar #parsing #performance #using

Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle (TR), pp. 261–281.

ICST-2014-LiO #analysis #empirical #modelling #testing

An Empirical Analysis of Test Oracle Strategies for Model-Based Testing (NL, JO), pp. 363–372.

ICST-2014-ZaeemPK #automation #generative #mobile #testing

Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps (RNZ, MRP, SK), pp. 183–192.

ISSTA-2014-LoyolaSKR #automation #named #set

Dodona: automated oracle data set selection (PL, MS, IYK, GR), pp. 193–203.

ASE-2013-MirshokraieMP #generative #javascript #named #testing

PYTHIA: Generating test cases with oracles for JavaScript applications (SM, AM, KP), pp. 610–615.

ASE-2013-NardoABFNM #modelling #validation

Model based test validation and oracles for data acquisition systems (DDN, NA, LCB, EF, TNA, VM), pp. 540–550.

VLDB-2013-BambaRHA #geometry #graph #performance #statistics

Statistics Collection in Oracle Spatial and Graph: Fast Histogram Construction for Complex Geometry Objects (BB, SR, YH, RA), pp. 1021–1032.

VLDB-2013-BellamkondaLJZLC #adaptation #big data #execution #parallel

Adaptive and Big Data Scale Parallel Execution in Oracle (SB, HGL, UJ, YZ, VL, TC), pp. 1102–1113.

VLDB-2013-JinW #performance #reachability #scalability

Simple, Fast, and Scalable Reachability Oracle (RJ, GW), pp. 1978–1989.

VLDB-2014-QiXSW13 #distance #graph #towards

Toward a Distance Oracle for Billion-Node Graphs (ZQ, YX, BS, HW), pp. 61–72.

WCRE-2013-AvanciniC #grammarware #named #testing #web

Circe: A grammar-based oracle for testing Cross-site scripting in web applications (AA, MC), pp. 262–271.

DLT-J-2012-IwamaN13 #quantum #string

Recovering Strings in Oracles: Quantum and Classic (KI, HN), pp. 979–994.

ICALP-v1-2013-LeviR #graph

A Quasi-Polynomial Time Partition Oracle for Graphs with an Excluded Minor (RL, DR), pp. 709–720.

ICALP-v1-2013-MathieuZ #distance #graph #re-engineering

Graph Reconstruction via Distance Oracles (CM, HZ), pp. 733–744.

SEKE-2013-MateoU #named

BacterioORACLE: An Oracle suggester tool (PRM, MPU), pp. 300–305.

AMT-2013-FinotMSD #metamodelling #testing #using

Using Meta-model Coverage to Qualify Test Oracles (OF, JMM, GS, TD), pp. 12–21.

ICMT-2013-FinotMSA #model transformation #testing

Partial Test Oracle in Model Transformation Testing (OF, JMM, GS, CA), pp. 189–204.

ESEC-FSE-2013-NguyenMT #automation #effectiveness #empirical

Automated oracles: an empirical study on cost and effectiveness (CDN, AM, PT), pp. 136–146.

ICST-2013-AfshanMS #evolution #natural language #string #testing #using

Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost (SA, PM, MS), pp. 352–361.

ICST-2013-PastoreMF #named #problem #question

CrowdOracles: Can the Crowd Solve the Oracle Problem? (FP, LM, GF), pp. 342–351.

ICST-2013-YuQAR #testing

Oracle-based Regression Test Selection (TY, XQ, MA, GR), pp. 292–301.

CBSE-2012-PopPOMB #co-evolution #component #network

Property networks allowing oracle-based mode-change propagation in hierarchical components (TP, FP, MO, MM, TB), pp. 93–102.

DRR-2012-PorwalRG #framework #identification

An Oracle-based co-training framework for writer identification in offline handwriting (UP, SR, VG).

SIGMOD-2012-MeliouS #database #named #query

Tiresias: the database oracle for how-to queries (AM, DS), pp. 337–348.

SIGMOD-2012-SuS #pipes and filters

Oracle in-database hadoop: when mapreduce meets RDBMS (XS, GS), pp. 779–790.

STOC-2012-AbrahamCG #approximate #distance #graph

Fully dynamic approximate distance oracles for planar graphs via forbidden-set distance labels (IA, SC, CG), pp. 1199–1218.

DLT-2012-Iwama #quantum #string

Recovering Strings in Oracles: Quantum and Classic (KI), p. 23.

GT-VMT-2012-KhanRH #contract #testing #visual notation

Visual Contracts as Test Oracle in AGG 2.0 (TAK, OR, RH).

ICSE-2012-StaatsGH #automation #fault #how #mutation testing #testing

Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing (MS, GG, MPEH), pp. 870–880.

ASE-2011-ZhengMLXK #mining #testing #web

Mining test oracles of web search engines (WZ, HM, MRL, TX, IK), pp. 408–411.

SIGMOD-2011-KunchithapadamZGM #database

Oracle database filesystem (KK, WZ, AG, NM), pp. 1149–1160.

FASE-2011-WangWHC #black box #evolution #testing

Evolving a Test Oracle in Black-Box Testing (FW, JHW, CHH, KHC), pp. 310–325.

PLDI-2011-SrivastavaBMS #api #detection #implementation #multi #policy #security #using

A security policy oracle: detecting security holes using multiple API implementations (VS, MDB, KSM, VS), pp. 343–354.

STOC-2011-HolensteinKT #equivalence #random #revisited

The equivalence of the random oracle model and the ideal cipher model, revisited (TH, RK, ST), pp. 89–98.

ICALP-v1-2011-FarzanK #distance #graph #navigation

Compact Navigation and Distance Oracles for Graphs with Small Treewidth (AF, SK), pp. 268–280.

ICALP-v1-2011-KawarabayashiKS #approximate #bound #distance #graph

Linear-Space Approximate Distance Oracles for Planar, Bounded-Genus and Minor-Free Graphs (KiK, PNK, CS), pp. 135–146.

ICALP-v2-2011-HermelinLWY #distance #graph

Distance Oracles for Vertex-Labeled Graphs (DH, AL, OW, RY), pp. 490–501.

DUXU-v1-2011-WebbOMPC #mobile #testing

Oracle Mobile User Assistance Testing (ENW, UO, RM, LP, MC), pp. 687–695.

KDD-2011-DalviKMR #nearest neighbour #using

Sampling hidden objects using nearest-neighbor oracles (NND, RK, AM, VR), pp. 1325–1333.

OOPSLA-2011-AcarCR #parallel #scheduling

Oracle scheduling: controlling granularity in implicitly parallel languages (UAA, AC, MR), pp. 499–518.

ICSE-2011-StaatsWH #revisited #source code #testing

Programs, tests, and oracles: the foundations of testing revisited (MS, MWW, MPEH), pp. 391–400.

ICSE-2011-StaatsWH11a #testing

Better testing through oracle selection (MS, MWW, MPEH), pp. 892–895.

ICST-2011-SchulerZ #quality

Assessing Oracle Quality with Checked Coverage (DS, AZ), pp. 90–99.

ICST-2011-ShresthaR #empirical #evaluation

An Empirical Evaluation of Assertions as Oracles (KS, MJR), pp. 110–119.

ICST-2011-YuSSR #embedded #testing #using

Using Property-Based Oracles when Testing Embedded System Applications (TY, AS, WSa, GR), pp. 100–109.

STOC-2010-DuanP #graph

Connectivity oracles for failure prone graphs (RD, SP), pp. 465–474.

ICPR-2010-ArmanoH #prototype #random

Random Prototype-based Oracle for Selection-fusion Ensembles (GA, NH), pp. 77–80.

ICSE-2010-JhaGST #component #synthesis

Oracle-guided component-based program synthesis (SJ, SG, SAS, AT), pp. 215–224.

ISSTA-2010-FraserZ #generative #testing

Mutation-driven generation of unit tests and oracles (GF, AZ), pp. 147–158.

VLDB-2009-BellamkondaAWAZL #optimisation

Enhanced Subquery Optimizations in Oracle (SB, RA, AW, AA, MZ, CCL), pp. 1366–1377.

VLDB-2009-ColleGWBP #database

Oracle Database Replay (RC, LG, YW, SB, SP), pp. 1542–1545.

VLDB-2009-MukherjeeGDMZLKASW

Oracle SecureFiles: Prepared for the Digital Deluge (NM, AG, VD, SM, WZ, SL, KK, BA, KS, SW), pp. 1501–1511.

VLDB-2009-SankaranarayananSA #network

Path Oracles for Spatial Networks (JS, HS, HA), pp. 1210–1221.

VLDB-2009-ZhangACIMPS #query #xml

Binary XML Storage and Query Processing in Oracle 11g (NZ, NA, SC, SI, VM, SP, BS), pp. 1354–1365.

STOC-2009-BernsteinK

A nearly optimal oracle for avoiding failed vertices and edges (AB, DRK), pp. 101–110.

ICST-2009-MurphySK #ml #runtime #testing #using

Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles (CM, KS, GEK), pp. 436–445.

ISSTA-2009-MurphySK #automation #source code #testing

Automatic system testing of programs without test oracles (CM, KS, GEK), pp. 189–200.

SIGMOD-2008-ChakkappenCDJSSZ #database #performance #scalability #statistics

Efficient and scalable statistics gathering for large databases in Oracle 11g (SC, TC, BD, LJ, US, HS, MZ), pp. 1053–1064.

SIGMOD-2008-EadonCSRSD #clustering

Supporting table partitioning by reference in oracle (GE, EIC, SS, AR, JS, SD), pp. 1111–1122.

SIGMOD-2008-GalanisBCDDKPTVWW #database

Oracle database replay (LG, SB, RC, BD, KD, JK, SP, LLT, VV, YW, GW), pp. 1159–1170.

VLDB-2008-LeeZ #query

Closing the query processing loop in Oracle 11g (AWL, MZ), pp. 1368–1378.

VLDB-2008-MukherjeeAGKLMSWZ

Oracle SecureFiles System (NM, BA, AG, KK, SL, SM, KS, SW, WZ), pp. 1301–1312.

VLDB-2008-ZiauddinDSZY #performance

Optimizer plan change management: improved stability and performance in Oracle 11g (MZ, DD, HS, YZ, KY), pp. 1346–1355.

ESOP-2008-HoborAN #concurrent #logic #semantics

Oracle Semantics for Concurrent Separation Logic (AH, AWA, FZN), pp. 353–367.

STOC-2008-Vondrak #approximate #problem

Optimal approximation for the submodular welfare problem in the value oracle model (JV), pp. 67–74.

ICALP-A-2008-BaswanaGSU #constant #distance #fault #graph #polynomial

Distance Oracles for Unweighted Graphs: Breaking the Quadratic Barrier with Constant Additive Error (SB, AG, SS, JU), pp. 609–621.

ICALP-A-2008-RegevS #quantum

Impossibility of a Quantum Speed-Up with a Faulty Oracle (OR, LS), pp. 773–781.

CIKM-2008-DonmezC #learning #multi

Proactive learning: cost-sensitive active learning with multiple imperfect oracles (PD, JGC), pp. 619–628.

QAPL-2008-OchoaP #partial evaluation

Oracle-Based Partial Evaluation (CO, GP), pp. 145–161.

HPCA-2008-RamosB #named #predict

C-Oracle: Predictive thermal management for data centers (LER, RB), pp. 111–122.

ICDAR-2007-KoSB

K-Nearest Oracle for Dynamic Ensemble Selection (AHRK, RS, AdSBJ), pp. 422–426.

SIGMOD-2007-MurthyS #data access #flexibility #performance

Flexible and efficient access control in oracle (RM, ES), pp. 973–980.

VLDB-2007-HuSS #query #sql

Supporting Time-Constrained SQL Queries in Oracle (YH, SS, JS), pp. 1207–1218.

VLDB-2007-SubramanianBLLSSTYW #query

Continuous Queries in Oracle (SS, SB, HGL, VL, LS, WS, JT, TFY, AW), pp. 1173–1184.

CIAA-J-2006-CrochemoreIS07

The Structure of Factor Oracles (MC, LI, ESH), pp. 781–797.

ICALP-2007-ChandranGS #random

Ring Signatures of Sub-linear Size Without Random Oracles (NC, JG, AS), pp. 423–434.

IFL-2007-BrasselS #debugging #functional #lazy evaluation #source code

Debugging Lazy Functional Programs by Asking the Oracle (BB, HS), pp. 183–200.

SIGMOD-2006-GawlickKL #database #declarative #using

Using the oracle database as a declarative RSS hub (DG, MK, ZHL), p. 722.

VLDB-2006-AhmedLWDSZC #cost analysis #query

Cost-Based Query Transformation in Oracle (RA, AWL, AW, DD, HS, MZ, TC), pp. 1026–1036.

CIAA-2006-CrochemoreIS

Factor Oracles (MC, LI, ESH), pp. 78–89.

ICEIS-DISI-2006-OommenC #database #on the #optimisation #query

On Utilizing Attribute Cardinality Maps to Enhance Query Optimization in the Oracle Database System (BJO, JC), pp. 23–35.

ICEIS-J-2006-OommenC06a #database #on the #optimisation #query

On Enhancing Query Optimization in the Oracle Database System by Utilizing Attribute Cardinality Maps (BJO, JC), pp. 38–71.

ECOOP-2006-Xie #automation #testing

Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking (TX), pp. 380–403.

SIGMOD-2005-LiuKA #xquery

Native Xquery processing in oracle XMLDB (ZHL, MK, VA), pp. 828–833.

SIGMOD-2005-ThomeGP #database

Event processing with an oracle database (BT, DG, MP), pp. 863–867.

VLDB-2005-HuSCS #data type #using

Supporting RFID-based Item Tracking Applications in Oracle DBMS Using a Bitmap Datatype (YH, SS, TC, JS), pp. 1140–1151.

VLDB-2005-MilenovaYC #database

SVM in Oracle Database 10g: Removing the Barriers to Widespread Adoption of Support Vector Machines (BLM, JY, MMC), pp. 1152–1163.

VLDB-2005-PoessO #database #grid #scalability

Large Scale Data Warehouses on Grid: Oracle Database 10g and HP ProLiant Systems (MP, RON), pp. 1055–1066.

ICALP-2005-RodittyTZ #approximate #distance

Deterministic Constructions of Approximate Distance Oracles and Spanners (LR, MT, UZ), pp. 261–272.

SIGIR-2005-Grivolla #approach #automation #documentation #natural language #query #retrieval #using

Using Oracle for natural language document retrieval an automatic query reformulation approach (JG), pp. 605–606.

GTTSE-2005-AndradeGAEK #dot-net #migration #named

Forms2Net — Migrating Oracle Forms to Microsoft .NET (LFA, JG, MA, MER, GK), pp. 261–277.

ASE-2004-MemonX #automation #fault #persistent #testing #using

Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software (AMM, QX), pp. 186–195.

DAC-2004-XuPB #layout #named #optimisation

ORACLE: optimization with recourse of analog circuits including layout extraction (YX, LTP, SPB), pp. 151–154.

SIGMOD-2004-CruanesDG #execution #parallel #sql

Parallel SQL Execution in Oracle 10g (TC, BD, BG), pp. 850–854.

VLDB-2004-DagevilleDDYZZ #automation #sql

Automatic SQL Tuning in Oracle 10g (BD, DD, KD, KY, MZ, MZ), pp. 1098–1109.

VLDB-2004-KrishnaprasadLMWAK #query #xml

Query Rewrite for XML in Oracle XML DB (MK, ZHL, AM, JWW, VA, SK), pp. 1122–1133.

VLDB-2004-LiM

Computing Frequent Itemsets Inside Oracle 10G (WL, AM), pp. 1253–1256.

CIAA-2004-XieLD #automaton #testing

Testability of Oracle Automata (GX, CL, ZD), pp. 331–332.

ICML-2004-JanodetNSS #grammar inference

Boosting grammatical inference with confidence oracles (JCJ, RN, MS, HMS).

IJCAR-2004-BartheCT #formal method #random

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model (GB, JC, ST), pp. 385–399.

ASE-2003-MemonBN #effectiveness #question #testing #user interface #what

What Test Oracle Should I Use for Effective GUI Testing? (AMM, IB, AN), pp. 164–173.

SIGMOD-2003-Krishnamurthy #repository #xml

Oracle XML DB Repository (VK), p. 635.

SIGMOD-2003-Pruscino #architecture #performance

Oracle RAC: Architecture and Performance (AP), p. 635.

VLDB-2003-AnKR #performance

Improving Performance with Bulk-Inserts in Oracle R-Trees (NA, KVRK, SR), pp. 948–951.

VLDB-2003-MurthyB #xml

XML Schemas in Oracle XML DB (RM, SB), pp. 1009–1018.

VLDB-2003-PossP

Data Compression in Oracle (MP, DP), pp. 937–947.

ICALP-2003-Schnoebelen #model checking

Oracle Circuits for Branching-Time Model Checking (PS), pp. 790–801.

ASE-2002-AndrewsFL #testing

Adding Value to Formal Test Oracles (JHA, RF, VDL), pp. 275–248.

ASE-2002-FenkamGJ #automation #case study #testing

Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing (PF, HCG, MJ), pp. 129–138.

SIGMOD-2002-AntonJLPZZ #database #web

Web caching for database applications with Oracle Web Cache (JA, LJ, XL, JP, ZZ, TZ), pp. 594–599.

SIGMOD-2002-KanthRA #comparison #using

Quadtree and R-tree indexes in oracle spatial: a comparison using GIS data (KVRK, SR, DA), pp. 546–557.

VLDB-2002-DagevilleZ #memory management #sql

SQL Memory Management in Oracle9i (BD, MZ), pp. 962–973.

ICEIS-2002-Basterra #framework #named

Oracle9i: The Platform for the eBusiness (CB), pp. 27–31.

VLDB-2001-SundaraHCAS #documentation #framework #using #xml

Developing an Indexing Scheme for XML Document Collection using the Oracle8i Extensibility Framework (SS, YH, TC, NA, JS), pp. 701–702.

STOC-2001-ThorupZ #approximate #distance

Approximate distance oracles (MT, UZ), pp. 183–192.

POPL-2001-NeculaR

Oracle-based checking of untrusted software (GCN, SPR), pp. 142–154.

ESEC-FSE-2001-ClarkeJRZ #generative #named #source code #specification

STG: a tool for generating symbolic test programs and oracles from operational specifications (DC, TJ, VR, EZ), pp. 301–302.

SIGMOD-2000-AnnamalaiCD #image

Indexing Images in Oracle8i (MA, RC, SD), pp. 539–547.

VLDB-2000-BasuFP #internet #scalability

Building Scalable Internet Applications with Oracle8i Server (JB, JAF, OP), p. 649.

VLDB-2000-SrinivasanDFCJYKTDB

Oracle8i Index-Organized Table and Its Application to New Domains (JS, SD, CF, EIC, MJ, AY, RK, ATT, SD, JB), pp. 285–296.

ICALP-2000-Merkle #power of #query

The Global Power of Additional Queries to p-Random Oracles (WM), pp. 914–925.

ICEIS-2000-Seddon #case study #framework #multi #question

Case Study: Can a Multi Terabyte Data Warehouse Be Built on a ORACLE/UNIX Platform? (DS), p. XLV.

FSE-2000-MemonPS #automation #testing #user interface

Automated test oracles for GUIs (AMM, MEP, MLS), pp. 30–39.

ASE-1999-FeatherS #automation #generative #testing

Automatic Generation of Test Oracles-From Pilot Studies to Application (MSF, BDS), pp. 63–72.

SIGMOD-1999-KanthRSB

Indexing Medium-dimensionality Data in Oracle (KVRK, SR, JS, JB), pp. 521–522.

SIGMOD-1998-AndersonAF

Oracle Rdb’s Record Caching Model (RA, GA, RF), pp. 526–527.

SIGMOD-1998-Doherty #database

Database Systems Management and Oracle8 (CGD), pp. 510–511.

SIGMOD-1998-LahiriJJC #database

50,000 Users on an Oracle8 Universal Server Database (TL, AJ, AJ, SC), pp. 528–530.

VLDB-1998-BamfordBKM #architecture #parallel

Architecture of Oracle Parallel Server (RB, DB, BK, NM), pp. 669–670.

VLDB-1998-BelloDDFNSWZ

Materialized Views in Oracle (RGB, KD, AD, JJFJ, JLF, WDN, HS, AW, MZ), pp. 659–664.

VLDB-1998-JoshiBLL

Checkpointing in Oracle (AJ, WB, JL, TL), pp. 665–668.

VLDB-1998-Pogue #industrial

Oracle Industrial Exhibit (AP), p. 706.

STOC-1998-CanettiGH #random

The Random Oracle Methodology, Revisited (Preliminary Version) (RC, OG, SH), pp. 209–218.

VLDB-1997-BridgeJKLLM

The Oracle Universal Server Buffer (WB, AJ, MK, TL, JL, NM), pp. 590–594.

VLDB-1996-Gawlick

Scalablity and Availability in Oracle7 7.3 (DG), p. 584.

VLDB-1996-Klots #parallel

Cache Coherency in Oracle Parallel Server (BK), p. 583.

FSE-1996-DillonR #generative #logic #specification

Generating Oracles from Your Favorite Temporal Logic Specifications (LKD, YSR), pp. 106–117.

SIGMOD-1995-Gettys #challenge #transaction

DIRECTV and Oracle Rdb: The Challenges of VLDB Transaction Processing (WLG), pp. 429–430.

VLDB-1995-Hallmark

The Oracle Warehouse (GH), pp. 707–709.

SIGMOD-1994-DanielsDDEHJJLSSS #design #replication #symmetry

Oracle’s Symmetric Replication Technology and Implications for Application Design (DD, LBD, AD, CE, GH, SJ, BJ, PL, GS, BS, JS), p. 467.

SIGMOD-1994-LaursenOP #interactive #multi

Oracle Media Server: Providing Consumer Based Interactive Access to Multimedia Data (AL, JO, MP), pp. 470–477.

FSE-1994-DillonY #concurrent

Oracles for Checking Temporal Properties of Concurrent Systems (LKD, QY), pp. 140–153.

ISSTA-1994-PetersP #documentation #generative #testing

Generating a Test Oracle from Program Documentation (Work in Progress) (DKP, DLP), pp. 58–65.

ISSTA-1994-Richardson #analysis #named #testing

TAOS: Testing with Analysis and Oracle Support (DJR), pp. 138–153.

CSL-1993-MakowskyP #quantifier

Oracles and Quantifiers (JAM, YBP), pp. 189–222.

ALP-1992-BarbutiCGM #prolog #semantics

Oracle Semantics for Prolog (RB, MC, RG, MJM), pp. 100–114.

ICSE-1992-RichardsonAO #testing

Specification-Based Test Oracles for Reactive Systems (DJR, SLA, TOO), pp. 105–118.

CSL-1992-Stewart #bound #logic #polynomial #query

Logical Characterization of Bounded Query Classes II: Polynomial-Time Oracle Machines (IAS), pp. 410–424.

ICALP-1990-BookLT #pseudo #query #random

Additional Queries to Random and Pseudorandom Oracles (RVB, JHL, ST), pp. 283–293.

STOC-1989-KurtzMR #morphism #random

The Isomorphism Conjecture Fails Relative to a Random Oracle (Extended Abstract) (SAK, SRM, JSR), pp. 157–166.

ICALP-1988-Wagner #on the #strict

On Restricting the Access to an NP-Oracle (KWW), pp. 682–696.

STOC-1987-AbadiFK #on the

On Hiding Information from an Oracle (Extended Abstract) (MA, JF, JK), pp. 195–203.

STOC-1986-Cai #polynomial #probability #random

With Probability One, A Random Oracle Separates PSPACE from the Polynomial-Time Hierarchy (JyC), pp. 21–29.

DAC-1984-dAbreuCF #design #named

Oracle — a simulator for Bipolar and MOS IC design (MAd, KLC, CTF), pp. 343–349.

ICALP-1984-Schoning #algorithm #approach #robust

Robust Algorithms: A Different Approach to Oracles (US), pp. 448–453.

ICALP-1983-Orponen #complexity

Complexity Classes of Alternating Machines with Oracles (PO), pp. 573–584.

STOC-1982-Kurtz #on the #random

On the Random Oracle Hypothesis (SAK), pp. 224–230.