Stem fail$ (all stems)

66 papers:

AdaEurope-2015-PerezGTT #clustering #concept #manycore #safety

A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning (JP, DG, ST, TT), pp. 3–17.

SAC-2015-PenhaW #design pattern

Parameterization of fail-operational architectural patterns (DOdP, GW), pp. 471–473.

ICSE-v1-2015-YiYLZW #analysis #testing

A Synergistic Analysis Method for Explaining Failed Regression Tests (QY, ZY, JL, CZ, CW), pp. 257–267.

ICSE-v1-2015-YuBC #approach #fault #multi #testing

Does the Failing Test Execute a Single or Multiple Faults? An Approach to Classifying Failing Tests (ZY, CB, KYC), pp. 924–935.

ICST-2015-ArltMPW #dependence #testing

If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing (SA, TM, AP, SW), pp. 1–10.

CHI-2014-GreenbergG #learning #online

Learning to fail: experiencing public failure online through crowdfunding (MDG, EG), pp. 581–590.

ICEIS-v1-2014-Dietz #enterprise #why

Why ERP Systems Will Keep Failing (JLGD), p. IX.

ICSE-2014-AndroutsopoulosCDHH #analysis #fault #testing

An analysis of the relationship between conditional entropy and failed error propagation in software testing (KA, DC, HD, RMH, MH), pp. 573–583.

SAT-2014-JarvisaloK #bound

Conditional Lower Bounds for Failed Literals and Related Techniques (MJ, JHK), pp. 75–84.

ICSE-2013-SukkerdBWZB #comprehension

Understanding regression failures through test-passing and test-failing code changes (RS, IB, JW, SZ, YB), pp. 1177–1180.

DATE-2012-LiDX #process

Custom on-chip sensors for post-silicon failing path isolation in the presence of process variations (ML, AD, LX), pp. 1591–1596.

SAS-2012-HalbwachsH #sequence

When the Decreasing Sequence Fails (NH, JH), pp. 198–213.

CHI-2012-Densmore #mobile

Claim mobile: when to fail a technology (MD), pp. 1833–1842.

RecSys-2012-EkstrandR #algorithm #predict #recommendation

When recommenders fail: predicting recommender failure for algorithm selection and combination (MDE, JR), pp. 233–236.

SIGIR-2012-LiuADMS #comprehension #web

When web search fails, searchers become askers: understanding the transition (QL, EA, GD, YM, IS), pp. 801–810.

REFSQ-2012-Lauesen #why

Why the Electronic Land Registry Failed (SL), pp. 1–15.

ICST-2012-ChenLYS #question #testing #user interface #what

When a GUI Regression Test Failed, What Should be Blamed? (JC, ML, KY, BS), pp. 467–470.

LICS-2012-ChatterjeeD #game studies #how #probability

Partial-Observation Stochastic Games: How to Win When Belief Fails (KC, LD), pp. 175–184.

SAT-2012-GelderWL #preprocessor #quantifier

Extended Failed-Literal Preprocessing for Quantified Boolean Formulas (AVG, SBW, FL), pp. 86–99.

ASE-2011-ZhangZE #automation #documentation #testing

Automated documentation inference to explain failed tests (SZ, CZ, MDE), pp. 63–72.

CASE-2011-KalyanasundaramLR #combinator #distributed #resource management

Fail-Stop Distributed Combinatorial Auctioning Systems with fair resource allocation (AK, RAKL, SR), pp. 181–188.

ICSM-2011-BachwaniCBKZ #debugging #named

Sahara: Guiding the debugging of failed software upgrades (RB, OC, RB, DK, WZ), pp. 263–272.

FM-2011-MullerR #using #verification

Using Debuggers to Understand Failed Verification Attempts (PM, JNR), pp. 73–87.

ECIR-2011-KoflerLH #internet #video

To Seek, Perchance to Fail: Expressions of User Needs in Internet Video Search (CK, ML, AH), pp. 611–616.

SIGIR-2011-LvZ #documentation #exclamation

When documents are very long, BM25 fails! (YL, CZ), pp. 1103–1104.

ICSE-2011-StreitP #how #quality #why

Why software quality improvement fails: (and how to succeed nevertheless) (JS, MP), pp. 726–735.

SAT-2011-LonsingB #detection

Failed Literal Detection for QBF (FL, AB), pp. 259–272.

CASE-2010-DahaneR #integration #process

Integration of subcontracting activity in a production planning for randomly failing manufacturing system: Feasibility and profitability conditions (MD, NR), pp. 100–105.

DAC-2010-XieDS

Post-silicon diagnosis of segments of failing speedpaths due to manufacturing variations (LX, AD, KKS), pp. 274–279.

ICEIS-HCI-2010-PereiraBS #question #social #why

A Framework-informed Discussion on Social Software — Why Some Social Software Fail and Others do Not? (RP, MCCB, SRPdS), pp. 149–154.

OOPSLA-2010-AdamczykH

The Tower of Babel did not fail (PA, MH), pp. 947–957.

RE-2010-LiuLP #bibliography #requirements #why

Why Requirements Engineering Fails: A Survey Report from China (LL, TL, FP), pp. 317–322.

ICST-2010-JobstlWAW #consistency #execution #smt #symbolic computation #testing

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving (EJ, MW, BKA, FW), pp. 479–488.

DATE-2009-GriessnigMSW #fault #novel #testing

Fault insertion testing of a novel CPLD-based fail-safe system (GG, RM, CS, RW), pp. 214–219.

STOC-2009-BernsteinK

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

DAC-2008-YuB #fault #multi #using

Multiple defect diagnosis using no assumptions on failing pattern characteristics (XY, RD(B), pp. 361–366.

DATE-2008-PomeranzR08a #fault #taxonomy

A Same/Different Fault Dictionary: An Extended Pass/Fail Fault Dictionary with Improved Diagnostic Resolution (IP, SMR), pp. 1474–1479.

CHI-2008-ChauMF #what

What to do when search fails: finding information by association (DHC, BAM, AF), pp. 999–1008.

ICPR-2008-GhoshB #evolution #how #pattern matching #pattern recognition #problem #recognition

How current BNs fail to represent evolvable pattern recognition problems and a proposed solution (NG, BB), pp. 1–4.

SAC-2007-Savoy #topic #why

Why do successful search systems fail for some topics (JS), pp. 872–877.

DAC-2006-ChenRPR #algorithm

A test pattern ordering algorithm for diagnosis with truncated fail data (GC, SMR, IP, JR), pp. 399–404.

MBT-2006-AichernigG #modelling #testing

When Model-based Testing Fails (BKA, CG), pp. 115–128.

CHI-2005-Kaki #category theory #documentation #named #ranking

Findex: search result categories help users when document ranking fails (MK), pp. 131–140.

CC-2005-Zeller #abstraction

When Abstraction Fails (AZ), pp. 1–9.

SIGIR-2004-Buckley04a #information retrieval #why

Why current IR engines fail (CB), pp. 584–585.

DAC-2003-Visweswariah

Death, taxes and failing chips (CV), pp. 343–347.

DATE-2003-LiuC #approach #fault #identification

A Partition-Based Approach for Identifying Failing Scan Cells in Scan-BIST with Applications to System-on-Chip Fault Diagnosis (CL, KC), pp. 10230–10237.

SIGIR-2003-BillerbeckZ #query

When query expansion fails (BB, JZ), pp. 387–388.

DATE-2002-LiuCG #identification

An Interval-Based Diagnosis Scheme for Identifying Failing Vectors in a Scan-BIST Environment (CL, KC, MG), pp. 382–386.

LICS-2002-Bars #logic #satisfiability

The 0-1 law fails for frame satisfiability of propositional modal logic (JMLB), pp. 225–234.

ASE-2001-JurjensW #protocol #testing

Formally Testing Fail-Safety of Electronic Purse Protocols (JJ, GW), pp. 408–411.

ITiCSE-1999-McCrackenW #why

Why? When an otherwise successful intervention fails (MM, RW), pp. 9–12.

FM-v2-1999-ButhS #architecture #communication #design #model checking

Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems (BB, MS), p. 1869.

ITiCSE-1998-SheardH #case study #student

Our failing students: a study of a repeat group (JS, DH), pp. 223–227.

LOPSTR-1998-StarkI #invariant #proving

Invariant Discovery via Failed Proof Attempts (JS, AI), pp. 271–288.

ACIR-1997-MateevMS #dependence #how

Where the Linked Dependence Assumption Fails and How to Move Beyond It (BM, EM, PS).

HCI-SHI-1993-SillinceM #human-computer #hypermedia #using

Using Argumentation to Overcome Hypertext’s HCI Failings (JAAS, RHM), pp. 639–644.

HCI-SHI-1993-TrabelsiKN #database #generative #heuristic #interface #natural language #query

Heuristics for Generating Informative Responses to Failing User’s Queries in Natural Language Database Interfaces (ZT, YK, HN), pp. 362–367.

DAC-1990-UpadhyayaT #case study

BIST PLAs, Pass or Fail — A Case Study (SJU, JAT), pp. 724–727.

CSCW-1990-MarkusC #problem #tool support #why

Why CSCW Applications Fail: Problems in the Adoption of Interdependent Work Tools (MLM, TC), pp. 371–380.

ML-1990-Kodratoff #abduction #problem #proving #using

Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy (YK), pp. 295–303.

STOC-1989-KurtzMR #morphism #random

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

CHI-1989-Hill #how

How some advice fails (WCH), pp. 85–90.

NACLP-1989-MaluszynskiN

Fail Substitutions for Negation as Failure (JM, TN), pp. 461–476.

CSCW-1988-Grudin #design #evaluation #interface #problem #why

Why CSCW Applications Fail: Problems in the Design and Evaluation of Organization of Organizational Interfaces (JG), pp. 65–84.

PODS-1983-Skeen #process

Determining the Last Process to Fail (DS), pp. 16–24.