Search results for "tests"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Hong-Bin Chen, Hung-Lin Fu, Frank K. Hwang	An upper bound of the number of tests in pooling designs for the error-tolerant complex model.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Nonadaptive algorithms, Disjunct matrices, Pooling designs
12	Peter Bastian, Markus Blatt, Andreas Dedner, Christian Engwer, Robert Klöfkorn, Ralf Kornhuber, Mario Ohlberger, Oliver Sander	A generic grid interface for parallel and adaptive scientific computing. Part II: implementation and tests in DUNE.	Computing	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 65N30, 68U20, 65Y05
12	Igor Nai Fovino, Marcelo Masera	Methodology for Experimental ICT Industrial and Critical Infrastructure Security Tests.	EuroISI	2008	DBLP DOI BibTeX RDF	ICT Security assessment, ICT Experimental Security, Critical Infrastructures
12	Angsheng Li, Linqing Tang	Derandomizing Graph Tests for Homomorphism.	TAMC	2008	DBLP DOI BibTeX RDF
12	Young Gil Kim, Norman C. Beaulieu	Comparison of Erasure Tests with Diversity Reception for Noncoherent M-ary FSK Signaling.	ICC	2008	DBLP DOI BibTeX RDF
12	Vincent Choqueuse, Koffi Yao, Ludovic Collin, Gilles Burel	Blind detection of the number of communication signals under spatially correlated noise by ICA and K-S tests.	ICASSP	2008	DBLP DOI BibTeX RDF
12	Zarina Dzolkhifli, Hamidah Ibrahim, Lilly Suriani Affendey	Analyzing Integrity Tests for Data Caching in Mobile Databases.	ICDCIT	2008	DBLP DOI BibTeX RDF
12	Hongqi Gong, Lihua Li, Hongyu Zhao	Automatic Labeling System of Words in Text Materials for College English Tests.	ISIP	2008	DBLP DOI BibTeX RDF	automatic word labeling, college English, test, readability
12	Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik, Andrea Baldini	A Comparative Evaluation of Tests Generated from Different UML Diagrams.	SNPD	2008	DBLP DOI BibTeX RDF	Software Testing, Model-based Testing, UML Diagram
12	Qingxin Shi	A field study of the relationship and communication between Chinese evaluators and users in thinking aloud usability tests.	NordiCHI	2008	DBLP DOI BibTeX RDF	thinking aloud usability testing, culture, field study, formative evaluation
12	Tilmann Hampp	First Steps towards Validating a Cost-Benefit Model of Reviews and Tests.	IWSM/Metrikon/Mensura	2008	DBLP DOI BibTeX RDF
12	François-Xavier Standaert, Benedikt Gierlichs, Ingrid Verbauwhede	Partition vs. Comparison Side-Channel Distinguishers: An Empirical Evaluation of Statistical Tests for Univariate Side-Channel Attacks against Two Unprotected CMOS Devices.	ICISC	2008	DBLP DOI BibTeX RDF
12	Mercedes G. Merayo, Manuel Núñez 0001	Derivation of Tests from Timed Specifications According to Different Coverage Criteria.	ICONS	2008	DBLP DOI BibTeX RDF
12	Friedrich Steimann, Thomas Eichstädt-Engelen, Martin Schaaf	Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	Debugging, Regression testing, Fault localization
12	Therese Berg, Bengt Jonsson 0001, Harald Raffelt	Regular Inference for State Machines Using Domains with Equality Tests.	FASE	2008	DBLP DOI BibTeX RDF
12	Nikolai Tillmann, Jonathan de Halleux	Pex-White Box Test Generation for .NET.	TAP	2008	DBLP DOI BibTeX RDF
12	Gurgen Harutunyan, Valery A. Vardanian, Yervant Zorian	Minimal March Tests for Detection of Dynamic Faults in Random Access Memories.	J. Electron. Test.	2007	DBLP DOI BibTeX RDF	dynamic fault primitives, dynamic functional fault models, march test algorithms, fault detection, random access memories
12	Herwig Wendt, Patrice Abry	Multifractality Tests Using Bootstrapped Wavelet Leaders.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
12	Jian Yu, Miin-Shen Yang	A Generalized Fuzzy Clustering Regularization Model With Optimality Tests and Model Complexity Analysis.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
12	Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl	Model Validation using Automatically Generated Requirements-Based Tests.	HASE	2007	DBLP DOI BibTeX RDF
12	Tim Bosenick, Steffen Kehr, Martina Kühn, Stephan Nufer	Remote Usability Tests - An Extension of the Usability Toolbox for Online-Shops.	HCI (5)	2007	DBLP DOI BibTeX RDF	method comparison, Usability Test, online shop, Remote Test
12	V. R. Devanathan, C. P. Ravikumar, V. Kamakoti 0001	Interactive presentation: On power-profiling and pattern generation for power-safe scan tests.	DATE	2007	DBLP DOI BibTeX RDF
12	Jens Anders, Shaji Krishnan, Guido Gronthoud	Re-configuration of sub-blocks for effective application of time domain tests.	DATE	2007	DBLP DOI BibTeX RDF
12	Slawomir Zielski, Janusz Sosnowski	The SCSI interface conformance tests generation.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
12	Jing-bo Zhao, Long Chen 0003, Hao-Bin Jiang, Li-min Niu	Design and Full-car Tests of Electric Power Steering System.	CCTA	2007	DBLP DOI BibTeX RDF	Electric Power Steering, EPS, motor, controller, automobile
12	Dawid Weiss, Marcin Zduniak	Automated Integration Tests for Mobile Applications in Java 2 Micro Edition.	BIS	2007	DBLP DOI BibTeX RDF	Mobile Development, Software Testing, Quality Assurance, Agile Development
12	Souheib Baarir, Alexandre Duret-Lutz	Emptiness Check of Powerset Buchi Automata using Inclusion Tests.	ACSD	2007	DBLP DOI BibTeX RDF
12	Fabio Pareschi, Riccardo Rovatti, Gianluca Setti	Second-level NIST Randomness Tests for Improving Test Reliability.	ISCAS	2007	DBLP DOI BibTeX RDF
12	Shoji Hirano, Shusaku Tsumoto	Trajectory Analysis of Laboratory Tests as Medical Complex Data Mining.	MCD	2007	DBLP DOI BibTeX RDF
12	Achim D. Brucker, Burkhart Wolff	Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing.	TAP	2007	DBLP DOI BibTeX RDF	symbolic test case generations, theorem proving, computer security, black box testing, Isabelle/HOL, test sequence generation
12	Lisa Ling Liu, Bertrand Meyer 0001, Bernd Schoeller	Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation.	TAP	2007	DBLP DOI BibTeX RDF
12	Stelios Neophytou, Maria K. Michael, Spyros Tragoudas	Functions for Quality Transition-Fault Tests and Their Applications in Test-Set Enhancement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
12	Kamal Aboul-Hosn, Dexter Kozen	Local Variable Scoping and Kleene Algebra with Tests.	RelMiCS	2006	DBLP DOI BibTeX RDF
12	Kamal Aboul-Hosn	An Axiomatization of Arrays for Kleene Algebra with Tests.	RelMiCS	2006	DBLP DOI BibTeX RDF
12	Alexander Krupp, Wolfgang Müller 0003	Classification trees for random tests and functional coverage.	DATE	2006	DBLP DOI BibTeX RDF
12	Petra Schwaiger, Burkhard Freitag	Using Answer Set Programming for the Automatic Compilation of Assessment Tests.	ICLP	2006	DBLP DOI BibTeX RDF
12	Dexter Kozen	On the Representation of Kleene Algebras with Tests.	MFCS	2006	DBLP DOI BibTeX RDF
12	Poika Isokoski	Variability of throughput in pointing device tests: button-up or button-down?	NordiCHI	2006	DBLP DOI BibTeX RDF	button-down, button-up, throughput, Fitts' law, pointing device
12	Christophe Strobbe	Accessibility Issues in Two Specifications for E-Learning Tests: IMS QTI 1.2 and IMS QTI 2.0.	ICCHP	2006	DBLP DOI BibTeX RDF
12	Chuen-Song Chen, Jien-Chung Lo, Tian Xia	Equivalent IDDQ Tests for Systems with Regulated Power Supply.	DFT	2006	DBLP DOI BibTeX RDF
12	Aysegul Gunduz, Anant Hegde, José C. Príncipe	Correntropy as a Novel Measure for Nonlinearity Tests.	IJCNN	2006	DBLP DOI BibTeX RDF
12	Guangbin Yang	Accelerated life tests at higher usage rates.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
12	Albert Schilling, Kelma Madeira, Paula Donegan, Kênia Soares Sousa, Elizabeth Furtado, Vasco Furtado	An integrated method for designing user interfaces based on tests.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
12	Albert Schilling, Kelma Madeira, Paula Donegan, Kênia Soares Sousa, Elizabeth Furtado, Vasco Furtado	An integrated method for designing user interfaces based on tests.	A-MOST	2005	DBLP DOI BibTeX RDF
12	Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün	Eliminating Redundant Tests in a Checking Sequence.	TestCom	2005	DBLP DOI BibTeX RDF
12	Bertrand Meyer 0001	Doing More with Contracts: Towards Automatic Tests and Proofs.	RISE	2005	DBLP DOI BibTeX RDF
12	Mikhail Ju. Moshkov, Marcin Piliszczuk	On Partial Tests and Partial Reducts for Decision Tables.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	partial test, greedy algorithm, partial cover, partial reduct
12	Alexandre Petrenko, Nina Yevtushenko 0001	Conformance Tests as Checking Experiments for Partial Nondeterministic FSM.	FATES	2005	DBLP DOI BibTeX RDF
12	Renée C. Bryce	Automatic generation of high coverage usability tests.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	usability testing, design of experiments, covering arrays, mixed-level covering arrays, interaction testing
12	Kwang-Il Ahn, Jae-Yearn Kim	Profile Association Rule Mining Using Tests of Hypotheses Without Support Threshold.	ICCSA (4)	2005	DBLP DOI BibTeX RDF
12	Leonard Lee, Sean H. Wu, Charles H.-P. Wen, Li-C. Wang	On Generating Tests to Cover Diverse Worst-Case Timing Corners.	DFT	2005	DBLP DOI BibTeX RDF
12	Yi-Shing Chang, Sreejit Chakravarty, Hiep Hoang, Nick Thorpe, Khen Wee	Transition Tests for High Performance Microprocessors.	VTS	2005	DBLP DOI BibTeX RDF
12	Jing Wang 0006, Xiang Lu, Wangqi Qiu, Ziding Yue, Steve Fancler, Weiping Shi, D. M. H. Walker	Static Compaction of Delay Tests Considering Power Supply Noise.	VTS	2005	DBLP DOI BibTeX RDF
12	Jan-Hendrik Bartels, Jürgen Zimmermann 0001	Scheduling Tests in Automotive R&D Projects.	OR	2005	DBLP DOI BibTeX RDF
12	Catherine Oriat	Jartege: A Tool for Random Generation of Unit Tests for Java Classes.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
12	S. C. Cheung 0001, Samuel T. Chanson, Zhendong Xu	Applying generic timing tests for distributed multimedia software systems.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
12	Uditha Balasooriya, Chan-Kee Low	Competing causes of failure and reliability tests for Weibull lifetimes under type I progressive censoring.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
12	Stephen J. Spinks, Chris D. Chalk, Ian M. Bell, Mark Zwolinski	Generation and Verification of Tests for Analog Circuits Subject to Process Parameter Deviations.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	analog test generation, fault modeling, fault simulation, catastrophic faults, supply current monitoring
12	Krishna Arul, Harsh Kohli	Six Sigma for Software Application of Hypothesis Tests to Software Data.	Softw. Qual. J.	2004	DBLP DOI BibTeX RDF	ANOVA (Analysis of Variance), categorical analysis, comparative methods, cost of quality, cost of poor quality, Global Software Group (GSG), JMP-The Statistical Discovery Software (from SAS Institute), PPM-parts per million, hypothesis test, six-sigma, correspondence analysis
12	Qiang Gu, Alan Marshall 0001	Network management performance analysis and scalability tests: SNMP vs. CORBA.	NOMS (1)	2004	DBLP DOI BibTeX RDF
12	Iosif Antochi, Ben H. H. Juurlink, Stamatis Vassiliadis, Petri Liuha	Scene Management Models and Overlap Tests for Tile-Based Rendering.	DSD	2004	DBLP DOI BibTeX RDF
12	Michael Baldamus, Joachim Parrow, Björn Victor	Spi Calculus Translated to ?--Calculus Preserving May-Tests.	LICS	2004	DBLP DOI BibTeX RDF
12	Jean Piton-Gonçalves, Sandra M. Aluísio, Leandro H. M. de Oliveira, Osvaldo N. Oliveira Jr.	A Learning Environment for English for Academic Purposes Based on Adaptive Tests and Task-Based Systems.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
12	Joel Sommers, Hyungsuk Kim, Paul Barford	Harpoon: a flow-level traffic generator for router and network tests.	SIGMETRICS	2004	DBLP DOI BibTeX RDF	network flows, traffic generation
12	Patrik Kenger	Benefits of Modularity and Module Level Tests.	BASYS	2004	DBLP DOI BibTeX RDF
12	Silviano Rafael, Armando J. Pires, Paulo J. Costa Branco	Performance of a Four Phase Switched Reluctance Motor Speed Control Based On an Adaptive Fuzzy System: Experimental Tests, Analysis and Conclusions.	WSC	2004	DBLP DOI BibTeX RDF
12	Shiori Furihata, Toshikazu Ito, Naoyuki Kamatani	Association Tests and Estimation of Haplotype Frequencies and of Penetrance-Related Parameters in a Case-Control Study.	CSB	2004	DBLP DOI BibTeX RDF
12	Sachin Gangaputra, Donald Geman	Self-Normalized Linear Tests.	CVPR (2)	2004	DBLP DOI BibTeX RDF
12	Shalini Ghosh, F. Joel Ferguson	Estimating detection probability of interconnect opens using stuck-at tests.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	break fault, interconnect open, stuck-at test
12	Nicky Williams, Bruno Marre, Patricia Mouy	On-the-Fly Generation of K-Path Tests for C Functions.	ASE	2004	DBLP DOI BibTeX RDF
12	Daniel H. Steinberg	Using Instructor Written Acceptance Tests Using the Fit Framework.	XP	2003	DBLP DOI BibTeX RDF
12	Masaki Hashizume, Teppei Takeda, Hiroyuki Yotsuyanagi, Takeomi Tamesada, Yukiya Miura, Kozo Kinoshita	A BIST Circuit for IDDQ Tests.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
12	Rosana L. de B. A. Rocha, Leonardo Figueiredo Cardoso, Jano Moreira de Souza	Performance Tests in Data Warehousing ETLM Process for Detection of Changes in Data Origin.	DaWaK	2003	DBLP DOI BibTeX RDF
12	Krzysztof Palacz, Jan Vitek	Java Subtype Tests in Real-Time.	ECOOP	2003	DBLP DOI BibTeX RDF
12	Masanori Hattori, Kenta Cho 0001, Akihiko Ohsuga, Masao Isshiki, Shinichi Honiden	Context-Aware Agent Platform in Ubiquitous Environments and Its Verification Tests.	PerCom	2003	DBLP DOI BibTeX RDF
12	Saori Kawasaki, Tu Bao Ho, Trong Dung Nguyen	Abstraction of Long-Term Changed Tests in Mining Hepatitis Data.	KES	2003	DBLP DOI BibTeX RDF
12	Zhiyuan Wang, Malgorzata Marek-Sadowska, Kun-Han Tsai, Janusz Rajski	Multiple Fault Diagnosis Using n-Detection Tests.	ICCD	2003	DBLP DOI BibTeX RDF
12	Joel Grodstein, Dilip K. Bhavsar, Vijay Bettada, Richard A. Davies	Automatic Generation of Critical-Path Tests for a Partial-Scan Microprocessor.	ICCD	2003	DBLP DOI BibTeX RDF
12	Y. Sampath K. Vetsa, Martin Styner, Stephen M. Pizer, Jeffrey A. Lieberman, Guido Gerig	Caudate Shape Discrimination in Schizophrenia Using Template-Free Non-parametric Tests.	MICCAI (2)	2003	DBLP DOI BibTeX RDF
12	Polina Golland, Bruce Fischl	Permutation Tests for Classification: Towards Statistical Significance in Image-Based Studies.	IPMI	2003	DBLP DOI BibTeX RDF
12	Dimitrios Pantazis, Thomas E. Nichols, Sylvain Baillet, Richard M. Leahy	Spatiotemporal Localization of Significant Activation in MEG Using Permutation Tests.	IPMI	2003	DBLP DOI BibTeX RDF
12	Eli Ben-Sasson, Madhu Sudan 0001, Salil P. Vadhan, Avi Wigderson	Randomness-efficient low degree tests and short PCPs via epsilon-biased sets.	STOC	2003	DBLP DOI BibTeX RDF	property testing, probabilistically checkable proofs, locally testable codes, linearity testing, low degree testing
12	Dannie Durand, David Sankoff	Tests for gene clustering.	RECOMB	2002	DBLP DOI BibTeX RDF
12	Alfredo Benso, Stefano Di Carlo, Giorgio Di Natale, Paolo Prinetto	An Optimal Algorithm for the Automatic Generation of March Tests.	DATE	2002	DBLP DOI BibTeX RDF
12	Christopher Kermorvant, Pierre Dupont	Stochastic Grammatical Inference with Multinomial Tests.	ICGI	2002	DBLP DOI BibTeX RDF
12	Wichian Sirisaengtaksin, Sandeep K. Gupta 0001	Enhanced Crosstalk Fault Model and Methodology to Generate Tests for Arbitrary Inter-core Interconnect Topology.	Asian Test Symposium	2002	DBLP DOI BibTeX RDF
12	Ritu Agarwal, Prabuddha De, Thomas W. Ferratt	Explaining an IT professional's preferred employment duration: empirical tests of a causal model of antecedents.	SIGCPR	2002	DBLP DOI BibTeX RDF	IT human resource management, managing information technology professionals, retention
12	Vladislav Gavrilets, Ioannis Martinos, Bernard Mettler, Eric Feron	Aggressive Maneuvering Flight Tests of a Miniature Robotic Helicopter.	ISER	2002	DBLP DOI BibTeX RDF
12	Gregor McGlaun, Frank Althoff, Björn W. Schuller, Manfred K. Lang	A new technique for adjusting distraction moments in multitasking non-field usability tests.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	distraction task, driving task, operation task, pre-classification, workload, usability engineering, human error
12	Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell	Automatic Generation of Conformance Tests from Message Sequence Charts.	SAM	2002	DBLP DOI BibTeX RDF
12	Karen O. Egiazarian, Radomir S. Stankovic, Jaakko Astola, Heikki Huttunen	Using a spectral technique, genetic algorithms and decision diagrams for finding unconditional table tests.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
12	Jian-Yi Wu, Steven B. Bibyk	Robust design with virtual tests of mixed-signal circuits in VHDL-AMS.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
12	Hiroshi Takahashi, Kewal K. Saluja, Yuzo Takamatsu	An Alternative Method of Generating Tests for Path Delay Faults Using N -Detection Test Sets.	PRDC	2002	DBLP DOI BibTeX RDF
12	Philipp Woelfel	On the Complexity of Integer Multiplication in Branching Programs with Multiple Tests and in Read-Once Branching Programs with Limited Nondeterminism.	CCC	2002	DBLP DOI BibTeX RDF	Lower Bounds, BDDs, Nondeterminism, Branching Programs, Integer Multiplication
12	Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker 0001	Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits.	J. Electron. Test.	2001	DBLP DOI BibTeX RDF	sequential circuit ATPG, single observation time test strategy, multiple observation time test strategy, genetic algorithm, symbolic simulation
12	Shing-Chi Cheung, Samuel T. Chanson, Zhendong Xu	Toward Generic Timing Tests for Distributed Multimedia Software Systems.	ISSRE	2001	DBLP DOI BibTeX RDF
12	Zaid Al-Ars, Ad J. van de Goor	Transient Faults in DRAMs: Concepts, Analysis and Impact on Tests.	MTDT	2001	DBLP DOI BibTeX RDF	detection conditions, memory testing, DRAMs, transient faults, functional fault models, defect simulation
12	Yuval Bistritz	Scattering and immittance type tabular stability tests for 2-D discrete-time systems and their simplification by telepolation.	ISCAS (2)	2001	DBLP DOI BibTeX RDF
12	Tobias Schüle, Albrecht P. Stroele	Scheduling tests for low power built-in self-test.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
12	Simon Ede, Timothy Mount, William Schulze, Robert J. Thomas, Ray Zimmerman	Experimental Tests of Competitive Markets for Electric Power.	HICSS	2001	DBLP DOI BibTeX RDF