Search results for "tests"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Michael Kenteris, Damianos Gavalas, Daphne Economou	An innovative mobile electronic tourist guide application.	Pers. Ubiquitous Comput.	2009	DBLP DOI BibTeX RDF	Tourist application, Electronic tourist guide, Push model, XML, Mobile devices, Web, Usability tests, J2ME
12	Vitaly Feldman, Venkatesan Guruswami, Prasad Raghavendra, Yi Wu 0002	Agnostic Learning of Monomials by Halfspaces Is Hard.	FOCS	2009	DBLP DOI BibTeX RDF	Hardness of Learning, Dictatorship Tests, PCPs, Agnostic Learning
12	Joseph Farfel, Vincent Conitzer	Turing Trade: A Hybrid of a Turing Test and a Prediction Market.	AMMA	2009	DBLP DOI BibTeX RDF	deployed web-based applications, using points as an artificial currency, prediction markets, games with a purpose, Turing tests
12	Francis Jambon, Brigitte Meillon	User experience evaluation in the wild.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	in-situ evaluation, mobile devices, user experience, user tests
12	Masashi Tsuboi, Shinji Kimura, Tsutomu Horikoshi	An objective and subjective evaluation of an autostereoscopic 3d display.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	evaluation, human factor, 3d, visual perception, subjective tests
12	Matteo Cacciola, Giuseppe Megali, Diego Pellicanò, Michele Buonsanti, Salvatore Calcagno 0001, Mario Versaci, Francesco Carlo Morabito	Neuro-Fuzzy Approach for Reconstructing Fissures in Concrete's Reinforcing Bars.	WILF	2009	DBLP DOI BibTeX RDF	Slim Structures, Eddy-current Non Destructive Tests, Neuro-Fuzzy Systems, Non Linear Systems
12	Joseph Farfel, Vincent Conitzer	A multiagent Turing test based on a prediction market.	AAMAS (2)	2009	DBLP BibTeX RDF	deployed web-based applications, using points as an artificial currency, prediction markets, games with a purpose, Turing tests
12	Tibor Csendes, László Pál, José-Oscar H. Sendín, Julio R. Banga	The GLOBAL optimization method revisited.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Numerical tests, Clustering, Global optimization, Direct methods
12	Mehrdad Nourani, Mohammad Tehranipoor, Nisar Ahmed	Low-Transition Test Pattern Generation for BIST-Based Applications.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Low power pattern generation, Test generation, Built-in tests, Testing strategies, Random generation
12	Egas Henes Neto, Gilson I. Wirth, Fernanda Lima Kastensmidt	Mitigating Soft Errors in SRAM Address Decoders Using Built-in Current Sensors.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Fault-tolerance, Reliability, Testing, Built-in tests, Error-checking
12	Abhijit Jas, Yi-Shing Chang, Sreejit Chakravarty	A Methodology for Handling Complex Functional Constraints for Large Industrial Designs.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Untestability analysis, Pseudo-functional tests, Functional constraints
12	Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang	Certified Development Tools Implementation in Objective Caml.	PADL	2008	DBLP DOI BibTeX RDF	Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml
12	Meltem Sönmez Turan, Çagdas Çalik, Nurdan Buz Saran, Ali Doganaksoy	New Distinguishers Based on Random Mappings against Stream Ciphers.	SETA	2008	DBLP DOI BibTeX RDF	Random Mappings, TMTO Attacks, Stream Ciphers, Randomness tests
12	Arunkaruppaiya Adaikalam, Mutaher Azad, Chiupin Chen, Jeesh Thomas, Thomas Schwengler	Municipal wireless data network in Longmont, CO.	WINTECH	2008	DBLP DOI BibTeX RDF	muni wi-fi, municipal wireless, field tests
12	Vipul Kashyap	From the Bench to the Bedside: The Role of Semantic Web and Translational Medicine for Enabling the Next Generation Healthcare Enterprise.	BIOSTEC (Selected Papers)	2008	DBLP DOI BibTeX RDF	Translational Medicine, Knowledge Maintenance and Provenance, Eligibility Criteria, Molecular Diagnostic Tests, Genetic Variants, Hypertrophic Cardiomyopathy, Family History, Business Object Models, Ontologies, Data Integration, Web Ontology Language (OWL), Business Rules, Electronic Medical Record, Clinical Trials, Semantic Web technologies, Resource Description Framework (RDF), Clinical Decision Support
12	Javier Apolloni, Guillermo Leguizamón, José García-Nieto, Enrique Alba 0001	Island Based Distributed Differential Evolution: An Experimental Study on Hybrid Testbeds.	HIS	2008	DBLP DOI BibTeX RDF	Distributed Differential Evolution, Non-Parametric Tests, CEC?05 Function Test Suite
12	Shachar Lovett, Roy Meshulam, Alex Samorodnitsky	Inverse conjecture for the gowers norm is false.	STOC	2008	DBLP DOI BibTeX RDF	gowers norm, multivariate polynomials, low degree tests
12	Shachar Lovett	Unconditional pseudorandom generators for low degree polynomials.	STOC	2008	DBLP DOI BibTeX RDF	fourier analysis, pseudorandom generators, low degree tests
12	Prasad Raghavendra	Optimal algorithms and inapproximability results for every CSP?	STOC	2008	DBLP DOI BibTeX RDF	dictatorship tests, rounding schemes, semidefinite programming, constraint satisfaction problem, unique games conjecture
12	Jana Tucková, Jan Holub 0002, Tomás Dubeda	Technical and Phonetic Aspects of Speech Quality Assessment: The Case of Prosody Synthesis.	COST 2102 Conference (Prague)	2008	DBLP DOI BibTeX RDF	speech quality assessment, listening tests, data mining, neural networks, Speech synthesis, pruning
12	Alessandro Oliveira Arantes, Nandamudi Lankalapalli Vijaykumar, Valdivino Alexandre de Santiago Júnior, Danielle Guimarães	WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts.	iiWAS	2008	DBLP DOI BibTeX RDF	web-based tool, software tests, statecharts, test case, verification and validation, collaborative applications
12	Reinhard Klette	Stereo-Vision-Support for Intelligent Vehicles - The Need for Quantified Evidence.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF	vision-based driver support, camera crash tests, performance analysis, motion analysis, intelligent vehicle, stereo analysis
12	Salem Abdennadher, Saghir A. Shaikh	Practices in Mixed-Signal and RF IC Testing.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	I/O testing, SiP testing, wireless transceiver testing, DFT, built-in tests, ATE
12	Sarangi P. Parikh, Valdir Grassi Jr., Vijay Kumar 0001, Jun Okamoto Jr.	Integrating Human Inputs with Autonomous Behaviors on an Intelligent Wheelchair Platform.	IEEE Intell. Syst.	2007	DBLP DOI BibTeX RDF	wheelchair navigation, smart wheelchairs, experimental tests, shared motion control, user evaluations
12	Ingmar van Dijk, Ruud Wijnands	Test Driving the Wrong Car.	XP	2007	DBLP DOI BibTeX RDF	mistakes, non-functional tests, feedback, Test-Driven Development
12	Jiawei Luo 0001, Li Yang, Xizhen Zhang	A Method for Gene Identification by Dynamic Feature Choosing.	HCI (12)	2007	DBLP DOI BibTeX RDF	Gene identification, three cross-validation tests, Discriminant analysis
12	Sergio F. Ochoa, H. Andrés Neyem, Gabriel Bravo, Emilio G. Ormeño	MOCET: A MObile Collaborative Examination Tool.	HCI (9)	2007	DBLP DOI BibTeX RDF	Student Examination Process, Mobile Collaborative Tool, On-Line Tests
12	Maeve O'Brien, Mark T. Keane	Modeling user behavior using a search-engine.	IUI	2007	DBLP DOI BibTeX RDF	predictive user modeling, link analysis, power-laws, information navigation, web evolution, search behavior, empirical tests
12	Darren Lunn	SADIe: exposing implicit information to improve accessibility.	ASSETS	2007	DBLP DOI BibTeX RDF	randomisation tests, evaluation, accessibility, transcoding
12	Nuno Ferreira, Rui L. Aguiar, Susana Sargento	A Novel Local-Centric Mobility System.	ICOIN	2007	DBLP DOI BibTeX RDF	Fast and Seamless Mobility, localized architecture, global mobility signalling reduction, performance, developing, 4G, tests evaluation
12	Jesús T. Pastor, C. A. Knox Lovell, Henry Tulkens	Evaluating the financial performance of bank branches.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Variable deletion tests, Banking, Performance indicators
12	Egas Henes Neto, Ivandro Ribeiro, Michele G. Vieira, Gilson I. Wirth, Fernanda Lima Kastensmidt	Using Bulk Built-in Current Sensors to Detect Soft Errors.	IEEE Micro	2006	DBLP DOI BibTeX RDF	Reliability, Built-in tests, Error-checking, Testing and Fault-Tolerance
12	Hafizur Rahaman 0001, Debesh K. Das, Bhargab B. Bhattacharya	Implementing Symmetric Functions with Hierarchical Modules for Stuck-At and Path-Delay Fault Testability.	J. Electron. Test.	2006	DBLP DOI BibTeX RDF	universal tests, stuck-at fault, path-delay fault, synthesis-for-testability, unate function, symmetric boolean function
12	Maeve O'Brien, Mark T. Keane, Barry Smyth	Predictive modeling of first-click behavior in web-search.	WWW	2006	DBLP DOI BibTeX RDF	predictive user modeling, link analysis, information scent, information navigation, web evolution, search behavior, empirical tests
12	André Adelsbach, Markus Rohe, Ahmad-Reza Sadeghi	Complementing zero-knowledge watermark detection: Proving properties of embedded information without revealing it.	Multim. Syst.	2005	DBLP DOI BibTeX RDF	Statistical tests on committed numbers, Interactive generation of commitments on Gaussian distributed samples, Zero-knowledge watermark detection, Zero-knowledge protocols
12	André DeHon, Helia Naeimi	Seven Strategies for Tolerating Highly Defective Fabrication.	IEEE Des. Test Comput.	2005	DBLP DOI BibTeX RDF	Reliability, integrated circuits, Reconfigurable hardware, Built-in tests, Testing strategies, Logic Arrays, Testing and Fault-Tolerance, Redundant design, Advanced Technologies
12	Kumar Chellapilla, Kevin Larson, Patrice Y. Simard, Mary Czerwinski	Designing human friendly human interaction proofs (HIPs).	CHI	2005	DBLP DOI BibTeX RDF	completely automated public turing tests to tell computers and humans apart (CAPTCHAs), visual letter recognition, evaluation, computer vision, human perception, human interaction proofs (HIPs)
12	Nathan Fisher, James H. Anderson, Sanjoy K. Baruah	Task Partitioning upon Memory-Constrained Multiprocessors.	RTCSA	2005	DBLP DOI BibTeX RDF	Memory-constrained systems, Utilization-based schedulability tests, Multiprocessor systems, Partitioned scheduling
12	Henry S. Baird, Michael A. Moll, Sui-Yu Wang	ScatterType: A Legible but Hard-to-Segment CAPTCHA.	ICDAR	2005	DBLP DOI BibTeX RDF	abuse of web sites and services, human/machine discrimination, legibility of text, Gestalt perception, automatic attacks on CAPTCHAs, segmentation, fragmentation, document image analysis, CAPTCHAs, Turing tests, human interactive proofs
12	Said Hamdioui, Rob Wadsworth, John Delos Reyes, Ad J. van de Goor	Memory Fault Modeling Trends: A Case Study.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	static faults, fault models, fault coverage, memory tests, dynamic faults, data backgrounds
12	André Adelsbach, Markus Rohe, Ahmad-Reza Sadeghi	Overcoming the obstacles of zero-knowledge watermark detection.	MM&Sec	2004	DBLP DOI BibTeX RDF	interactive generation of commitments on Gaussian distributed samples, statistical tests on committed numbers, zero-knowledge watermark detection, zero-knowledge protocols
12	Baosheng Wang, Josh Yang, James Cicalo, André Ivanov, Yervant Zorian	Reducing Embedded SRAM Test Time under Redundancy Constraints.	VTS	2004	DBLP DOI BibTeX RDF	Memory Test Time, Memory Redundancy, Memory testing, March Tests, Embedded SRAMs
12	Irith Pomeranz	On the generation of scan-based test sets with reachable states for testing under functional operation conditions.	DAC	2004	DBLP DOI BibTeX RDF	functional tests, scan design, reachable states
12	Dexter Kozen, Jerzy Tiuryn	Substructural logic and partial correctness.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	specification, linear logic, Dynamic logic, Hoare logic, sequent calculus, substructural logic, Kleene algebra, Kleene algebra with tests
12	Haridimos T. Vergos, Dimitris Nikolos, Maciej Bellos, Costas Efstathiou	Deterministic BIST for RNS Adders.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	deterministic and pseudorandom tests, formal test sets, Built-In Self-Test, Residue Number System
12	J. Doyle, C. Meudec	IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming.	PPPJ	2003	DBLP DOI BibTeX RDF	logic programming, symbolic execution, constraint logic programming, Java Bytecode, automatic tests data generation, coverage testing
12	Said Hamdioui, Ad J. van de Goor, Mike Rodgers	Detecting Intra-Word Faults in Word-Oriented Memories.	VTS	2003	DBLP DOI BibTeX RDF	Bit-oriented/word-oriented memories, fault models, memory tests, data backgrounds
12	Ad J. van de Goor, Magdy S. Abadir, Alan Carlin	Minimal Test for Coupling Faults in Word-Oriented Memories.	DATE	2002	DBLP DOI BibTeX RDF	State coupling faults, word-oriented memories, tests, data backgrounds, m-out-of-n codes
12	Jorma Kilpi, Ilkka Norros	Testing the Gaussian approximation of aggregate traffic.	Internet Measurement Workshop	2002	DBLP DOI BibTeX RDF	Quantile-Quantile plots, correlation tests, normal plots, traffic modeling and measurements, TCP/IP, aggregate traffic
12	Susan W. Palocsay, Scott Paul Stevens, Robert G. Brookshire	An Empirical Evaluation of Probability Estimation with Neural Networks.	Neural Comput. Appl.	2001	DBLP DOI BibTeX RDF	Chi-square statistic, Multilayer feedforward neural networks, Quickprop, Probability estimation, Goodness-of-fit tests
12	José M. Peña 0001, José Antonio Lozano 0001, Pedro Larrañaga, Iñaki Inza	Dimensionality Reduction in Unsupervised Learning of Conditional Gaussian Networks.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	conditional Gaussian networks, edge exclusion tests, feature selection, Data clustering
12	Mordechay B. Levin	On the statistical independence of compound pseudorandom numbers over part of the period.	ACM Trans. Model. Comput. Simul.	2001	DBLP DOI BibTeX RDF	Diaphony, theoretical tests, discrepancy
12	Patricia Charlton, David Bonnefoy, Nicolas Lhuillier	Dealing with interoperability for agent-based services.	Agents	2001	DBLP DOI BibTeX RDF	multi-agent systems, tests, interoperability
12	Petteri Sevon, Hannu Toivonen, Vesa Ollikainen	TreeDT: gene mapping by tree disequilibrium test.	KDD	2001	DBLP DOI BibTeX RDF	Gene mapping, permutation tests, algorithms, prefix trees
12	Michael Mascagni, Ashok Srinivasan	Algorithm 806: SPRNG: a scalable library for pseudorandom number generation.	ACM Trans. Math. Softw.	2000	DBLP DOI BibTeX RDF	lagged-Fibonacci generator, parallel random-number generators, random-number software, FORTRAN, linear congruential generator, random-number tests
12	Sunghyun Choi 0001, Kang G. Shin	A unified wireless LAN architecture for real-time and non-real-time communication services.	IEEE/ACM Trans. Netw.	2000	DBLP DOI BibTeX RDF	QoS-sensitive communication, admission tests, dynamic time-division duplexing (D-TDD), location-dependent errors, wireless LAN, MAC protocol, polling, priority scheduling
12	Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno	Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems.	DSN	2000	DBLP DOI BibTeX RDF	fault-secure scheduling, tests, multiprocessors, task graphs, fault security
12	Stefanos Kaxiras, Cliff Young	Coherence Communication Prediction in Shared-Memory Multiprocessors.	HPCA	2000	DBLP DOI BibTeX RDF	sharing prediction, screening tests, shared memory multiprocessors
12	Stefan Wegenkittl, Makoto Matsumoto	Getting rid of correlations among pseudorandom numbers: discarding versus tempering.	ACM Trans. Model. Comput. Simul.	1999	DBLP DOI BibTeX RDF	discarding, gambling test, tempering, correlation analysis, pseudorandom number generator, empirical tests
12	Igor S. Pandzic, Jörn Ostermann, David R. Millen	User evaluation: Synthetic talking faces for interactive services.	Vis. Comput.	1999	DBLP DOI BibTeX RDF	Facial animation, User evaluation, Talking head, Nonverbal communication, Animated characters, Interactive services, Subjective tests
12	Irith Pomeranz, Sudhakar M. Reddy	Vector-Based Functional Fault Models for Delay Faults.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	functional tests, delay faults, path delay faults
12	Debesh K. Das, Indrajit Chaudhuri, Bhargab B. Bhattacharya	Design of an Optimal Test Pattern Generator for Built-in Self Testing of Path Delay Faults.	VLSI Design	1998	DBLP DOI BibTeX RDF	Built-in self-test, TPG, delay faults, robust testing, two-pattern tests
12	Debashis Bhattacharya, Prathima Agrawal, Vishwani D. Agrawal	Test Generation for Path Delay Faults Using Binary Decision Diagrams.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	Boolean algebraic test generation, redundant delay faults, robust delay tests, scan testing of delay faults, binary decision diagrams, delay faults
12	Ora E. Percus, Paula A. Whitlock	Theory and Application of Marsaglia's Monkey Test for Pseudorandom Number Generators.	ACM Trans. Model. Comput. Simul.	1995	DBLP DOI BibTeX RDF	testing random number generators, empirical tests
12	Sunggu Lee, Kang G. Shin	Optimal and Efficient Probabilistic Distributed Diagnosis Schemes.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	probabilistic distributed diagnosis schemes, distributed self-diagnosis, interprocessor tests, imperfect fault coverage, intermittently faulty processors, probabilistic diagnosis methods, fault syndrome information, diagnosis categories, simulations, performance evaluation, fault tolerant computing, multiprocessor, multiprocessing systems, multicomputer system, diagnosis algorithms
12	Bernhard Eschermann	State Assignment for Hardwired VLSI Control Units.	ACM Comput. Surv.	1993	DBLP DOI BibTeX RDF	coding constraints, VLSI, computer-aided design, synthesis, finite-state machines, logic design, sequential circuits, testability, integrated circuits, built-in tests, state assignment, control design
12	Sampath Rangarajan, Donald S. Fussell	Diagnosing Arbitrarily Connected Parallel Computers with High Probability.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	probabilistic fault diagnosis, multiple tests, probabilistic diagnosis algorithms, immediate neighbors, homogeneous parallel architecture, testing processors, parallel algorithms, parallel computers, parallel architectures, fault tolerant computing, probability, parallel machines, multiprocessor system, asymptotic behavior
12	Sungju Park, Sheldon B. Akers	Parity bit calculation and test signal compaction for BIST applications.	J. Electron. Test.	1992	DBLP DOI BibTeX RDF	parity bit, test response compression, Built-in self-test, pseudo-exhaustive tests
12	William H. Deason, David B. Brown, Kai-Hsiung Chang, James H. Cross	A Rule-Based Software Test Data Generator.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	rule-based software test data generator, path/predicate analysis, random data generation, artificial intelligence, knowledge based systems, program testing, statistical tests, Ada programs
12	Ioannis Z. Emiris, John F. Canny	A General Approach to Removing Degeneracies	FOCS	1991	DBLP DOI BibTeX RDF	direct perturbations, algebraic branching programs, infinite ordered field, deterministic method, determinant tests, arbitrary test expressions, complexity factors, exponential time algorithms, polynomial time algorithms, complexity class, degeneracies, nondegeneracy
12	Janusz A. Brzozowski, Bruce F. Cockburn	Detection of coupling faults in RAMs.	J. Electron. Test.	1990	DBLP DOI BibTeX RDF	toggling faults, fault modeling, coupling faults, RAM testing, optimal tests
12	Sally A. Goldman, Michael J. Kearns, Robert E. Schapire	Exact Identification of Circuits Using Fixed Points of Amplification Functions (Extended Abstract)	FOCS	1990	DBLP DOI BibTeX RDF	unbounded depth, circuit identification, input-output behaviour sampling, formula learning, amplification functions, read-once Boolean formulas, fixed-point distribution, logarithmic-depth target family, universal identification sequences, noise, probability distribution, statistical tests, structural information
12	José Manuel Colom, Manuel Silva Suárez	Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Structural analysis of P/T nets, Minimal semiflows, Extremal direction of a cone, Algorithms to compute all minimal semiflows, Tests of minimality, Convex Geometry
12	Giuseppe Di Battista, Roberto Tamassia	Incremental Planarity Testing (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	edge insertions, incremental planarity testing, supports tests, vertex insertions, queries, planar graph, edges, vertices, insertion
12	Niraj K. Jha	Multiple Stuck-Open Fault Detection in CMOS Logic Circuits.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	multiple stuck-open fault detection, logic testing, CMOS logic circuits, logic circuits, CMOS integrated circuits, integrated logic circuits, two-pattern tests
12	George Marsaglia	Note on a Proposed Test for Random Number Generators.	IEEE Trans. Computers	1985	DBLP DOI BibTeX RDF	tests of randomness, simulation, Markov chains, random number generation
12	Martin Jourdan	Strongly non-circular attribute grammars and their recursive evaluation.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF	circularity tests, evaluation by need, recursive evaluation, Lisp, storage management, Attribute grammars
12	Sumit Dasgupta, Carlos R. P. Hartmann, Luther D. Rudolph	Dual-Mode Logic for Function-Independent Fault Testing.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	Control inputs, data inputs, dual-mode combinational logic network, dual-mode sequential logic network, function-independent tests, stuck-at-faults
12	Satish M. Thatte, Jacob A. Abraham	Test Generation for Microprocessors.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	complexity of tests, functional level fault models, Architecture models, test programs, microprocessor architecture
12	Mark G. Karpovsky	Error Detection in Digital Devices and Computer Programs with the Aid of Linear Recurrent Equations Over Finite Commutativs Groups.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	Error detection for, digital devices and computer programs, error detection tests for digital devices, characters of commutative groups, Fourier transform over finite commutative groups, spectral and autocorrelation functions over finite commutative groups, fast Hadamard-Walsh transform
12	Ramachendra P. Batni, Charles R. Kime	A Module-Level Testing Approach for Combinational Networks.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	B-transformation, effective blocking technique, fault detection tests, module-level testing, combinational networks
12	John R. B. Whittlesey	Letters to the editor: on the multidimensional uniformity of pseudorandom generators.	Commun. ACM	1969	DBLP DOI BibTeX RDF	Marsaglia's theorem, Monte Carlo applications, Tausworthe generators, digital shift registers, linear recurrence modulo two generators, multidimensional uniformity, multiplicative congruential (Lehmer) generators, parallel hyperplanes, random n-tuples, random number analysis, runs up-and-down, statistical tests for randomness, uniform hyper-cubes, random number generators, Fourier analysis, pseudo-random numbers
12	Bryna M. Fellen	Letters to the editor: an implementation of the Tausworthe generator.	Commun. ACM	1969	DBLP DOI BibTeX RDF	generators, statistical tests, pseudorandom number
12	Gordon Fraser 0001, Andreas Zeller	Mutation-driven generation of unit tests and oracles.	ISSTA	2010	DBLP DOI BibTeX RDF	unit testing, assertions, test case generation, mutation testing, test oracles, mutation analysis, search based testing
12	Alberto Faro, Daniela Giordano, Concetto Spampinato, Davide De Tommaso, Simona Ullo	An interactive interface for remote administration of clinical tests based on eye tracking.	ETRA	2010	DBLP DOI BibTeX RDF	medical research, opthalmology, vision research, eye tracking, cognitive psychology, neuroscience
12	Juan Antonio Cuesta-Albertos, Antonio Cuevas, Ricardo Fraiman	On projection-based tests for directional and compositional data.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Compositional data, Directional data, Sphericity, Uniformity
12	Irith Pomeranz, Sudhakar M. Reddy	Functional Broadside Tests Under an Expanded Definition of Functional Operation Conditions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2009	DBLP DOI BibTeX RDF
12	Stefan Heinz 0001, Martin Sachenbacher	Using Model Counting to Find Optimal Distinguishing Tests.	CPAIOR	2009	DBLP DOI BibTeX RDF
12	Su Chang, Thomas E. Daniels	P2P botnet detection using behavior clustering & statistical tests.	AISec	2009	DBLP DOI BibTeX RDF	machine learning, network security, anomaly detection
12	Marcelo Masera, Igor Nai Fovino	Methodology for Experimental ICT Industrial and Critical Infrastructure Security Tests.	ARES	2009	DBLP DOI BibTeX RDF
12	Carlos Ordonez 0001, Zhibo Chen 0002	Exploration and visualization of OLAP cubes with statistical tests.	KDD Workshop on Visual Analytics and Knowledge Discovery	2009	DBLP DOI BibTeX RDF	visualization, cube, parametric test
12	Diego Figueira	Satisfiability of downward XPath with data equality tests.	PODS	2009	DBLP DOI BibTeX RDF	bip automaton, data-tree, infinite alphabet, unranked unordered tree, xpath, xml, data values
12	Omar Mubin, Suleman Shahid, Christoph Bartneck, Emiel Krahmer, Marc Swerts, Loe M. G. Feijs	Using language tests and emotional expressions to determine the learnability of artificial languages.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	artificial languages, language learnability, human robot interaction, emotions, speech interaction
12	Katharina Tschumitschew, Frank Klawonn	AVEDA: Statistical Tests for Finding Interesting Visualisations.	KES (1)	2009	DBLP DOI BibTeX RDF
12	Pascal Van Hentenryck, Carleton Coffrin, Boris Gutkovich	Constraint-Based Local Search for the Automatic Generation of Architectural Tests.	CP	2009	DBLP DOI BibTeX RDF
12	Guillaume Née, Stéphanie Jehan-Besson, Luc Brun, Marinette Revenu	Significance Tests and Statistical Inequalities for Segmentation by Region Growing on Graph.	CAIP	2009	DBLP DOI BibTeX RDF
12	Nicolas Rapin	Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF	Input Output Symbolic Transition Systems, Verification, Symbolic Execution, Linear Temporal Logic
12	Paula Herber, Florian Friedemann, Sabine Glesner	Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF
12	Wayne B. Nelson	Residuals and Their Analyses for Accelerated Life Tests With Step and Varying Stress.	IEEE Trans. Reliab.	2008	DBLP DOI BibTeX RDF
12	John Moses, Malcolm Farrow	Tests for consistent measurement of external subjective software quality attributes.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Subjective software quality attributes, Distribution principle, Minimum rejection principle, Bayesian inference, Error rates, Conditional probability, Multinomial distribution, Data imputation, Consistent measurement