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:
test (32)
multi (32)
evalu (29)
base (29)
model (23)

Stem criteria$ (all stems)

192 papers:

CASECASE-2015-LiangSQLY #agile #assessment #development #using
Criteria for lean practice selection: Development an assessment tool using the rooted arborescence (YL, SS, LQ, YL, GY), pp. 237–242.
SIGMODSIGMOD-2015-ArmenatzoglouPN #approach #clustering #game studies #graph #multi #realtime #social
Real-Time Multi-Criteria Social Graph Partitioning: A Game Theoretic Approach (NA, HP, VN, DP, CS), pp. 1617–1628.
FMFM-2015-DerrickS #correctness #framework #memory management #modelling
A Framework for Correctness Criteria on Weak Memory Models (JD, GS), pp. 178–194.
HCIDUXU-IXD-2015-Alomran #architecture #web
Building Information Architecture Criteria for Assessing and Evaluating Universities’ Web Portals (HIA), pp. 131–141.
HCIDUXU-IXD-2015-HalbeyKZ
Going on a Road-Trip with My Electric Car: Acceptance Criteria for Long-Distance-Use of Electric Vehicles (JH, SK, MZ), pp. 473–484.
HCIHIMI-IKC-2015-PereiraSBSCFC #multi
Multi-criteria Fusion of Heterogeneous Information for Improving Situation Awareness on Emergency Management Systems (VAPJ, MFS, LCB, JOdS, CSC, EF, MRdC), pp. 3–14.
SEKESEKE-2015-BritoSSS #integration #mobile #testing
Integration testing criteria for mobile robotic systems (MASB, MS, PSLS, SRSS), pp. 182–187.
REFSQREFSQ-2015-RiegelD #bibliography #requirements
A Systematic Literature Review of Requirements Prioritization Criteria (NR, JD), pp. 300–317.
SACSAC-2015-JuniorRSM #approach #deployment #multi #non-functional #requirements
A multi-criteria approach for assessing cloud deployment options based on non-functional requirements (RGJ, TR, AS, NCM), pp. 1383–1389.
SACSAC-2015-Khan #multi #network
Multi-criteria based vertical handover decision in heterogeneous wireless network (MK), pp. 720–721.
DACDAC-2014-LinLCLH #algorithm #performance
An Efficient Bi-criteria Flow Channel Routing Algorithm For Flow-based Microfluidic Biochips (CXL, CHL, ICC, DTL, TYH), p. 6.
HCIDUXU-DI-2014-FernandesP #evaluation #experience #online #user interface
Online Shopping Websites: An Evaluation of User Experience and Interface Ergonomic Criteria from the Perspective of Older Users (FRF, LCP), pp. 104–115.
HCIDUXU-DI-2014-FernandesP14a #evaluation #experience #named #online #user interface
Erratum: Online Shopping Websites: An Evaluation of User Experience and Interface Ergonomic Criteria from the Perspective of Older Users (FRF, LCP).
HCIHCI-TMT-2014-BendinelliP #design #user interface
Design Criteria for Public Display User Interfaces (AB, FP), pp. 623–630.
ICEISICEIS-v1-2014-RouhaniAA #evaluation #fuzzy
Fuzzy DEMATEL Model for Evaluation Criteria of Business Intelligence (SR, AA, SA), pp. 456–463.
CIKMCIKM-2014-LimsopathamMO #modelling #multi #ranking #towards
Modelling Relevance towards Multiple Inclusion Criteria when Ranking Patients (NL, CM, IO), pp. 1639–1648.
ICPRICPR-2014-BoulchM #statistics
Statistical Criteria for Shape Fusion and Selection (AB, RM), pp. 936–941.
RecSysRecSys-2014-DalyBKM #multi #recommendation
Multi-criteria journey aware housing recommender system (EMD, AB, AK, RM), pp. 325–328.
ICSTICST-2014-BardinKC #execution #performance #symbolic computation #test coverage
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.
ICSTICST-2014-SanchezSC #comparison #product line #testing
A Comparison of Test Case Prioritization Criteria for Software Product Lines (ABS, SS, ARC), pp. 41–50.
ICTSSICTSS-2014-DwarakanathJ #test coverage
Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria (AD, AJ), pp. 63–79.
ISSTAISSTA-2014-AlshahwanH #detection #fault #testing
Coverage and fault detection of the output-uniqueness test selection criteria (NA, MH), pp. 181–192.
ISSTAISSTA-2014-MirzaAghaeiM #test coverage #testing #web
DOM-based test adequacy criteria for web applications (MM, AM), pp. 71–81.
HCIHCI-IMT-2013-MorrisseyK
“Realness” in Chatbots: Establishing Quantifiable Criteria (KM, JK), pp. 87–96.
ECIRECIR-2013-MirkinS #clustering
Least Square Consensus Clustering: Criteria, Methods, Experiments (BGM, AS), pp. 764–767.
SACSAC-2013-BeckersFHHC #development
Common criteria compliant software development (CC-CASD) (KB, SF, DH, MH, IC), pp. 1298–1304.
ICSTICST-2013-CzemerinskiBU #abstraction #behaviour #black box
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria (HC, VAB, SU), pp. 222–231.
ICSTICST-2013-DadeauCLTVBT #evaluation #generative #testing
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations — The TASCCC Testing Tool (FD, KCC, YL, TT, GV, JB, ST), pp. 431–438.
ISSTAISSTA-2013-GligoricGZSAM #test coverage #testing #using
Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.
CASECASE-2012-DimitrovB #algorithm #evaluation #reduction #scheduling #search-based
Criteria evaluation considering the current time used by a genetic scheduling algorithm for changeover and tardiness reduction (TD, MB), pp. 425–430.
DocEngDocEng-2012-MoulderM #how #layout #learning
Learning how to trade off aesthetic criteria in layout (PM, KM), pp. 33–36.
GT-VMTGT-VMT-2012-ArifulinaSE #specification #test coverage #testing
Coverage Criteria for Testing DMM Specifications (SA, CS, GE).
ICEISICEIS-v1-2012-MolnarSB #enterprise
Investigation of Criteria for Selection of ERP Systems (BM, GIS, AAB), pp. 175–180.
ICEISICEIS-v3-2012-CansadoVS #analysis #architecture #enterprise #multi #using
Using Multi-criteria Analysis to Evaluate Enterprise Architecture Scenarios (FC, AV, GS), pp. 232–237.
CIKMCIKM-2012-ShenCL
Loyalty-based selection: retrieving objects that persistently satisfy criteria (ZS, MAC, XL), pp. 2189–2193.
ECIRECIR-2012-GeraniZC #linear #multi #ranking
Score Transformation in Linear Combination for Multi-criteria Relevance Ranking (SG, CZ, FC), pp. 256–267.
ICMLICML-2012-CastroTM #policy
Policy Gradients with Variance Related Risk Criteria (DDC, AT, SM), p. 215.
SIGIRSIGIR-2012-MaCSSLW #assessment #query
New assessment criteria for query suggestion (ZM, YC, RS, TS, JL, JRW), pp. 1109–1110.
MODELSMoDELS-2012-ShinJB #analysis #empirical #evaluation #modelling #mutation testing #test coverage #using
Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis (DS, EJ, DHB), pp. 465–479.
MODELSMoDELS-2012-ShinJB #analysis #empirical #evaluation #modelling #mutation testing #test coverage #using
Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis (DS, EJ, DHB), pp. 465–479.
ICSTICST-2012-SheltonLAO #development #testing
Adding Criteria-Based Tests to Test Driven Development (WS, NL, PA, JO), pp. 878–886.
ICTSSICTSS-2012-GargantiniGM #robust #test coverage
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes (AG, MG, EM), pp. 168–183.
TAPTAP-2012-BengoleaAMF #bound #test coverage #testing #using
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites (VSB, NA, DM, MFF), pp. 19–34.
CASECASE-2011-RedjemKXM #coordination #health #multi #scheduling
Coordinated multi-criteria scheduling of caregivers in home health Care Services (RR, SK, XX, EM), pp. 519–524.
VLDBVLDB-2011-GrecoST #termination
Stratification Criteria and Rewriting Techniques for Checking Chase Termination (SG, FS, IT), pp. 1158–1168.
CSEETCSEET-2011-OffuttLAX #abstraction #design #education #using #web
Using abstraction and Web applications to teach criteria-based test design (JO, NL, PA, WX), pp. 227–236.
PASTEPASTE-2011-FisherWTRL #evaluation #test coverage
An evaluation of change-based coverage criteria (MFI, JW, FT, BGR, AL), pp. 21–28.
GT-VMTGT-VMT-2011-HeckelKM #contract #test coverage #towards #visual notation
Towards Test Coverage Criteria for Visual Contracts (RH, TAK, RM).
HCIDUXU-v2-2011-Hsu11b #analysis #design
Analysis of Causal Relationships between Blog Design Criteria (CCH), pp. 13–19.
HCIDUXU-v2-2011-NemeryBK #design #persuasion #social #user interface #validation
First Validation of Persuasive Criteria for Designing and Evaluating the Social Influence of User Interfaces: Justification of a Guideline (AN, EB, SK), pp. 616–624.
EDOCEDOC-2011-FakhfakhVP #multi #quality
Multi-criteria Decision Making Method for Quality of Service Aggregation (NF, HV, FP), pp. 203–212.
ICEISICEIS-v2-2011-BaiW #detection #fuzzy #identification #multi
Applying Fuzzy Multiple Criteria Decision Making to Evaluate and Identify Optimal Explosive Detection Equipments (YB, DW), pp. 118–124.
RecSysRecSys-2011-LiuMX #multi #recommendation
Multi-criteria service recommendation based on user criteria preferences (LL, NM, DLX), pp. 77–84.
SEKESEKE-2011-ReformatP #approach #evaluation #feature model
Criteria of Human Software Evaluation: Feature Selection Approach (MR, SP), pp. 71–76.
ICLPICLP-2011-GebserKKS #multi #optimisation #programming #set
Multi-Criteria Optimization in Answer Set Programming (MG, RK, BK, TS), pp. 1–10.
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.
SIGMODSIGMOD-2010-RaghavanR #framework #generative #multi #named #query
ProgXe: progressive result generation framework for multi-criteria decision support queries (VR, EAR), pp. 1135–1138.
TACASTACAS-2010-LegrielGCM #approximate #multi #optimisation #problem
Approximating the Pareto Front of Multi-criteria Optimization Problems (JL, CLG, SC, OM), pp. 69–83.
ICSMEICSM-2010-PanditaXTH #generative #test coverage #testing
Guided test generation for coverage criteria (RP, TX, NT, JdH), pp. 1–10.
ICGTICGT-2010-BisztrayH #termination
Combining Termination Criteria by Isolating Deletion (DB, RH), pp. 203–217.
KRKR-2010-LarbiKM
A Characterization of Optimality Criteria for Decision Making under Complete Ignorance (RBL, SK, PM).
RecSysRecSys-2010-WuGC #identification #multi
Merging multiple criteria to identify suspicious reviews (GW, DG, PC), pp. 241–244.
ICSTICST-2010-Weissleder #state machine #test coverage #uml
Simulated Satisfaction of Coverage Criteria on UML State Machines (SW), pp. 117–126.
IJCARIJCAR-2010-NeurauterMZ #polynomial
Monotonicity Criteria for Polynomial Interpretations over the Naturals (FN, AM, HZ), pp. 502–517.
ITiCSEITiCSE-2009-SkupasDR #classification #programming
Developing classification criteria for programming tasks (BS, VD, MAR), p. 373.
FASEFASE-2009-NarasamdyaP #certification
Certification of Smart-Card Applications in Common Criteria (IN, MP), pp. 309–324.
ICSMEICSM-2009-BouwersVD #architecture #evaluation
Criteria for the evaluation of implemented architectures (EB, JV, AvD), pp. 73–82.
HCIHCD-2009-Eraslan #approach #evaluation #multi #usability
Usability Evaluation of Mp3/CD Players: A Multi-Criteria Decision Making Approach (EE), pp. 55–64.
HCIHCI-VAD-2009-HsuC09a #design #game studies #interface #multi #online
Exploring the Elements and Design Criteria of Massively-Multiplayer Online Role-Playing Game (MMORPG) Interfaces (CCH, ECHC), pp. 325–334.
HCIHIMI-II-2009-ChouC09a #fuzzy #multi #perspective
A Fuzzy Multiple Criteria Decision Making Model for Selecting the Distribution Center Location in China: A Taiwanese Manufacturer’s Perspective (CCC, PCC), pp. 140–148.
AdaEuropeAdaEurope-2009-LauY #logic #on the #testing
On Comparing Testing Criteria for Logical Decisions (MFL, YTY), pp. 44–58.
CAiSECAiSE-2009-SalayM #diagrams #quality #test coverage #using
Improving Model Quality Using Diagram Coverage Criteria (RS, JM), pp. 186–200.
ICEISICEIS-DISI-2009-CastilloCGPPV #network #quality #trust
Establishing Trust Networks based on Data Quality Criteria for Selecting Data Suppliers (RPC, IC, IGRdG, MP, MP, EV), pp. 37–42.
ICEISICEIS-J-2009-CallegariB #fuzzy #logic #multi #using
A Multi-criteria Resource Selection Method for Software Projects Using Fuzzy Logic (DAC, RMB), pp. 376–388.
RecSysRecSys-2009-Nnadi #clustering #correlation #multi #recommendation #set
Applying relevant set correlation clustering to multi-criteria recommender systems (NN), pp. 401–404.
SIGIRSIGIR-2009-AlonsoM #analysis #e-commerce
Relevance criteria for e-commerce: a crowdsourcing-based experimental analysis (OA, SM), pp. 760–761.
SIGIRSIGIR-2009-WolfeZ #information retrieval #multi
User-centric multi-criteria information retrieval (SRW, YZ), pp. 818–819.
RERE-2009-EsmaeilsabzaliDAN #modelling #semantics
Semantic Criteria for Choosing a Language for Big-Step Models (SE, NAD, JMA, JN), pp. 181–190.
RERE-2009-SalinesiRDM #classification #fault #feature model #modelling #product line #towards #verification
Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria (CS, CR, DD, RM), pp. 385–386.
SACSAC-2009-NarasamdyaP #certification
Certification of smart-card applications in common criteria (IN, MP), pp. 601–608.
SACSAC-2009-TreDWMC #approach
Heterogeneous bipolar criteria satisfaction handling in geographical decision support systems: an LSP based approach (GDT, JJD, NVdW, TM, NC), pp. 1704–1708.
TAPTAP-2009-FraserW #logic #testing
Complementary Criteria for Testing Temporal Logic Properties (GF, FW), pp. 58–73.
GT-VMTGT-VMT-2008-LambersET #sequence
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences (LL, HE, GT).
ICEISICEIS-AIDSS-2008-GezerYTOA #framework #mobile #scheduling
A Bi-Criteria Scheduling Framework for the Supply Chain Management of Mobile Providers (GG, IOY, HMT, , RA), pp. 364–369.
ICEISICEIS-HCI-2008-CarvalhoS #learning #lessons learnt #usability
The Importance of Usability Criteria on Learning Management Systems: Lessons Learned (AFPdC, JCAS), pp. 154–159.
CIKMCIKM-2008-RogatiYC #corpus #information retrieval #optimisation
Corpus microsurgery: criteria optimization for medical cross-language ir (MR, YY, JGC), pp. 1365–1366.
ICMLICML-2008-BarrettN #learning #multi #policy
Learning all optimal policies with multiple criteria (LB, SN), pp. 41–47.
ICPRICPR-2008-RysavyFEO #classification #random #segmentation
Classifiability criteria for refining of random walks segmentation (SR, AF, RE, KO), pp. 1–4.
ICPRICPR-2008-ZhouZ #metric
Generalized criteria for uniqueness of Gibbs measures (HZ, ZZ), pp. 1–4.
RecSysRecSys-2008-LakiotakiTM #analysis #multi #named #recommendation
UTA-Rec: a recommender system based on multiple criteria analysis (KL, ST, NFM), pp. 219–226.
SIGIRSIGIR-2008-DruckMM #learning #using
Learning from labeled features using generalized expectation criteria (GD, GSM, AM), pp. 595–602.
MODELSMoDELS-2008-JurackLMT #behaviour #consistency #diagrams #modelling #process
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (SJ, LL, KM, GT), pp. 341–355.
MODELSMoDELS-2008-JurackLMT #behaviour #consistency #diagrams #modelling #process
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (SJ, LL, KM, GT), pp. 341–355.
SACSAC-2008-IsikmanYOOGA #adaptation #fuzzy #multi #query #web
Adaptive weighted multi-criteria fuzzy query processing for web based real estate applications (ÖÖI, BGY, , , HG, RA), pp. 987–991.
FSEFSE-2008-LaiCC #control flow #data flow #test coverage #testing
Inter-context control-flow and data-flow test adequacy criteria for nesC applications (ZL, SCC, WKC), pp. 94–104.
CASECASE-2007-ZhangJ0 #multi #scheduling
Multi-criteria Dynamic Scheduling Methodology for Controlling a Semiconductor Wafer Fabrication System (HZ, ZJ, HH), pp. 213–218.
VLDBVLDB-2007-WangYLLBIB #correctness #data access #database #fine-grained #on the #relational
On the Correctness Criteria of Fine-Grained Access Control in Relational Databases (QW, TY, NL, JL, EB, KI, JWB), pp. 555–566.
DLTDLT-2007-Pritykin #on the #sequence
On Almost Periodicity Criteria for Morphic Sequences in Some Particular Cases (YP), pp. 361–370.
LATALATA-2007-Domosi #automaton #network
Automata Networks without any Letichevsky Criteria (PD), pp. 237–248.
HCIHCI-AS-2007-PadronDA #effectiveness #evaluation #framework #metric #towards
Towards an Effective Evaluation Framework for IMS LD-Based Didactic Materials: Criteria and Measures (CLP, PD, IA), pp. 312–321.
HCIHCI-IDU-2007-KoutsabasisSD #case study #evaluation #usability
Evaluating Usability Evaluation Methods: Criteria, Method and a Case Study (PK, TS, JD), pp. 569–578.
EDOCEDOC-2007-TapiaDE #maturity #validation
Validating Adequacy and Suitability of Business-IT Alignment Criteria in an Inter-Enterprise Maturity Model 202 (RST, MD, PvE), pp. 202–213.
ICEISICEIS-AIDSS-2007-ChanL #nondeterminism #rule-based
Rule Based Stability Criteria for Coalition Formation Under Uncertainty (CKC, HfL), pp. 171–177.
ICEISICEIS-DISI-2007-CarterO #correctness #on the #workflow
On correctness criteria for workflow (BMC, MEO), pp. 315–322.
ECIRECIR-2007-TsikrikaL #framework #retrieval #web
Combining Evidence for Relevance Criteria: A Framework and Experiments in Web Retrieval (TT, ML), pp. 481–493.
SIGIRSIGIR-2007-ChibaneD #algorithm #layout #segmentation #topic #visual notation #web
A web page topic segmentation algorithm based on visual criteria and content layout (IC, BLD), pp. 817–818.
SIGIRSIGIR-2007-PasiBV #multi
A multi-criteria content-based filtering system (GP, GB, RV), pp. 775–776.
SACSAC-2007-MorimotoSGC #security #specification #verification
Formal verification of security specifications with common criteria (SM, SS, YG, JC), pp. 1506–1512.
ESEC-FSEESEC-FSE-2007-LuJZ #case study #test coverage
A study of interleaving coverage criteria (SL, WJ, YZ), pp. 533–536.
CBSECBSE-2006-CangussuCW #component #multi #process #using
Multi Criteria Selection of Components Using the Analytic Hierarchy Process (JWC, KMLC, WEW), pp. 67–81.
MSRMSR-2006-SigonneauR #automation #component #file system #logic #multi #re-engineering
Software engineering applications of logic file system: application to automated multi-criteria indexation of software components (BS, OR), pp. 87–93.
CHICHI-2006-GawFF #email
Secrecy, flagging, and paranoia: adoption criteria in encrypted email (SG, EWF, PFK), pp. 591–600.
ICEISICEIS-AIDSS-2006-KumarVBM #evaluation #information retrieval #multi #tool support
Multi-Criteria Evaluation of Information Retrieval Tools (NK, JV, JDB, MFM), pp. 150–155.
CIKMCIKM-2006-VelosoMCGZ #classification #documentation #lazy evaluation #multi
Multi-evidence, multi-criteria, lazy associative document classification (AV, WMJ, MC, MAG, MJZ), pp. 218–227.
ECIRECIR-2006-WenRB #behaviour #online #topic
The Effects on Topic Familiarity on Online Search Behaviour and Use of Relevance Criteria (LW, IR, PB), pp. 456–459.
SEKESEKE-2006-KelkarSG #component #interactive #off the shelf
Interaction Partnering Criteria for COTS Components (MK, MS, RFG), pp. 278–283.
FSEFSE-2006-RutherfordCW #distributed #test coverage #testing
Simulation-based test adequacy criteria for distributed systems (MJR, AC, ALW), pp. 231–241.
HPDCHPDC-2006-WieczorekPF #approach #grid #programming #scheduling #workflow
Dynamic Programming Based Approach for Bi-criteria Workflow Scheduling on the Grid (MW, RP, TF), pp. 381–382.
WICSAWICSA-2005-VasconcelosW #approach #architecture #clustering #independence #set #towards
Towards a Set of Application Independent Clustering Criteria within an Architecture Recovery Approach (APVdV, CW), pp. 235–236.
ITiCSEITiCSE-2005-ChenCMS #design
The (relative) importance of software design criteria (TYC, SC, RM, LS), pp. 34–38.
FASEFASE-2005-EhrigELTVV #model transformation #termination
Termination Criteria for Model Transformation (HE, KE, JdL, GT, DV, SVG), pp. 49–63.
FASEFASE-2005-RountevKS #diagrams #interactive #sequence chart #test coverage #testing
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams (AR, SK, JS), pp. 289–304.
CSMRCSMR-2005-KoskinenASTLK #empirical #legacy
Software Modernization Decision Criteria: An Empirical Study (JK, JJA, HS, TT, HL, IK), pp. 324–331.
ICMLICML-2005-NatarajanT #learning #multi
Dynamic preferences in multi-criteria reinforcement learning (SN, PT), pp. 601–608.
ICPRICPR-v2-2004-GheissariB #visual notation
Effect of Noise on Model Selection Criteria in Visual Applications (NG, ABH), pp. 229–232.
ICPRICPR-v2-2004-GheissariB04a
The Model Selection Criteria as Merging Criteria (NG, ABH), pp. 253–256.
KDDKDD-2004-CaruanaN #analysis #data mining #empirical #learning #metric #mining #performance
Data mining in metric space: an empirical analysis of supervised learning performance criteria (RC, ANM), pp. 69–78.
SACSAC-2004-BellostaBKV #multi
A multi-criteria model for electronic auctions (MJB, IB, SK, DV), pp. 759–765.
SACSAC-2004-El-Gayar #fuzzy #logic #multi
Application of fuzzy logic to multiple criteria decision making in aquacultural planning (OFEG), pp. 1028–1029.
ICSEICSE-2004-BlackMK #modelling #reduction #testing
Bi-Criteria Models for All-Uses Test Suite Reduction (JB, EM, DRK), pp. 106–115.
ICSEICSE-2004-BriandLW #empirical #simulation #statechart #test coverage #using
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart (LCB, YL, YW), pp. 86–95.
ICDARICDAR-2003-WendlingT #geometry #recognition #using
Recognition of Arrows in Line Drawings based on the Aggregation of Geometric Criteria using the Choquet Integral (LW, ST), pp. 299–303.
ITiCSEITiCSE-2003-CrescenziI #usability
A tool to develop electronic course books based on WWW technologies, resources and usability criteria (PC, GI), pp. 163–167.
ICALPICALP-2003-Hannay #axiom #data type #higher-order
Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types (JEH), pp. 903–917.
SIGIRSIGIR-2003-TombrosRJ #web
Searchers’ criteria For assessing web pages (AT, IR, JMJ), pp. 385–386.
RERE-2003-Simmons #monitoring #quality #requirements #specification
From Requirements to Release Criteria: Specifying, Monitoring, and Demonstrating Product Quality (ES), p. 286.
ESEC-FSEESEC-FSE-2003-KapfhammerS #product line #test coverage #testing
A family of test adequacy criteria for database-driven applications (GMK, MLS), pp. 98–107.
ICEISICEIS-2002-VallsMS #multi
A Multi-Criteria Decision Aid Agent Applied to the Selection of the Best Receiver in a Transplant (AV, AM, DS), pp. 431–438.
ICPRICPR-v3-2002-KangL #evaluation #multi
Evaluation on Selection Criteria of Multiple Numeral Recognizers with the Fixed Number of Recognizers (HJK, SWL), pp. 403–406.
SIGIRSIGIR-2002-SakaiR #case study #comparative #information retrieval
Relative and absolute term selection criteria: a comparative study for English and Japanese IR (TS, SER), pp. 411–412.
SIGIRSIGIR-2002-Sormunen #documentation #question
Liberal relevance criteria of TREC -: counting on negligible documents? (ES), pp. 324–330.
SIGIRSIGIR-2002-YuanBK
The relationship between ASK and relevance criteria (XJY, NJB, JYK), pp. 359–360.
FSEFSE-2002-VetterlingWW #development
Secure systems development based on the common criteria: the PalME project (MV, GW, AKW), pp. 129–138.
DATEDATE-2001-HajjarCMAB #behaviour #quality #statistics #using #verification
High quality behavioral verification using statistical stopping criteria (AH, TC, IM, AAA, MB), pp. 411–419.
KDDKDD-2001-BujaL #classification #data mining #mining
Data mining criteria for tree-based regression and classification (AB, YSL), pp. 27–36.
RERE-2001-InOR #analysis #modelling #multi #requirements
A Requirements Negotiation Model Based on Multi-Criteria Analysis (HI, DO, TR), pp. 312–313.
FSEESEC-FSE-2001-MemonSP #test coverage #testing #user interface
Coverage criteria for GUI testing (AMM, MLS, MEP), pp. 256–267.
ICEISICEIS-2000-KostarasMMP #industrial #multi #problem #scalability
Solving Large Scale Multi-Criteria Job Sequencing Problems in Real Industrial Environments (GK, IM, GM, JEP), pp. 157–162.
ICMLICML-2000-AllenG #comparison #empirical #learning
Model Selection Criteria for Learning Belief Nets: An Empirical Comparison (TVA, RG), pp. 1047–1054.
ICMLICML-2000-DrummondH
Exploiting the Cost (In)sensitivity of Decision Tree Splitting Criteria (CD, RCH), pp. 239–246.
ICMLICML-2000-Scheffer #performance #predict
Predicting the Generalization Performance of Cross Validatory Model Selection Criteria (TS), pp. 831–838.
KDDKDD-2000-SchefferW #algorithm
A sequential sampling algorithm for a general class of utility criteria (TS, SW), pp. 330–334.
SPLCSPLC-2000-YacoubMKD #certification #off the shelf
A hierarchy of COTS certification criteria (SMY, AM, CK, MD), pp. 397–412.
LICSLICS-2000-Voronkov #calculus #how #logic #proving
How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent Calculi (AV), pp. 401–412.
ITiCSEITiCSE-1999-Szejko #quality
An exercise in evaluating significance of software quality criteria (SS), p. 199.
ICSMEICSM-1999-SinhaH #java #source code #testing
Criteria for Testing Exception-Handling Constructs in Java Programs (SS, MJH), p. 265–?.
ICALPICALP-1999-PeichlV #automaton #finite
Finite Automata with Generalized Acceptance Criteria (TP, HV), pp. 605–614.
FMFM-v1-1999-Waeselynck #modelling
Test Criteria Definition for B Models (SB, HW), pp. 509–529.
HCIHCI-CCAD-1999-KirvesojaOVTKH #health #implementation
Implementation criteria for a videophone system used in telemedicine — a case in Finnish health care (HK, AO, SV, VT, MK, UH), pp. 271–275.
CAiSECAiSE-1999-Jarzabek #component #information management #product line
Component Criteria for Information System Families (SJ), pp. 451–455.
FASEFASE-1998-Lechner #concept #concurrent #object-oriented #reuse
Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages (UL), pp. 171–187.
ICMLICML-1998-GaborKS #learning #multi
Multi-criteria Reinforcement Learning (ZG, ZK, CS), pp. 197–205.
ICPRICPR-1998-0002C #comparison #evaluation
Experimental evaluation of two criteria for pattern comparison and alignment (CS, RC), pp. 146–153.
ICPRICPR-1998-EglinBE #complexity #using #visual notation
Printed text featuring using the visual criteria of legibility and complexity (VE, SB, HE), pp. 942–944.
ICPRICPR-1998-LamOX #classification #learning
Application of Bayesian Ying-Yang criteria for selecting the number of hidden units with backpropagation learning to electrocardiogram classification (WKL, NO, LX), pp. 1686–1688.
STOCSTOC-1997-SrinivasanT #algorithm #approximate
A Constant-Factor Approximation Algorithm for Packet Routing, and Balancing Local vs. Global Criteria (AS, CPT), pp. 636–643.
KDDKDD-1997-NakhaeizadehS #algorithm #data mining #development #evaluation #metric #mining #multi
Development of Multi-Criteria Metrics for Evaluation of Data Mining Algorithms (GN, AS), pp. 37–42.
ICALPICALP-1996-ChakrabartiPSSSW #algorithm #scheduling
Improved Scheduling Algorithms for Minsum Criteria (SC, CAP, ASS, DBS, CS, JW), pp. 646–657.
ICMLICML-1996-Saerens #fault #learning
Non Mean Square Error Criteria for the Training of Learning Machines (MS), pp. 427–434.
ICSEICSE-1996-MarreB #cost analysis #test coverage
Reducing and Estimating the Cost of Test Coverage Criteria (MM, AB), pp. 486–494.
ICDARICDAR-v1-1995-UtschickNKSN #classification #evaluation #feature model #network
The evaluation of feature extraction criteria applied to neural network classifiers (WU, PN, CK, AS, JAN), pp. 315–318.
ICSEICSE-1994-HutchinsFGO #effectiveness #test coverage #testing
Experiments of the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria (MH, HF, TG, TJO), pp. 191–200.
CAVCAV-1994-LamB #automaton
Criteria for the Simple Path Property in Timed Automata (WKCL, RKB), pp. 27–40.
HCIHCI-ACS-1993-WeberU #evaluation
Psychological Criteria for the Evaluation of Different Forms of Group Work in Advanced Manufacturing Systems (WGW, EU), pp. 26–31.
RTARTA-1993-LynchS
Redundancy Criteria for Constrained Completion (CL, WS), pp. 2–16.
CADECADE-1992-Christian #termination
Some Termination Criteria for Narrowing and E-Narrowing (JC), pp. 582–588.
ICSEICSE-1991-Jahl #evaluation #security
The Information Technology Security Evaluation Criteria (CJ), pp. 306–312.
ISSTATAV-1991-FranklW #comparison #effectiveness
An Experimental Comparison of the Effectiveness of the All-Uses and All-Edges Adequacy Criteria (PGF, SNW), pp. 154–164.
ICSEICSE-1990-Cardenas-GarciaZ #evaluation #functional #specification
Evaluation Criteria for Functional Specifications (SCG, MVZ), pp. 26–33.
ICLPNACLP-1990-GuptaJ90a #execution #logic programming #modelling #on the #source code
On Criteria for Or-Parallel Execution Models of Logic Programs (GG, BJ), pp. 737–756.
ICSEICSE-1989-Gomaa #design #realtime
Structuring Criteria for Real Time System Design (HG), pp. 290–301.
ICSEICSE-1989-Weyuker #test coverage
In Defense of Coverage Criteria (EJW), p. 361.
ICMLML-1988-Spackman #category theory #learning
Learning Categorical Decision Criteria in Biomedical Domains (KAS), pp. 36–46.
HCIHCI-SES-1987-Snyder #visual notation
Counterintuitive Criteria for Visual Displays0 (HLS), pp. 145–156.
ICSEICSE-1985-CardPM #composition
Criteria for Software Modularization (DNC, GTP, FEM), pp. 372–377.
ICSEICSE-1985-ClarkePRZ #comparison #data flow
A Comparison of Data Flow Path Selection Criteria (LAC, AP, DJR, SJZ), pp. 244–251.
DACDAC-1982-Richardson
Important criteria in selecting engineering work stations (FR), pp. 440–444.
ICSEICSE-1981-Howden #testing
Completeness Criteria for Testing Elementary Program Functions (WEH), pp. 235–243.
VLDBVLDB-1977-KuniiK #database #design #distributed
Design Criteria for Distributed Database Systems (TLK, HSK), pp. 93–104.
VLDBVLDB-1976-Kent #concept
New Criteria for the Conceptual Model (WK), pp. 1–12.
DACDAC-1972-Grant #architecture #design #problem #proximity #using
Combining proximity criteria with nature-of-the-spot criteria in architectural and urban design space planning problems using a computer-aided space allocation technique: A proposed technique and an example of its application (DPG), pp. 197–202.
SOSPSOSP-1967-Horn68 #debugging #design
Three criteria for designing computing systems to facilitate debugging (ECVH), pp. 360–365.

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.