BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
black (77)
test (45)
system (22)
base (19)
model (17)

Stem box$ (all stems)

190 papers:

CBSECBSE-2015-PlateniusSA #framework #named #process
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (MCP, WS, SA), pp. 75–84.
CASECASE-2015-MaP #approach #black box #programmable #testing
Design-to-test approach for black-box testing of programmable controllers (CM, JP), pp. 1018–1024.
CHICHI-2015-NebelingGSN #multi #named
MUBox: Multi-User Aware Personal Cloud Storage (MN, MG, OS, MCN), pp. 1855–1864.
ICMLICML-2015-LeeR #distributed #linear #optimisation #polynomial
Distributed Box-Constrained Quadratic Optimization for Dual Linear SVM (CPL, DR), pp. 987–996.
SEKESEKE-2015-YungLC #black box #complexity
An Average Case Time Complexity Estimator for Black-box Functions (DY, BL, SKC), pp. 567–570.
ECMFAECMFA-2015-SaxonBA #black box #model transformation
Opening the Black-Box of Model Transformation (JTS, BB, DHA), pp. 171–186.
POPLPOPL-2015-NgoMMP #black box #policy #runtime #security #source code
Runtime Enforcement of Security Policies on Black Box Reactive Programs (MN, FM, DM, FP), pp. 43–54.
ESEC-FSEESEC-FSE-2015-BordingBP
Comprehensive service matching with MatchBox (PB, MB, MCP), pp. 974–977.
ICSTICST-2015-FarzanHV #concurrent #execution #testing
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution (AF, AH, HV), pp. 1–11.
ICSTICST-2015-NoguchiWFSO #black box #optimisation #testing #using
History-Based Test Case Prioritization for Black Box Testing Using Ant Colony Optimization (TN, HW, YF, AS, KO), pp. 1–2.
CASECASE-2014-HwangLW #adaptation #learning
Adaptive reinforcement learning in box-pushing robots (KSH, JLL, WHW), pp. 1182–1187.
CASECASE-2014-ZhangLYL #optimisation #parametricity #simulation
Simulation and parameter optimization of the key working procedure of engine box (CZ, JL, RY, GL), pp. 315–319.
STOCSTOC-2014-GoyalOSV #black box
Black-box non-black-box zero knowledge (VG, RO, AS, IV), pp. 515–524.
LATALATA-2014-KlaudelKD #algebra #logic #semantics
Interval Temporal Logic Semantics of Box Algebra (HK, MK, ZD), pp. 441–452.
CHICHI-2014-BroySAS #3d #design #guidelines #interface #prototype #tool support
FrameBox and MirrorBox: tools and guidelines to support designers in prototyping interfaces for 3D displays (NB, SS, FA, AS), pp. 2037–2046.
HCIHCI-TMT-2014-SzklannySWCW #interface #metaprogramming #named #performance
SyncBox — Synchronizer and Interface for High-Speed Macro Photography (KS, AS, PW, SC, AW), pp. 652–661.
HCIHIMI-DE-2014-XingGRK #visualisation
Google Analytics Spatial Data Visualization: Thinking Outside of the Box (WX, RG, BR, TRK), pp. 120–127.
ICPRICPR-2014-DengWGZZ #modelling #multi
Multiple View Based Building Modeling with Multi-box Grammar (RD, QW, RG, GZ, HZ), pp. 4027–4032.
KDDKDD-2014-GohR #learning
Box drawings for learning with imbalanced data (STG, CR), pp. 333–342.
KRKR-2014-LudwigK #difference #logic
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (ML, BK).
SIGIRSIGIR-2014-GuptaBV #automation #named
CharBoxes: a system for automatic discovery of character infoboxes from books (MG, PB, VV), pp. 1255–1256.
SLESLE-2014-MeyersDLSVW #framework #generative #named
ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
ICLPICLP-J-2014-SaadFG #constraints #reasoning #reliability
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (AS, TWF, CG), pp. 461–475.
ICTSSICTSS-2014-Schmidberger #metric
Well-Defined Coverage Metrics for the Glass Box Test (RS), pp. 113–128.
TAPTAP-2014-BardinCDK #automation #testing #tool support
An All-in-One Toolkit for Automated White-Box Testing (SB, OC, MD, NK), pp. 53–60.
CBSECBSE-2013-Danielson #empirical #tool support
Ethics outside the box: empirical tools for an ethics of artificial agents (PD), pp. 1–2.
VLDBVLDB-2013-MousaviGZ #database #knowledge base #mining #named
IBminer: A Text Mining Tool for Constructing and Populating InfoBox Databases and Knowledge Bases (HM, SG, CZ), pp. 1330–1333.
FASEFASE-2013-SakamotoTHWF #code generation #integration #named #testing #web
POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications (KS, KT, DH, HW, YF), pp. 343–358.
FASEFASE-2013-YangPX #approach #automation #generative #mobile
A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications (WY, MRP, TX), pp. 250–265.
WCREWCRE-2013-DucheneRRG #black box #data flow #detection #modelling #named
LigRE: Reverse-engineering of control and data flow models for black-box XSS detection (FD, SR, JLR, RG), pp. 252–261.
STOCSTOC-2013-ChungPS #security #simulation
Non-black-box simulation from one-way functions and applications to resettable security (KMC, RP, KS), pp. 231–240.
STOCSTOC-2013-Goyal #concurrent #simulation
Non-black-box simulation in the fully concurrent setting (VG), pp. 221–230.
MLDMMLDM-2013-ParimiC #predict
Pre-release Box-Office Success Prediction for Motion Pictures (RP, DC), pp. 571–585.
ICSTICST-2013-CzemerinskiBU #abstraction #behaviour #black box
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria (HC, VAB, SU), pp. 222–231.
ISSTAISSTA-2013-FraserSMAP #automation #generative #question #testing
Does automated white-box test generation really help software testers? (GF, MS, PM, AA, FP), pp. 291–301.
LICSLICS-2013-Accattoli
Compressing Polarized Boxes (BA), pp. 428–437.
CBSECBSE-2012-MaurelBKA #adaptation #monitoring
Adaptive monitoring of end-user OSGi-based home boxes (YM, AB, RK, KA), pp. 157–166.
VLDBVLDB-2012-HueskePSRBKT #black box #data flow #optimisation
Opening the Black Boxes in Data Flow Optimization (FH, MP, MS, AR, RB, AK, KT), pp. 1256–1267.
STOCSTOC-2012-ChawlaIL #black box #design #on the #reduction
On the limits of black-box reductions in mechanism design (SC, NI, BL), pp. 435–448.
ICALPICALP-v1-2012-BaronOV #black box
Nearly Simultaneously Resettable Black-Box Zero Knowledge (JB, RO, IV), pp. 88–99.
ICALPICALP-v1-2012-RabinMMY #performance #strict #transaction #validation
Strictly-Black-Box Zero-Knowledge and Efficient Validation of Financial Transactions (MOR, YM, SM, MY), pp. 738–749.
KRKR-2012-BaaderBM #towards #unification
Extending Unification in EL Towards General TBoxes (FB, SB, BM).
KRKR-2012-CohnRS #analysis #representation #video
Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis (AGC, JR, MS).
SIGIRSIGIR-2012-TureLO #information retrieval
Looking inside the box: context-sensitive translation for cross-language information retrieval (FT, JJL, DWO), pp. 1105–1106.
MODELSMoDELS-2012-GonzalezC #approach #atl #generative #named #testing
ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
MODELSMoDELS-2012-GonzalezC #approach #atl #generative #named #testing
ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
OOPSLAOOPSLA-2012-BaoZZ #nondeterminism #program analysis
White box sampling in uncertain data processing enabled by program analysis (TB, YZ, XZ), pp. 897–914.
OOPSLAOOPSLA-2012-KaliberaMJV #approach #black box #comprehension #concurrent
A black-box approach to understanding concurrency in DaCapo (TK, MM, REJ, JV), pp. 335–354.
SACSAC-2012-NathML #classification #fault #on the #testing
On the improvement of a fault classification scheme with implications for white-box testing (SKN, RM, MFL), pp. 1123–1130.
SACSAC-2012-ShahidPO #bound
Minimum bounding boxes for regular cross-polytopes (SS, SP, CBO), pp. 879–884.
HPDCHPDC-2012-SkourtisKB #black box #named #performance
QBox: guaranteeing I/O performance on black box storage systems (DS, SK, SAB), pp. 73–84.
CAVCAV-2012-BogomolovFGLPW #analysis #distance #reachability
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx (SB, GF, RG, HL, AP, MW), pp. 479–494.
ICSTICST-2012-MarianiPRS #automation #black box #interactive #named #testing
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications (LM, MP, OR, MS), pp. 81–90.
ECSAECSA-2011-AdmodisastroK #analysis #approach #architecture #black box #development
An Architecture Analysis Approach for Supporting Black-Box Software Development (NA, GK), pp. 180–189.
DATEDATE-2011-TsengHWFC #black box #compilation #library #modelling #power management
Black-box leakage power modeling for cell library and SRAM compiler (CKT, SYH, CCW, SCF, JJC), pp. 637–642.
FASEFASE-2011-WangWHC #black box #evolution #testing
Evolving a Test Oracle in Black-Box Testing (FW, JHW, CHH, KHC), pp. 310–325.
STOCSTOC-2011-SarafV #black box #multi #testing
Black-box identity testing of depth-4 multilinear circuits (SS, IV), pp. 421–430.
STOCSTOC-2011-Woodruff #approximate #black box #protocol
Near-optimal private approximation protocols via a black box transformation (DPW), pp. 735–744.
CEFPCEFP-2011-MichaelsonG #calculus #multi #reasoning
Reasoning about Multi-process Systems with the Box Calculus (GM, GG), pp. 279–338.
CHICHI-2011-HendyLBM #parametricity
Parameter selection in keyboard-based dialog boxes (JCH, JL, KSB, JM), pp. 2761–2764.
HCIDHM-2011-MarlerKJ #analysis #predict
Optimization-Based Posture Prediction for Analysis of Box Lifting Tasks (TM, LK, RJ), pp. 151–160.
HCIHCI-MIIE-2011-BlazicaVM #named
ShoeBox: A Natural Way of Organizing Pictures According to User’s Affinities (BB, DV, DM), pp. 519–524.
ECIRECIR-2011-MagdyJ #black box #question
Should MT Systems Be Used as Black Boxes in CLIR? (WM, GJFJ), pp. 683–686.
ECOOPECOOP-2011-HarmanciGF #coordination #exception #memory management #transaction
Atomic Boxes: Coordinated Exception Handling with Transactional Memory (DH, VG, PF), pp. 634–657.
ICSEICSE-2011-MarianiPRS #automation #black box #named #testing
AutoBlackTest: a tool for automatic black-box testing (LM, MP, OR, MS), pp. 1013–1015.
SLESLE-2011-SeibelHNG #black box #composition #execution #model transformation
A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations (AS, RH, SN, HG), pp. 19–39.
ICTSSICTSS-2011-Walkinshaw #black box #specification #test coverage #testing
Assessing Test Adequacy for Black-Box Systems without Specifications (NW), pp. 209–224.
TAPTAP-2011-AguirreBFG #black box #bound #generative #test coverage #testing
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs (NA, VSB, MFF, JPG), pp. 15–32.
ASEASE-2010-Holotescu #adaptation #black box #component
Error-avoiding adaptors for black-box software components (CH), pp. 487–492.
DATEDATE-2010-WieckowskiSBCIPA #analysis #black box
A black box method for stability analysis of arbitrary SRAM cell structures (MW, DS, DB, VC, SI, CP, RCA), pp. 795–800.
VLDBVLDB-2010-PramanikWML #query
Transforming Range Queries To Equivalent Box Queries To Optimize Page Access (SP, AW, CRM, AXL), pp. 409–416.
ITiCSEITiCSE-2010-LoQY #energy
Innovative CS capstone projects on green energy applications with WSN in a box (CTDL, KQ, LY), p. 307.
ITiCSEITiCSE-2010-QianLH #education #embedded
Portable labs in a box for embedded system education (KQ, CTDL, XH), p. 318.
SASSAS-2010-GurfinkelC #abstract domain #named
Boxes: A Symbolic Abstract Domain of Boxes (AG, SC), pp. 287–303.
ICPRICPR-2010-PhamTN #bound #segmentation #similarity #using
Bounding-Box Based Segmentation with Single Min-cut Using Distant Pixel Similarity (VQP, KT, TN), pp. 4420–4423.
RecSysRecSys-2010-XieLW #recommendation
Breaking out of the box of recommendations: from items to packages (MX, LVSL, PTW), pp. 151–158.
SEKESEKE-2010-Wang #black box #parametricity #testing #using
Reducing Black-box Test Suite Using Input Parameter Relationships (LW), pp. 180–185.
MODELSMoDELS-v1-2010-IqbalAB #black box #case study #embedded #industrial #modelling #realtime #testing #uml
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies (MZZI, AA, LCB), pp. 286–300.
ECOOPECOOP-2010-SchaferP #component #concurrent #named
JCoBox: Generalizing Active Objects to Concurrent Components (JS, APH), pp. 275–299.
OOPSLAOOPSLA-2010-RobersonB #composition #model checking #performance
Efficient modular glass box software model checking (MR, CB), pp. 4–21.
SACSAC-2010-GoldsztejnG #adaptation #consistency
Box consistency through adaptive shaving (AG, FG), pp. 2049–2054.
SACSAC-2010-VoigtIR #automation #generative #metamodelling #named
MatchBox: combined meta-model matching for semi-automatic mapping generation (KV, PI, AR), pp. 2281–2288.
FSEFSE-2010-EpifaniGT #black box #detection
Change-point detection for black-box services (IE, CG, GT), pp. 227–236.
HPDCHPDC-2010-HerzfeldOS #virtual machine
Pools of virtual boxes: building campus grids with virtual machines (DJH, LEO, CAS), pp. 667–675.
ICTSSICTSS-2010-ArcuriIB #black box #embedded #random #realtime #search-based #testing #using
Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing (AA, MZZI, LCB), pp. 95–110.
DACDAC-2009-EllithorpeTK #architecture #named #network #using
Internet-in-a-Box: emulating datacenter network architectures using FPGAs (JDE, ZT, RHK), pp. 880–883.
DATEDATE-2009-ViehlPBR #analysis #performance #scheduling
White box performance analysis considering static non-preemptive software scheduling (AV, MP, OB, WR), pp. 513–518.
STOCSTOC-2009-AronovES
Small-size epsilon-nets for axis-parallel rectangles and boxes (BA, EE, MS), pp. 639–648.
HCIHCI-NIMT-2009-SuzukiKYY #interactive #interface #towards
A Basic Study of Sensory Characteristics toward Interaction with a Box-Shaped Interface (NS, TK, SY, SY), pp. 513–522.
RecSysRecSys-2009-AbbassiALVY #recommendation
Getting recommender systems to think outside the box (ZA, SAY, LVSL, SV, CY), pp. 285–288.
SACSAC-2009-ChoudhuriG #embedded #named #nondeterminism
FlashBox: a system for logging non-deterministic events in deployed embedded systems (SC, TG), pp. 1676–1682.
SACSAC-2009-NarayananCKS #parallel #scalability
Parallel materialization of large ABoxes (SN, ÜVÇ, TMK, JHS), pp. 1257–1261.
SLESLE-2009-RenggliDN
Language Boxes (LR, MD, ON), pp. 274–293.
CSLCSL-2009-AccattoliG
Jumping Boxes (BA, SG), pp. 55–70.
ICSTICST-2009-BertoliniPdM #automation #black box #empirical #evaluation #testing #user interface
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs (CB, GP, Md, AM), pp. 21–30.
ICSTICST-2009-TanNM #automation #black box #library #parallel #programming #testing
Automated Black Box Testing Tool for a Parallel Programming Library (RPT, PN, SM), pp. 307–316.
CBSECBSE-2008-Brada #black box #component
The CoSi Component Model: Reviving the Black-Box Nature of Components (PB), pp. 318–333.
CBSECBSE-2008-KuperbergKR #behaviour #black box #component #modelling #parametricity #performance #predict #using
Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models (MK, KK, RHR), pp. 48–63.
ECSAECSA-2008-Kotonya #architecture #black box #component #development
An Architecture-Centric Development Environment for Black-Box Component-Based Systems (GK), pp. 98–113.
ICALPICALP-C-2008-AltmannJR #black box #integer #on the
On Black-Box Ring Extraction and Integer Factorization (KA, TJ, AR), pp. 437–448.
CHICHI-2008-DixonGC #parametricity #performance
Optimal parameters for efficient crossing-based dialog boxes (MD, FG, NC), pp. 1623–1632.
ICPRICPR-2008-ChenA #recognition
Recognition of box-like objects by fusing cues of shape and edges (CCC, JKA), pp. 1–5.
CAVCAV-2008-Felten
Coping with Outside-the-Box Attacks (EWF), pp. 3–4.
TAPTAP-2008-TillmannH #dot-net #generative #testing
Pex-White Box Test Generation for .NET (NT, JdH), pp. 134–153.
DATEDATE-2007-FengWZKS #automation #black box #generative #interactive #realtime
Interactive presentation: Automatic model generation for black box real-time systems (THF, LW, WZ, SK, SAS), pp. 930–935.
PLDIPLDI-2007-HaRDRRPCW #black box #component #fault
Improved error reporting for software that uses black-box components (JH, CJR, JVD, IR, HER, DEP, DLC, EW), pp. 101–111.
ICALPICALP-2007-FurukawaA #black box #encryption
Fully Collusion Resistant Black-Box Traitor Revocable Broadcast Encryption with Short Private Keys (JF, NA), pp. 496–508.
HCIHCI-IDU-2007-GokturkC #experience #open source
Out of Box Experience Issues of Free and Open Source Software (MG, ), pp. 774–783.
HCIHIMI-MTT-2007-SakuradaHON #interface #online #recognition #using
A Japanese Text Input Interface Using On-Line Writing-Box-Free Handwriting Recognition and Kana-to-Kanji Conversion (TS, YH, HO, MN), pp. 940–949.
PPDPPPDP-2007-FischerK #functional #generative #logic programming #source code #testing
Systematic generation of glass-box test cases for functional logic programs (SF, HK), pp. 63–74.
SACSAC-2007-AppelPSTT #clustering
Biased box sampling — a density-biased sampling for clustering (APA, AAP, EPMdS, AJMT, CTJ), pp. 445–446.
AMOSTAMOST-2007-KicillofGTB #automation #test coverage #testing
Achieving both model and code coverage with automated gray-box testing (NK, WG, NT, VAB), pp. 1–11.
TAPTAP-2007-BeckertG #black box #specification #testing
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing (BB, CG), pp. 207–216.
CBSECBSE-2006-MauranPL #black box #distributed
Supervising Distributed Black Boxes (PM, GP, PTXL), pp. 166–181.
ASEASE-2006-Rajan #black box #metric #testing
Coverage Metrics to Measure Adequacy of Black-Box Test Suites (AR), pp. 335–338.
CASECASE-2006-BeghiLPS #black box #modelling #prototype
Black-box modeling of a Two-Stroke Racing Motorcycle Engine for Virtual Prototyping Applications (AB, ML, SP, DS), pp. 280–285.
DACDAC-2006-ChoP #named
BoxRouter: a new global router based on box expansion and progressive ILP (MC, DZP), pp. 373–378.
STOCSTOC-2006-IshaiKLP #black box
Black-box constructions for secure computation (YI, EK, YL, EP), pp. 99–108.
CSCWCSCW-2006-PalenB
Of pill boxes and piano benches: “home-made” methods for managing medication (LP, SAB), pp. 79–88.
ICPRICPR-v1-2006-KatsoulasK #bound #image
Box-like Superquadric Recovery in Range Images by Fusing Region and Boundary Information (DK, DIK), pp. 719–722.
KRKR-2006-LiuLMW #logic
Updating Description Logic ABoxes (HL, CL, MM, FW), pp. 46–56.
PPDPPPDP-2006-GarraldaCD #named
BASS: boxed ambients with safe sessions (PG, ABC, MDC), pp. 61–72.
SACSAC-2006-PhilippePBBH #approach #black box #web
A black-box approach for web application SLA (JP, NDP, SB, FB, DH), pp. 807–808.
CSLCSL-2006-Mellies #diagrams #string
Functorial Boxes in String Diagrams (PAM), pp. 1–30.
ICALPICALP-2005-HorvitzK #black box #bound #performance
Bounds on the Efficiency of “Black-Box” Commitment Schemes (OH, JK), pp. 128–139.
CEFPCEFP-2005-ZsokHH #design #distributed
Designing Distributed Computational Skeletons in D-Clean and D-Box (VZ, ZH, ZH), pp. 223–256.
SACSAC-2005-ChabertTN #consistency #constraints #problem
Box-set consistency for interval-based constraint problems (GC, GT, BN), pp. 1439–1443.
HPDCHPDC-2005-Thain #grid
Identity boxing: secure user-level containment for the grid (DT), pp. 299–300.
CAVCAV-2005-Younes #black box #probability #verification
Probabilistic Verification for “Black-Box” Systems (HLSY), pp. 253–265.
FATESFATES-2005-Huima #black box #testing
A Note on an Anomaly in Black-Box Testing (AH), pp. 47–61.
FATESFATES-2005-XieD #approach #concurrent #testing
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach (GX, ZD), pp. 170–186.
ASEASE-2004-HopcroftB #csp #development
Combining the Box Structure Development Method and CSP (PJH, GHB), pp. 340–345.
ITiCSEITiCSE-WGR-2004-Medina #education #social
Beyond the ballot box: computer science education and social responsibility (EMM), pp. 7–10.
ESOPESOP-2004-LeviB #analysis #control flow
A Control Flow Analysis for Safe and Boxed Ambients (FL, CB), pp. 188–203.
ESOPESOP-2004-PhillipsYE #automaton #calculus #distributed
A Distributed Abstract Machine for Boxed Ambient Calculi (AP, NY, SE), pp. 155–170.
ICSMEICSM-2004-XieN #black box #difference #testing
Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences (TX, DN), pp. 28–37.
ICALPICALP-2004-KrauthgamerL #black box #complexity #nearest neighbour
The Black-Box Complexity of Nearest Neighbor Search (RK, JRL), pp. 858–869.
SEFMSEFM-2004-BidoitHKB #black box #object-oriented #specification
Glass-Box and Black-Box Views on Object-Oriented Specifications (MB, RH, AK, HB), pp. 208–217.
ICMLICML-2004-TaoSVO #approximate #learning #multi
SVM-based generalized multiple-instance learning via approximate box counting (QT, SDS, NVV, TTO).
ICPRICPR-v2-2004-KatsoulasW #detection #image
Edge Detection in Range Images of Piled Box-like Objects (DK, AW), pp. 80–84.
KDDKDD-2004-Hooker04a #black box
Discovering additive structure in black box functions (GH), pp. 575–580.
SEKESEKE-2004-BeydedaG #component #off the shelf #self
Black- and White-Box Self-testing COTS Components (SB, VG), pp. 104–109.
LDTALDTA-2004-JohnstoneSE #algorithm #case study #glr #parsing
The Grammar Tool Box: A Case Study Comparing GLR Parsing Algorithms (AJ, ES, GRE), pp. 97–113.
CCCC-2004-OwenW #cost analysis
Reducing the Cost of Object Boxing (TO, DW), pp. 202–216.
CAVCAV-2004-SenVA #black box #model checking #probability #statistics
Statistical Model Checking of Black-Box Probabilistic Systems (KS, MV, GA), pp. 202–215.
DATEDATE-2003-DobrovolnyVWD #analysis #modelling
Analysis and White-Box Modeling of Weakly Nonlinear Time-Varying Circuits (PD, GV, PW, SD), pp. 10624–10629.
DATEDATE-2003-RemondB #design #set
Set Top Box SoC Design Methodology at STMicroelectronics (FR, PB), pp. 20220–20223.
SIGMODSIGMOD-2003-Shivakumar
Google in a Box — Building the Google Search Appliance (NS), p. 635.
ICFPICFP-2003-WashburnW #encoding #higher-order #morphism #parametricity #polymorphism #syntax
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism (GW, SW), pp. 249–262.
ICEISICEIS-v2-2003-BailonDF #fuzzy
Extension of the Box-Counting Method to Measure the Fractal Dimension of Fuzzy Data (ABB, MD, WF), pp. 185–190.
SOSPSOSP-2003-AguileraMWRM #black box #debugging #distributed #performance
Performance debugging for distributed systems of black boxes (MKA, JCM, JLW, PR, AM), pp. 74–89.
FATESFATES-2003-TylerS #behaviour #black box #testing
Black-Box Testing of Grey-Box Behavior (BT, NS), pp. 1–14.
ASEASE-2002-SchroederFK #automation #black box #generative #testing
Generating Expected Results for Automated Black-Box Testing (PJS, PF, BK), pp. 139–148.
TACASTACAS-2002-BornotMNZ #black box
Black Box Unfolding with Local First Search (SB, RM, PN, SZ), pp. 386–400.
DACDAC-2001-FanLWC #2d #design #on the
On Optimum Switch Box Designs for 2-D FPGAs (HF, JL, YLW, CCC), pp. 203–208.
ITiCSEITiCSE-2001-HabermanK #black box #concept #education
Activating “black boxes” instead of opening “zipper” — a method of teaching novices basic CS concepts (BH, YBDK), pp. 41–44.
ICSMEICSM-2001-BeydedaGS #representation #testing #visual notation
A Graphical Class Representation for Integrated Black- and White-Box Testing (SB, VG, MS), pp. 706–715.
STOCSTOC-2001-CanettiKPR #black box #concurrent
Black-box concurrent zero-knowledge requires Ω(log n) rounds (RC, JK, EP, AR), pp. 570–579.
TOOLSTOOLS-USA-2001-Devos01a
Confronting Possibilities and Needs in the Digital Economy: Breaking out of the Box to Envision the System (MMD), pp. 432–434.
SOSPSOSP-2001-Arpaci-DusseauA
Information and Control in Gray-Box Systems (ACAD, RHAD), pp. 43–56.
IJCARIJCAR-2001-HaarslevMT #logic #modelling #pseudo #reasoning
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics (VH, RM, AYT), pp. 61–75.
ICSMEICSM-2000-Comella-DordaWSR #bibliography #black box #information management #legacy
A Survey of Black-Box Modernization Approaches for Information Systems (SCD, KCW, RCS, JER), pp. 173–183.
ICPRICPR-v2-2000-FukushimaN #online #recognition
On-Line Writing-Box-Free Recognition of Handwritten Japanese Text Considering Character Size Variations (TF, MN), pp. 2359–2363.
KRKR-2000-HaarslevM #reasoning #strict #transitive
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles (VH, RM), pp. 273–284.
TOOLSTOOLS-EUROPE-2000-AssmannBG #metaprogramming
Meta-Programming Grey-Box Connectors (UA, HB, TG), pp. 300–311.
ISSTAISSTA-2000-SchroederK #analysis #black box #reduction #using
Black-box test reduction using input-output analysis (PJS, BK), pp. 173–177.
IWPCIWPC-1999-Korel #black box #component #comprehension #off the shelf
Black-Box Understanding of COTS Components (BK), pp. 92–99.
HCIHCI-CCAD-1999-UchyigitCQC
Agents in the box (GU, BC, EQ, JC), pp. 157–161.
GPCEGCSE-1999-Bruin #approach #component #composition
A Grey-Box Approach to Component Composition (HdB), pp. 195–209.
ICLPICLP-1999-BenhamouGGP #consistency
Revising Hull and Box Consistency (FB, FG, LG, JFP), pp. 230–244.
STOCSTOC-1998-HuangR #algebra #approach #black box #composition #problem #set
A Black Box Approach to the Algebraic Set Decomposition Problem (MDAH, AJR), pp. 497–506.
LICSLICS-1998-Mackie #linear #logic
Linear Logic With Boxes (IM), pp. 309–320.
DACDAC-1997-LiuSAS #black box #design #optimisation
Optimizing Designs Containing Black Boxes (THL, KS, AA, VS), pp. 113–116.
ICSMEICSM-1997-HeSRC #black box #maintenance #testing
Software Black Box Mechanism: A Pragmatic Method for Software Crash Diagnosis and Usage Maintenance Testing (ZH, GS, MR, IC), pp. 142–149.
EDOCEDOC-1997-Kindel #black box #encapsulation #interface #multi #named #what
COM: what makes it work, black-box encapsulation through multiple, immutable interfaces (CK), pp. 68–77.
ICPRICPR-1996-FengLC #approach #estimation
Fractional box-counting approach to fractal dimension estimation (JF, WCL, CTC), pp. 854–858.
KRKR-1996-GiacomoL #logic #reasoning
TBox and ABox Reasoning in Expressive Description Logics (GDG, ML), pp. 316–327.
ICDARICDAR-v1-1995-HoriD #analysis #reasoning #robust
Robust table-form structure analysis based on box-driven reasoning (OH, DSD), pp. 218–221.
ICDARICDAR-v2-1995-HaHP #bound #component #recursion #using
Recursive X-Y cut using bounding boxes of connected components (JH, RMH, ITP), pp. 952–955.
ICDARICDAR-v2-1995-HaHP95a #bound #composition #documentation
Document page decomposition by the bounding-box project (JH, RMH, ITP), pp. 1119–1122.
ICLPILPS-1995-PugetL #constraints
Beyond the Glass Box: Constraints as Objects (JFP, ML), pp. 513–527.
SASSAS-1994-Goubault
Generalized Boxings, Congruences and Partial Inlining (JG), pp. 147–161.
POPLPOPL-1994-HengleinJ
Formally Optimal Boxing (FH, JJ), pp. 213–226.
ICDARICDAR-1993-KrtolicaM #algorithm #recognition
Two-stage box connectivity algorithm for optical character recognition (RK, SM), pp. 179–182.
HCIHCI-SHI-1993-MalinowskiKDS #adaptation #user interface
Computer-Aided Adaptation of User Interfaces with Menus and Dialog Boxes (UM, TK, HD, MSH), pp. 122–127.
HCIHCI-SHI-1993-Page #interface
Selecting Colors for Dialog Boxes and Buttons in a Text Interface (SRP), pp. 208–213.
ICMLICML-1993-RendersBS #adaptation #black box #how
Adaptive NeuroControl: How Black Box and Simple can it be (JMR, HB, MS), pp. 260–267.
TOOLSTOOLS-PACIFIC-1993-MenziesS #black box #constraints #framework #how
How to Edit “It”; or: A “Black-box” Constraint-Based Framework for User-Interaction with Arbitrary Structures (TM, RS), pp. 213–224.
LICSLICS-1992-GonthierAL #linear #logic
Linear Logic Without Boxes (GG, MA, JJL), pp. 223–234.
CCCC-1990-GroschE #compilation
A Tool Box for Compiler Construction (JG, HE), pp. 106–116.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.