BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
program (5)
improv (4)
string (3)
theori (3)
incomplet (2)

Stem incorrect$ (all stems)

17 papers:

SCAMSCAM-2015-BlazyRS #obfuscation
Data tainting and obfuscation: Improving plausibility of incorrect taint (SB, SR, TS), pp. 111–120.
ESEC-FSEESEC-FSE-2015-DharPDR #named #source code #string
CLOTHO: saving programs from malformed strings and incorrect string-handling (AD, RP, MD, SR), pp. 555–566.
ESEC-FSEESEC-FSE-2013-LiuDZ #composition
Finding incorrect compositions of atomicity (PL, JD, CZ), pp. 158–168.
DACDAC-2012-KirschP #problem
Incorrect systems: it’s not the problem, it’s the solution (CMK, HP), pp. 913–917.
ICPRICPR-2012-MurataS #optimisation
Optimizing a triangular mesh by separately dealing with incorrectness of two patches (KM, YS), pp. 1318–1321.
HCIHIMI-v1-2011-OhoriSNI #analysis
Construction of a Model for Discriminating between Electroencephalographic Patterns at the Time of Incorrect Inputs Based on Sensitivity Spectrum Analysis (RO, DS, YN, SI), pp. 618–626.
PEPMPEPM-2010-BoustaniH #java #source code
Corrective hints for type incorrect generic Java programs (NEB, JH), pp. 5–14.
CIKMCIKM-2008-StroeBNP #approach #approximate #string
An approximate string matching approach for handling incorrectly typed urls (MS, RB, CN, DP), pp. 1339–1340.
TAPTAP-2007-RummerS #calculus #java #logic #proving #source code #using
Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic (PR, MAS), pp. 41–60.
ITiCSEITiCSE-WGR-2004-Clear #agile #student
Students becoming political and “incorrect” through agile methods (TC), pp. 13–15.
IJCARIJCAR-2004-SteelBM #induction #protocol
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures (GS, AB, MM), pp. 137–151.
ICPRICPR-v3-2000-SanchisVJ #performance #recognition #speech #verification #word
Efficient Use of the Grammar Scale Factor to Classify Incorrect Words in Speech Recognition Verification (AS, EV, VMJ), pp. 3278–3281.
Improving Accuracy of Incorrect Domain Theories (LA), pp. 19–27.
ICMLML-1989-WilkinsT #consistency #knowledge base #refinement
Knowledge Base Refinement as Improving an Incorrect, Inconsistent and Incomplete Domain Theory (DCW, KWT), pp. 332–339.
ICMLML-1988-Pazzani #learning
Integrated Learning with Incorrect and Incomplete Theories (MJP), pp. 291–297.
ICSEICSE-1979-Wertz #source code
A System to Improve incorrect Programs (HW), pp. 286–293.
ICALPICALP-1976-Brand #proving #source code
Proving Programs Incorrect (DB), pp. 201–227.

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.