Stem black$ (all stems)

94 papers:

CASE-2015-MaP #approach #black box #programmable #testing

Design-to-test approach for black-box testing of programmable controllers (CM, JP), pp. 1018–1024.

DAC-2015-RakshitWLGM #design #power management #robust

Monolayer transition metal dichalcogenide and black phosphorus transistors for low power robust SRAM design (JR, RW, KTL, JG, KM), p. 6.

ITiCSE-2015-XhakajL #approach #education

A New Approach To Teaching Red Black Tree (FX, CWL), pp. 278–283.

DHM-HM-2015-FujiwaraSKFSEST #evaluation

Colorimetry and Impression Evaluation of Insert Molded GFRP Plate with Black Silk Fabrics (KF, ES, TK, TF, TS, AE, YS, YT, YY), pp. 256–266.

SEKE-2015-YungLC #black box #complexity

An Average Case Time Complexity Estimator for Black-box Functions (DY, BL, SKC), pp. 567–570.

ECMFA-2015-SaxonBA #black box #model transformation

Opening the Black-Box of Model Transformation (JTS, BB, DHA), pp. 171–186.

POPL-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.

ICST-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.

STOC-2014-GoyalOSV #black box

Black-box non-black-box zero knowledge (VG, RO, AS, IV), pp. 515–524.

WCRE-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.

STOC-2013-ChungPS #security #simulation

Non-black-box simulation from one-way functions and applications to resettable security (KMC, RP, KS), pp. 231–240.

STOC-2013-Goyal #concurrent #simulation

Non-black-box simulation in the fully concurrent setting (VG), pp. 221–230.

CAiSE-2013-LiverK #information management #scalability

Integrity in Very Large Information Systems — Dealing with Information Risk Black Swans (BL, HK), pp. 641–656.

ICST-2013-CzemerinskiBU #abstraction #behaviour #black box

Behaviour Abstraction Coverage as Black-Box Adequacy Criteria (HC, VAB, SU), pp. 222–231.

DATE-2012-ChatziparaskevasBP #difference #finite #parallel #using

An FPGA-based parallel processor for Black-Scholes option pricing using finite differences schemes (GC, AB, IP), pp. 709–714.

VLDB-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.

STOC-2012-AbernethyFW

Minimax option pricing meets black-scholes in the limit (JA, RMF, AW), pp. 1029–1040.

STOC-2012-ChawlaIL #black box #design #on the #reduction

On the limits of black-box reductions in mechanism design (SC, NI, BL), pp. 435–448.

ICALP-v1-2012-BaronOV #black box

Nearly Simultaneously Resettable Black-Box Zero Knowledge (JB, RO, IV), pp. 88–99.

ICALP-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.

ICPR-2012-LiuWZL #using

Pan-sharpening using weighted red-black wavelet (QL, YW, ZZ, LL), pp. 1908–1911.

OOPSLA-2012-KaliberaMJV #approach #black box #comprehension #concurrent

A black-box approach to understanding concurrency in DaCapo (TK, MM, REJ, JV), pp. 335–354.

HPDC-2012-SkourtisKB #black box #named #performance

QBox: guaranteeing I/O performance on black box storage systems (DS, SK, SAB), pp. 73–84.

ICST-2012-MarianiPRS #automation #black box #interactive #named #testing

AutoBlackTest: Automatic Black-Box Testing of Interactive Applications (LM, MP, OR, MS), pp. 81–90.

ECSA-2011-AdmodisastroK #analysis #approach #architecture #black box #development

An Architecture Analysis Approach for Supporting Black-Box Software Development (NA, GK), pp. 180–189.

DATE-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.

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

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

SCAM-2011-SyerAZH #android #case study #development

Exploring the Development of Micro-apps: A Case Study on the BlackBerry and Android Platforms (MDS, BA, YZ, AEH), pp. 55–64.

STOC-2011-SarafV #black box #multi #testing

Black-box identity testing of depth-4 multilinear circuits (SS, IV), pp. 421–430.

STOC-2011-Woodruff #approximate #black box #protocol

Near-optimal private approximation protocols via a black box transformation (DPW), pp. 735–744.

CIKM-2011-LoreyNFMRZDFLPPRSV #statistics

Black swan: augmenting statistics with event data (JL, FN, BF, AM, PR, AZ, SD, CF, SL, TP, RCP, SR, TS, SV), pp. 2517–2520.

ECIR-2011-MagdyJ #black box #question

Should MT Systems Be Used as Black Boxes in CLIR? (WM, GJFJ), pp. 683–686.

ICSE-2011-MarianiPRS #automation #black box #named #testing

AutoBlackTest: a tool for automatic black-box testing (LM, MP, OR, MS), pp. 1013–1015.

SLE-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.

ICTSS-2011-Walkinshaw #black box #specification #test coverage #testing

Assessing Test Adequacy for Black-Box Systems without Specifications (NW), pp. 209–224.

TAP-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.

ASE-2010-Holotescu #adaptation #black box #component

Error-avoiding adaptors for black-box software components (CH), pp. 487–492.

DATE-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.

LATA-2010-VelardoD #comparison #order #petri net

Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data (FRV, GD), pp. 524–535.

CHI-2010-PaceBB

The rogue in the lovely black dress: intimacy in world of warcraft (TP, SB, JB), pp. 233–242.

SEKE-2010-Wang #black box #parametricity #testing #using

Reducing Black-box Test Suite Using Input Parameter Relationships (LW), pp. 180–185.

MoDELS-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.

FSE-2010-EpifaniGT #black box #detection

Change-point detection for black-box services (IE, CG, GT), pp. 227–236.

ICTSS-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.

ICST-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.

ICST-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.

CBSE-2008-Brada #black box #component

The CoSi Component Model: Reviving the Black-Box Nature of Components (PB), pp. 318–333.

CBSE-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.

ECSA-2008-Kotonya #architecture #black box #component #development

An Architecture-Centric Development Environment for Black-Box Component-Based Systems (GK), pp. 98–113.

ICALP-C-2008-AltmannJR #black box #integer #on the

On Black-Box Ring Extraction and Integer Factorization (KA, TJ, AR), pp. 437–448.

DATE-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.

ICDAR-2007-DasariB #identification #using

Identification of Non-Black Inks Using HSV Colour Space (HD, CB), pp. 486–490.

PLDI-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.

ICALP-2007-FurukawaA #black box #encryption

Fully Collusion Resistant Black-Box Traitor Revocable Broadcast Encryption with Short Private Keys (JF, NA), pp. 496–508.

TAP-2007-BeckertG #black box #specification #testing

White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing (BB, CG), pp. 207–216.

CBSE-2006-MauranPL #black box #distributed

Supervising Distributed Black Boxes (PM, GP, PTXL), pp. 166–181.

ASE-2006-Rajan #black box #metric #testing

Coverage Metrics to Measure Adequacy of Black-Box Test Suites (AR), pp. 335–338.

CASE-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.

STOC-2006-IshaiKLP #black box

Black-box constructions for secure computation (YI, EK, YL, EP), pp. 99–108.

CHI-2006-WolfRSK #design

Dispelling “design” as the black art of CHI (TVW, JAR, JBS, WAK), pp. 521–530.

SAC-2006-PhilippePBBH #approach #black box #web

A black-box approach for web application SLA (JP, NDP, SB, FB, DH), pp. 807–808.

ASE-2005-VisserPP #abstraction #generative #using

Test input generation for red-black trees using abstraction (WV, CSP, RP), pp. 414–417.

ICALP-2005-HorvitzK #black box #bound #performance

Bounds on the Efficiency of “Black-Box” Commitment Schemes (OH, JK), pp. 128–139.

CAV-2005-Younes #black box #probability #verification

Probabilistic Verification for “Black-Box” Systems (HLSY), pp. 253–265.

FATES-2005-Huima #black box #testing

A Note on an Anomaly in Black-Box Testing (AH), pp. 47–61.

FATES-2005-XieD #approach #concurrent #testing

Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach (GX, ZD), pp. 170–186.

ICSM-2004-XieN #black box #difference #testing

Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences (TX, DN), pp. 28–37.

ICALP-2004-KrauthgamerL #black box #complexity #nearest neighbour

The Black-Box Complexity of Nearest Neighbor Search (RK, JRL), pp. 858–869.

SEFM-2004-BidoitHKB #black box #object-oriented #specification

Glass-Box and Black-Box Views on Object-Oriented Specifications (MB, RH, AK, HB), pp. 208–217.

ICPR-v4-2004-MarkouS #feature model

Feature Selection based on a Black Hole Model of Data Reorganization (MM, SS), pp. 565–568.

KDD-2004-Hooker04a #black box

Discovering additive structure in black box functions (GH), pp. 575–580.

SEKE-2004-BeydedaG #component #off the shelf #self

Black- and White-Box Self-testing COTS Components (SB, VG), pp. 104–109.

CAV-2004-SenVA #black box #model checking #probability #statistics

Statistical Model Checking of Black-Box Probabilistic Systems (KS, MV, GA), pp. 202–215.

SOSP-2003-AguileraMWRM #black box #debugging #distributed #performance

Performance debugging for distributed systems of black boxes (MKA, JCM, JLW, PR, AM), pp. 74–89.

FATES-2003-TylerS #behaviour #black box #testing

Black-Box Testing of Grey-Box Behavior (BT, NS), pp. 1–14.

ASE-2002-SchroederFK #automation #black box #generative #testing

Generating Expected Results for Automated Black-Box Testing (PJS, PF, BK), pp. 139–148.

TACAS-2002-BornotMNZ #black box

Black Box Unfolding with Local First Search (SB, RM, PN, SZ), pp. 386–400.

ITiCSE-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.

ICSM-2001-BeydedaGS #representation #testing #visual notation

A Graphical Class Representation for Integrated Black- and White-Box Testing (SB, VG, MS), pp. 706–715.

STOC-2001-CanettiKPR #black box #concurrent

Black-box concurrent zero-knowledge requires Ω(log n) rounds (RC, JK, EP, AR), pp. 570–579.

ICSM-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.

ISSTA-2000-SchroederK #analysis #black box #reduction #using

Black-box test reduction using input-output analysis (PJS, BK), pp. 173–177.

VLDB-1999-ZurekS

Datawarehousing Has More Colours Than Just Black & White (TZ, MS), pp. 726–729.

IWPC-1999-Korel #black box #component #comprehension #off the shelf

Black-Box Understanding of COTS Components (BK), pp. 92–99.

UML-1999-Henderson-SellersB

Black and White Diamonds (BHS, FB), pp. 550–565.

STOC-1998-HuangR #algebra #approach #black box #composition #problem #set

A Black Box Approach to the Algebraic Set Decomposition Problem (MDAH, AJR), pp. 497–506.

IFL-1998-Reid #implementation

Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes (AR), pp. 186–199.

ICPR-1998-DutaJ #concept #image #learning

Learning the human face concept in black and white images (ND, AKJ), pp. 1365–1367.

DAC-1997-LiuSAS #black box #design #optimisation

Optimizing Designs Containing Black Boxes (THL, KS, AA, VS), pp. 113–116.

ICSM-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.

EDOC-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.

SAC-1995-GrimRP #3d #algorithm #re-engineering #search-based

Use of genetic algorithms in three-dimensional reconstruction in carbon black aggregates (RJG, JRR, LDP), pp. 288–292.

ICML-1993-RendersBS #adaptation #black box #how

Adaptive NeuroControl: How Black Box and Simple can it be (JMR, HB, MS), pp. 260–267.

TOOLS-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.