Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "testing procedure"
download as .bib file
@article{DBLP:journals/bioinformatics/YangWC24,
author = {Lu Yang and
Pei Wang and
Jun Chen},
title = {2dGBH: Two-dimensional group Benjamini-Hochberg procedure for false
discovery rate control in two-way multiple testing of genomic data},
journal = {Bioinform.},
volume = {40},
number = {2},
year = {2024},
url = {https://doi.org/10.1093/bioinformatics/btae035},
doi = {10.1093/BIOINFORMATICS/BTAE035},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/YangWC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cssc/TsagrisA24,
author = {Michail Tsagris and
Abdulaziz Alenazi},
title = {An investigation of hypothesis testing procedures for circular and
spherical mean vectors},
journal = {Commun. Stat. Simul. Comput.},
volume = {53},
number = {3},
pages = {1387--1408},
year = {2024},
url = {https://doi.org/10.1080/03610918.2022.2045499},
doi = {10.1080/03610918.2022.2045499},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cssc/TsagrisA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/WuH24,
author = {Shu{-}Fei Wu and
Pei{-}Tzu Huang},
title = {The Testing Procedure for the Overall Lifetime Performance Index of
Rayleigh Products in Multiple Production Lines Based on the Progressive
Type {I} Interval Censored Sample},
journal = {Symmetry},
volume = {16},
number = {2},
pages = {195},
year = {2024},
url = {https://doi.org/10.3390/sym16020195},
doi = {10.3390/SYM16020195},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/symmetry/WuH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/GravanteIRD23,
author = {Emanuele Gravante and
Faissal El Idrissi and
Prashanth Ramesh and
Matilde D'Arpino},
title = {A Novel Experimental Testing Setup and Calibration Procedures for
Cylindrical Cell Thermal Models},
journal = {{IEEE} Access},
volume = {11},
pages = {60130--60141},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3285814},
doi = {10.1109/ACCESS.2023.3285814},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/GravanteIRD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ans/GhoshB23,
author = {Riddhi Pratim Ghosh and
Ian Barnett},
title = {Selecting a significance level in sequential testing procedures for
community detection},
journal = {Appl. Netw. Sci.},
volume = {8},
number = {1},
pages = {49},
year = {2023},
url = {https://doi.org/10.1007/s41109-023-00567-2},
doi = {10.1007/S41109-023-00567-2},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ans/GhoshB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/MorganPFFGHJLMMPWT23,
author = {Tamara L. Morgan and
Jensen Pletch and
Emma Faught and
Michelle S. Fortier and
Mary Kate Gazendam and
Kelly Howse and
Rahul Jain and
Kirstin N. Lane and
Kaleigh Maclaren and
Taylor McFadden and
Jeanette C. Prorok and
Zachary J. Weston and
Jennifer R. Tomasone},
title = {Developing and testing the usability, acceptability, and future implementation
of the Whole Day Matters Tool and User Guide for primary care providers
using think-aloud, near-live, and interview procedures},
journal = {{BMC} Medical Informatics Decis. Mak.},
volume = {23},
number = {1},
pages = {57},
year = {2023},
url = {https://doi.org/10.1186/s12911-023-02147-x},
doi = {10.1186/S12911-023-02147-X},
timestamp = {Thu, 20 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/midm/MorganPFFGHJLMMPWT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvcg/SavvidesHOP23,
author = {Rafael Savvides and
Andreas Henelius and
Emilia Oikarinen and
Kai Puolam{\"{a}}ki},
title = {Visual Data Exploration as a Statistical Testing Procedure: Within-View
and Between-View Multiple Comparisons},
journal = {{IEEE} Trans. Vis. Comput. Graph.},
volume = {29},
number = {9},
pages = {3937--3948},
year = {2023},
url = {https://doi.org/10.1109/TVCG.2022.3175532},
doi = {10.1109/TVCG.2022.3175532},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvcg/SavvidesHOP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dgo/SiaperaSWP23,
author = {Maria Siapera and
Andreas Schmitz and
Maria A. Wimmer and
Andriana Prentza},
editor = {David Duenas{-}Cid and
Nadzeya Sabatini and
Loni Hagen and
Hsin{-}chung Liao},
title = {AgInTeF: Agile Interoperability Testing Framework for Orchestrating
Overarching Procedures in Verifying Digital Public Services},
booktitle = {Proceedings of the 24th Annual International Conference on Digital
Government Research, {DGO} 2023, Gda{\'{n}}sk, Poland, July 11-14,
2023},
pages = {514--525},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3598469.3598527},
doi = {10.1145/3598469.3598527},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dgo/SiaperaSWP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cgf/EirichMJSBS22,
author = {Joscha Eirich and
M. M{\"{u}}nch and
Dominik J{\"{a}}ckle and
Michael Sedlmair and
Jakob Bonart and
Tobias Schreck},
title = {RfX: {A} Design Study for the Interactive Exploration of a Random
Forest to Enhance Testing Procedures for Electrical Engines},
journal = {Comput. Graph. Forum},
volume = {41},
number = {6},
pages = {302--315},
year = {2022},
url = {https://doi.org/10.1111/cgf.14452},
doi = {10.1111/CGF.14452},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cgf/EirichMJSBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/GhoshGG22,
author = {Santu Ghosh and
Wenge Guo and
Samiran Ghosh},
title = {A hierarchical testing procedure for three arm non-inferiority trials},
journal = {Comput. Stat. Data Anal.},
volume = {174},
pages = {107521},
year = {2022},
url = {https://doi.org/10.1016/j.csda.2022.107521},
doi = {10.1016/J.CSDA.2022.107521},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csda/GhoshGG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fdata/JanaSMCCE22,
author = {Sayantee Jana and
Mitchell Sutton and
Tatyana Mollayeva and
Vincy Chan and
Angela Colantonio and
Michael David Escobar},
title = {Application of multiple testing procedures for identifying relevant
comorbidities, from a large set, in traumatic brain injury for research
applications utilizing big health-administrative data},
journal = {Frontiers Big Data},
volume = {5},
year = {2022},
url = {https://doi.org/10.3389/fdata.2022.793606},
doi = {10.3389/FDATA.2022.793606},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fdata/JanaSMCCE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmlr/CockayneGOST22,
author = {Jon Cockayne and
Matthew M. Graham and
Chris J. Oates and
Timothy John Sullivan and
Onur Teymur},
title = {Testing Whether a Learning Procedure is Calibrated},
journal = {J. Mach. Learn. Res.},
volume = {23},
pages = {203:1--203:36},
year = {2022},
url = {http://jmlr.org/papers/v23/21-1065.html},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmlr/CockayneGOST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mipro/HoljevacJ22,
author = {Maria Holjevac and
Tomislav Jakopec},
editor = {Neven Vrcek and
Marko Koricic and
Vera Gradisnik and
Karolj Skala and
Zeljka Car and
Marina Cicin{-}Sain and
Snjezana Babic and
Vlado Sruk and
Dejan Skvorc and
Alan Jovic and
Stjepan Gros and
Boris Vrdoljak and
Mladen Mauher and
Edvard Tijan and
Tihomir Katulic and
Juraj Petrovic and
Tihana Galinac Grbac and
Benjamin Kusen},
title = {Quality Assurance Procedures in Croatian {IT} Companies: Study into
Employer's Perceptions and Experiences in Software Solution Testing},
booktitle = {45th Jubilee International Convention on Information, Communication
and Electronic Technology, {MIPRO} 2022, Opatija, Croatia, May 23-27,
2022},
pages = {1132--1137},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/MIPRO55190.2022.9803346},
doi = {10.23919/MIPRO55190.2022.9803346},
timestamp = {Sun, 03 Jul 2022 16:49:55 +0200},
biburl = {https://dblp.org/rec/conf/mipro/HoljevacJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PruzinecNBGL22,
author = {Jakub Pruzinec and
Quynh Anh Nguyen and
Adrian Baldwin and
Jonathan Griffin and
Yang Liu},
editor = {{\'{A}}kos Kiss and
Beatriz Mar{\'{\i}}n and
Mehrdad Saadatmand},
title = {{KUBO:} a framework for automated efficacy testing of anti-virus behavioral
detection with procedure-based malware emulation},
booktitle = {Proceedings of the 13th International Workshop on Automating Test
Case Design, Selection and Evaluation, {A-TEST} 2022, Singapore, Singapore,
November 17-18, 2022},
pages = {37--44},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3548659.3561307},
doi = {10.1145/3548659.3561307},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/PruzinecNBGL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-07239,
author = {Marc Ditzhaus and
Tamara Fernandez and
Nicol{\'{a}}s Rivera},
title = {A Multiple kernel testing procedure for non-proportional hazards in
factorial designs},
journal = {CoRR},
volume = {abs/2206.07239},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.07239},
doi = {10.48550/ARXIV.2206.07239},
eprinttype = {arXiv},
eprint = {2206.07239},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-07239.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/PardoM21,
author = {Leandro Pardo and
Nirian Mart{\'{\i}}n},
title = {Robust Procedures for Estimating and Testing in the Framework of Divergence
Measures},
journal = {Entropy},
volume = {23},
number = {4},
pages = {430},
year = {2021},
url = {https://doi.org/10.3390/e23040430},
doi = {10.3390/E23040430},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entropy/PardoM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/WuC21a,
author = {Shu{-}Fei Wu and
Wei{-}Tsung Chang},
title = {Bayesian Testing Procedure on the Lifetime Performance Index of Products
Following Chen Lifetime Distribution Based on the Progressive Type-II
Censored Sample},
journal = {Symmetry},
volume = {13},
number = {8},
pages = {1322},
year = {2021},
url = {https://doi.org/10.3390/sym13081322},
doi = {10.3390/SYM13081322},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/symmetry/WuC21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/PudlitzBV21,
author = {Florian Pudlitz and
Florian Brokhausen and
Andreas Vogelsang},
editor = {Anne Koziolek and
Ina Schaefer and
Christoph Seidl},
title = {What Am {I} Testing and Where? Comparing Testing Procedures Based
on Lightweight Requirements Annotations},
booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik,
22.-26. Februar 2021, Braunschweig/Virtuell},
series = {{LNI}},
volume = {{P-310}},
pages = {87--89},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2021},
url = {https://doi.org/10.18420/SE2021\_32},
doi = {10.18420/SE2021\_32},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/PudlitzBV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/SzurkeDC21,
author = {Szabolcs Kocsis Sz{\"{u}}rke and
Adrienn Dineva and
Bence Csom{\'{o}}s},
title = {Complex testing procedure for 18650 batteries},
publisher = {{IEEE} DataPort},
year = {2021},
month = apr,
howpublished = {\url{https://doi.org/10.21227/gg24-sj16}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.21227/gg24-sj16},
doi = {10.21227/GG24-SJ16},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/SzurkeDC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmm/MallickSX20,
author = {Avishek Mallick and
Perla Subbaiah and
George Xia},
title = {Modified testing procedures and multiple comparison methods for {ANOVA}
with {AR(1)} correlated errors},
journal = {Comput. Math. Methods},
volume = {2},
number = {2},
year = {2020},
url = {https://doi.org/10.1002/cmm4.1076},
doi = {10.1002/CMM4.1076},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cmm/MallickSX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/TangLLLP20,
author = {Shaomin Tang and
Guixiong Liu and
Zhiyu Lin and
Xiaobing Li and
Minqiang Pan},
title = {A Test Procedure Optimization Method for an Industrial Robot Servo
System on an Integrated Testing Platform},
journal = {Complex.},
volume = {2020},
pages = {7906019:1--7906019:12},
year = {2020},
url = {https://doi.org/10.1155/2020/7906019},
doi = {10.1155/2020/7906019},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/complexity/TangLLLP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/PudlitzBV20,
author = {Florian Pudlitz and
Florian Brokhausen and
Andreas Vogelsang},
title = {What am {I} testing and where? Comparing testing procedures based
on lightweight requirements annotations},
journal = {Empir. Softw. Eng.},
volume = {25},
number = {4},
pages = {2809--2843},
year = {2020},
url = {https://doi.org/10.1007/s10664-020-09815-w},
doi = {10.1007/S10664-020-09815-W},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/PudlitzBV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/GhafoorMS20,
author = {Maryam Abdul Ghafoor and
Muhammad Suleman Mahmood and
Junaid Haroon Siddiqui},
title = {Extending symbolic execution for automated testing of stored procedures},
journal = {Softw. Qual. J.},
volume = {28},
number = {2},
pages = {853--887},
year = {2020},
url = {https://doi.org/10.1007/s11219-019-09453-6},
doi = {10.1007/S11219-019-09453-6},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/GhafoorMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdts/SimushkinF20,
author = {Sergei Simushkin and
Elena Fedotova},
title = {Developing a Multiple Testing Procedure in the D-Posterior Approach
using the {R} Software Environment},
booktitle = {{IEEE} East-West Design {\&} Test Symposium, {EWDTS} 2020, Varna,
Bulgaria, September 4-7, 2020},
pages = {1--4},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EWDTS50664.2020.9224953},
doi = {10.1109/EWDTS50664.2020.9224953},
timestamp = {Thu, 22 Oct 2020 12:13:23 +0200},
biburl = {https://dblp.org/rec/conf/ewdts/SimushkinF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cstat/Wang19,
author = {Li Wang},
title = {Weighted multiple testing procedure for grouped hypotheses with \emph{k}-FWER
control},
journal = {Comput. Stat.},
volume = {34},
number = {2},
pages = {885--909},
year = {2019},
url = {https://doi.org/10.1007/s00180-018-0833-8},
doi = {10.1007/S00180-018-0833-8},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cstat/Wang19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/intr/FrankeS19,
author = {George Franke and
Marko Sarstedt},
title = {Heuristics versus statistics in discriminant validity testing: a comparison
of four procedures},
journal = {Internet Res.},
volume = {29},
number = {3},
pages = {430--447},
year = {2019},
url = {https://doi.org/10.1108/IntR-12-2017-0515},
doi = {10.1108/INTR-12-2017-0515},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/intr/FrankeS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ma/UmlauftPKP19,
author = {Maria Umlauft and
Marius Placzek and
Frank Konietschke and
Markus Pauly},
title = {Wild bootstrapping rank-based procedures: Multiple testing in nonparametric
factorial repeated measures designs},
journal = {J. Multivar. Anal.},
volume = {171},
pages = {176--192},
year = {2019},
url = {https://doi.org/10.1016/j.jmva.2018.12.005},
doi = {10.1016/J.JMVA.2018.12.005},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ma/UmlauftPKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/make/Emmert-StreibD19e,
author = {Frank Emmert{-}Streib and
Matthias Dehmer},
title = {Large-Scale Simultaneous Inference with Hypothesis Testing: Multiple
Testing Procedures in Practice},
journal = {Mach. Learn. Knowl. Extr.},
volume = {1},
number = {2},
pages = {653--683},
year = {2019},
url = {https://doi.org/10.3390/make1020039},
doi = {10.3390/MAKE1020039},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/make/Emmert-StreibD19e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/ShiC19,
author = {Wen Shi and
Xi Chen},
title = {Controlled Morris method: {A} new factor screening approach empowered
by a distribution-free sequential multiple testing procedure},
journal = {Reliab. Eng. Syst. Saf.},
volume = {189},
pages = {299--314},
year = {2019},
url = {https://doi.org/10.1016/j.ress.2019.04.038},
doi = {10.1016/J.RESS.2019.04.038},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/ShiC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sadm/Montero-MansoV19,
author = {Pablo Montero{-}Manso and
Jos{\'{e}} Antonio Vilar},
title = {Two-sample homogeneity testing: {A} procedure based on comparing distributions
of interpoint distances},
journal = {Stat. Anal. Data Min.},
volume = {12},
number = {3},
pages = {234--252},
year = {2019},
url = {https://doi.org/10.1002/sam.11417},
doi = {10.1002/SAM.11417},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sadm/Montero-MansoV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/DavisGLWM19,
author = {Sharon E. Davis and
Robert A. Greevy Jr. and
Thomas A. Lasko and
Colin G. Walsh and
Michael E. Matheny},
title = {Comparison of Prediction Model Performance Updating Protocols: Using
a Data-Driven Testing Procedure to Guide Updating},
booktitle = {{AMIA} 2019, American Medical Informatics Association Annual Symposium,
Washington, DC, USA, November 16-20, 2019},
publisher = {{AMIA}},
year = {2019},
url = {https://knowledge.amia.org/69862-amia-1.4570936/t005-1.4574828/t005-1.4574829/3203540-1.4574917/3203079-1.4574914},
timestamp = {Wed, 17 Apr 2024 11:47:08 +0200},
biburl = {https://dblp.org/rec/conf/amia/DavisGLWM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dyspan/KatagiriF19a,
author = {Keita Katagiri and
Takeo Fujii},
title = {Radio Environment Map Updating Procedure Based on Hypothesis Testing},
booktitle = {2019 {IEEE} International Symposium on Dynamic Spectrum Access Networks,
DySPAN 2019, Newark, NJ, USA, November 11-14, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/DySPAN.2019.8935724},
doi = {10.1109/DYSPAN.2019.8935724},
timestamp = {Mon, 13 Jan 2020 18:57:36 +0100},
biburl = {https://dblp.org/rec/conf/dyspan/KatagiriF19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/ZanetPRPB19,
author = {Marco Zanet and
Edoardo Maria Polo and
Giulia Rocco and
Alessia Paglialonga and
Riccardo Barbieri},
title = {Development and preliminary evaluation of a novel adaptive staircase
procedure for automated speech-in-noise testing},
booktitle = {41st Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2019, Berlin, Germany, July 23-27,
2019},
pages = {6991--6994},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EMBC.2019.8857492},
doi = {10.1109/EMBC.2019.8857492},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/ZanetPRPB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelica/EnsburyBD19,
author = {Theodor Ensbury and
David Briant and
Mike Dempsey},
editor = {Anton Haumer},
title = {Virtual Proving Ground Testing: Deploying Dymola and Modelica to recreate
Full Vehicle Proving Ground Testing Procedures},
booktitle = {Proceedings of the 13th International Modelica Conference, Regensburg,
Germany, March 4-6, 2019},
series = {Link{\"{o}}ping Electronic Conference Proceedings},
volume = {157},
pages = {157:075},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2019},
url = {https://doi.org/10.3384/ecp19157725},
doi = {10.3384/ECP19157725},
timestamp = {Mon, 08 Feb 2021 13:26:40 +0100},
biburl = {https://dblp.org/rec/conf/modelica/EnsburyBD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/HeZZ18,
author = {Yong He and
Xinsheng Zhang and
Liwen Zhang},
title = {Variable selection for high dimensional Gaussian copula regression
model: An adaptive hypothesis testing procedure},
journal = {Comput. Stat. Data Anal.},
volume = {124},
pages = {132--150},
year = {2018},
url = {https://doi.org/10.1016/j.csda.2018.03.003},
doi = {10.1016/J.CSDA.2018.03.003},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csda/HeZZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cssc/WuCCCL18,
author = {Shu{-}Fei Wu and
Tzu{-}Chin Chen and
Wen{-}Jui Chang and
Chia{-}Wei Chang and
Chen Lin},
title = {A hypothesis testing procedure for the evaluation on the lifetime
performance index of products with Burr {XII} distribution under progressive
type {I} interval censoring},
journal = {Commun. Stat. Simul. Comput.},
volume = {47},
number = {9},
pages = {2670--2683},
year = {2018},
url = {https://doi.org/10.1080/03610918.2017.1359282},
doi = {10.1080/03610918.2017.1359282},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cssc/WuCCCL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jco/ZhangCX18,
author = {Guiqing Zhang and
Yongxi Cheng and
Yinfeng Xu},
title = {A randomized competitive group testing procedure},
journal = {J. Comb. Optim.},
volume = {35},
number = {3},
pages = {667--683},
year = {2018},
url = {https://doi.org/10.1007/s10878-017-0190-5},
doi = {10.1007/S10878-017-0190-5},
timestamp = {Fri, 06 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jco/ZhangCX18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qre/Scagliarini18,
author = {Michele Scagliarini},
title = {A sequential hypothesis testing procedure for the process capability
index Cpk},
journal = {Qual. Reliab. Eng. Int.},
volume = {34},
number = {5},
pages = {791--806},
year = {2018},
url = {https://doi.org/10.1002/qre.2290},
doi = {10.1002/QRE.2290},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qre/Scagliarini18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/DavisGM18,
author = {Sharon E. Davis and
Robert A. Greevy Jr. and
Michael E. Matheny},
title = {Developing a Testing Procedure to Select Model Updating Methods},
booktitle = {{AMIA} 2018, American Medical Informatics Association Annual Symposium,
San Francisco, CA, November 3-7, 2018},
publisher = {{AMIA}},
year = {2018},
url = {https://knowledge.amia.org/67852-amia-1.4259402/t006-1.4263223/t006-1.4263224/2974909-1.4263543/2976558-1.4263540},
timestamp = {Wed, 17 Apr 2024 11:47:15 +0200},
biburl = {https://dblp.org/rec/conf/amia/DavisGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/i2mtc/DEmiliaGCC18,
author = {Giulio D'Emilia and
David Di Gasbarro and
Marcantonio Catelani and
Lorenzo Ciani},
title = {A proposal of uncertainty assessment for data of environmental testing:
Using a machine learning procedure},
booktitle = {{IEEE} International Instrumentation and Measurement Technology Conference,
{I2MTC} 2018, Houston, TX, USA, May 14-17, 2018},
pages = {1--6},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/I2MTC.2018.8409597},
doi = {10.1109/I2MTC.2018.8409597},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/i2mtc/DEmiliaGCC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbet/SanpanichKSPPAb18,
author = {Arthorn Sanpanich and
Yongyuth Kajornpredanon and
Watchara Sroykham and
Kuson Petsarb and
Chaaim Phairoh and
Wirasak Angkhananuwat and
Pimolpatra bunluechockchai and
Pattarapong Phasukkit},
title = {A Study of an Intubated Tracheal Air Flow in a Cuff-Leak Testing Procedure},
booktitle = {Proceedings of the 2018 8th International Conference on Biomedical
Engineering and Technology, {ICBET} 2018, Bali, Indonesia, April 23-25,
2018},
pages = {76--80},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3208955.3208957},
doi = {10.1145/3208955.3208957},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icbet/SanpanichKSPPAb18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssip/CraciunescuMDD18,
author = {Mihai Craciunescu and
Stefan Alexandru Mocanu and
Cristian Dobre and
Radu Dobrescu},
title = {Robot Based Automated Testing Procedure Dedicated to Mobile Devices},
booktitle = {25th International Conference on Systems, Signals and Image Processing,
{IWSSIP} 2018, Maribor, Slovenia, June 20-22, 2018},
pages = {1--4},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IWSSIP.2018.8439614},
doi = {10.1109/IWSSIP.2018.8439614},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssip/CraciunescuMDD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-02078,
author = {Adrien Saumard and
Fabien Navarro},
title = {Model Selection as a Multiple Testing Procedure: Improving Akaike's
Information Criterion},
journal = {CoRR},
volume = {abs/1803.02078},
year = {2018},
url = {http://arxiv.org/abs/1803.02078},
eprinttype = {arXiv},
eprint = {1803.02078},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-02078.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/LiXZFD17,
author = {Dongmei Li and
Zidian Xie and
Martin S. Zand and
Thomas Fogg and
Timothy D. Dye},
title = {Bon-EV: an improved multiple testing procedure for controlling false
discovery rates},
journal = {{BMC} Bioinform.},
volume = {18},
number = {1},
pages = {1:1--1:10},
year = {2017},
url = {https://doi.org/10.1186/s12859-016-1414-x},
doi = {10.1186/S12859-016-1414-X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/LiXZFD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cssc/SaidNT17,
author = {Khamis K. Said and
Wei Ning and
Yubin Tian},
title = {Likelihood procedure for testing changes in skew normal model with
applications to stock returns},
journal = {Commun. Stat. Simul. Comput.},
volume = {46},
number = {9},
pages = {6790--6802},
year = {2017},
url = {https://doi.org/10.1080/03610918.2016.1212067},
doi = {10.1080/03610918.2016.1212067},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cssc/SaidNT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cstat/WuL17,
author = {Shu{-}Fei Wu and
Jin{-}Yang Lu},
title = {Computational testing algorithmic procedure of assessment for lifetime
performance index of Pareto products under progressive type {I} interval
censoring},
journal = {Comput. Stat.},
volume = {32},
number = {2},
pages = {647--666},
year = {2017},
url = {https://doi.org/10.1007/s00180-017-0717-3},
doi = {10.1007/S00180-017-0717-3},
timestamp = {Mon, 29 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cstat/WuL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcam/WuL17,
author = {Shu{-}Fei Wu and
Meng{-}Ju Lin},
title = {Computational testing algorithmic procedure of assessment for lifetime
performance index of products with Weibull distribution under progressive
type {I} interval censoring},
journal = {J. Comput. Appl. Math.},
volume = {311},
pages = {364--374},
year = {2017},
url = {https://doi.org/10.1016/j.cam.2016.08.005},
doi = {10.1016/J.CAM.2016.08.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcam/WuL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsw/Lai17,
author = {Sen{-}Tarng Lai},
title = {Test Case Quality Management Procedure for Enhancing the Efficiency
of {IID} Continuous Testing},
journal = {J. Softw.},
volume = {12},
number = {10},
pages = {794--806},
year = {2017},
url = {https://doi.org/10.17706/jsw.12.10.794-806},
doi = {10.17706/JSW.12.10.794-806},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsw/Lai17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/GunaDP17,
author = {Joze Guna and
Emilija Stojmenova Duh and
Matevz Pogacnik},
title = {Users' viewpoint of usability and user experience testing procedure
- gaining methodological insights in a case of an interactive HbbTV
application},
journal = {Multim. Tools Appl.},
volume = {76},
number = {15},
pages = {16125--16143},
year = {2017},
url = {https://doi.org/10.1007/s11042-016-3898-9},
doi = {10.1007/S11042-016-3898-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mta/GunaDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/saem/ChaturvediM17,
author = {Ajit Chaturvedi and
Ananya Malhotra},
title = {Estimation and testing procedures for the reliability functions of
a family of lifetime distributions based on records},
journal = {Int. J. Syst. Assur. Eng. Manag.},
volume = {8},
number = {2s},
pages = {836--848},
year = {2017},
url = {https://doi.org/10.1007/s13198-016-0531-2},
doi = {10.1007/S13198-016-0531-2},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/saem/ChaturvediM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahfe/FrancaNS17,
author = {Ana Carol Pontes de Fran{\c{c}}a and
J. Pereira Neto and
Marcelo M{\'{a}}rcio Soares},
editor = {Francisco Rebelo and
Marcelo M{\'{a}}rcio Soares},
title = {Methods and Procedures to Usability Testing in Virtual Reality Systems},
booktitle = {Advances in Ergonomics in Design - Proceedings of the {AHFE} 2017
International Conference on Ergonomics in Design, July 17-21, 2017,
The Westin Bonaventure Hotel, Los Angeles, California, {USA}},
series = {Advances in Intelligent Systems and Computing},
volume = {588},
pages = {45--51},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60582-1\_5},
doi = {10.1007/978-3-319-60582-1\_5},
timestamp = {Wed, 02 Aug 2023 09:02:07 +0200},
biburl = {https://dblp.org/rec/conf/ahfe/FrancaNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amps/FaiferLOTZ17,
author = {Marco Faifer and
Christian Laurano and
Roberto Ottoboni and
Sergio Toscani and
Michele Zanoni},
title = {Voltage Transducers Testing Procedure Based on the Best Linear Approximation},
booktitle = {{IEEE} International Workshop on Applied Measurements for Power Systems,
{AMPS} 2017, Liverpool, United Kingdom, September 20-22, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/AMPS.2017.8078326},
doi = {10.1109/AMPS.2017.8078326},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amps/FaiferLOTZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dateso/KrejciN17,
author = {Lukas Krejci and
Jir{\'{\i}} Nov{\'{a}}k},
editor = {Karel Richta and
Pavel Moravec},
title = {Framework and Automated Prioritization Procedure for Model-Based Testing
of Automotive Distributed Systems},
booktitle = {Proceedings of the Dateso 2017 Annual International Workshop on DAtabases,
TExts, Specifications and Objects, Jihlava, Czech Republic, April
11, 2017},
pages = {31--42},
publisher = {Czech Technical University in Prague},
year = {2017},
timestamp = {Sat, 18 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dateso/KrejciN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/ShiC17,
author = {Wen Shi and
Xi Chen},
title = {Controlled Morris method: {A} new distribution-free sequential testing
procedure for factor screening},
booktitle = {2017 Winter Simulation Conference, {WSC} 2017, Las Vegas, NV, USA,
December 3-6, 2017},
pages = {1820--1831},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/WSC.2017.8247919},
doi = {10.1109/WSC.2017.8247919},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsc/ShiC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Hauptmann16,
author = {Benedikt Hauptmann},
title = {Reducing System Testing Effort by Focusing on Commonalities in Test
Procedures},
school = {Technical University Munich, Germany},
year = {2016},
url = {https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20160714-1294074-1-0},
urn = {urn:nbn:de:bvb:91-diss-20160714-1294074-1-0},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Hauptmann16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/MadarB16,
author = {Vered Madar and
Sandra Batista},
title = {FastLSU: a more practical approach for the Benjamini-Hochberg {FDR}
controlling procedure for huge-scale testing problems},
journal = {Bioinform.},
volume = {32},
number = {11},
pages = {1716--1723},
year = {2016},
url = {https://doi.org/10.1093/bioinformatics/btw029},
doi = {10.1093/BIOINFORMATICS/BTW029},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/MadarB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/GrandhiGP16,
author = {Anjana Grandhi and
Wenge Guo and
Shyamal D. Peddada},
title = {A multiple testing procedure for multi-dimensional pairwise comparisons
with application to gene expression studies},
journal = {{BMC} Bioinform.},
volume = {17},
pages = {104},
year = {2016},
url = {https://doi.org/10.1186/s12859-016-0937-5},
doi = {10.1186/S12859-016-0937-5},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/GrandhiGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/CostantiniS16,
author = {Mauro Costantini and
Amit Sen},
title = {A simple testing procedure for unit root and model specification},
journal = {Comput. Stat. Data Anal.},
volume = {102},
pages = {37--54},
year = {2016},
url = {https://doi.org/10.1016/j.csda.2016.04.001},
doi = {10.1016/J.CSDA.2016.04.001},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csda/CostantiniS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mcs/WuL16,
author = {Shu{-}Fei Wu and
Ying{-}Po Lin},
title = {Computational testing algorithmic procedure of assessment for lifetime
performance index of products with one-parameter exponential distribution
under progressive type {I} interval censoring},
journal = {Math. Comput. Simul.},
volume = {120},
pages = {79--90},
year = {2016},
url = {https://doi.org/10.1016/j.matcom.2015.06.013},
doi = {10.1016/J.MATCOM.2015.06.013},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mcs/WuL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/EusebioCS16,
author = {Lidia Eusebio and
Laura Capelli and
Selena Sironi},
title = {Electronic Nose Testing Procedure for the Definition of Minimum Performance
Requirements for Environmental Odor Monitoring},
journal = {Sensors},
volume = {16},
number = {9},
pages = {1548},
year = {2016},
url = {https://doi.org/10.3390/s16091548},
doi = {10.3390/S16091548},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/EusebioCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/ToppiMRFBA16,
author = {Jlenia Toppi and
Donatella Mattia and
Monica Risetti and
Rita Formisano and
Fabio Babiloni and
Laura Astolfi},
title = {Testing the Significance of Connectivity Networks: Comparison of Different
Assessing Procedures},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {63},
number = {12},
pages = {2461--2473},
year = {2016},
url = {https://doi.org/10.1109/TBME.2016.2621668},
doi = {10.1109/TBME.2016.2621668},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbe/ToppiMRFBA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmmm/ShanAY15,
author = {Guogen Shan and
Amei Amei and
Daniel Young},
title = {Efficient Noninferiority Testing Procedures for Simultaneously Assessing
Sensitivity and Specificity of Two Diagnostic Tests},
journal = {Comput. Math. Methods Medicine},
volume = {2015},
pages = {128930:1--128930:7},
year = {2015},
url = {https://doi.org/10.1155/2015/128930},
doi = {10.1155/2015/128930},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cmmm/ShanAY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cssc/HanAT15,
author = {Seungbong Han and
Adin{-}Cristian Andrei and
Kam{-}Wah Tsui},
title = {Efficient Stratified Testing Procedure for a False Discovery Rate},
journal = {Commun. Stat. Simul. Comput.},
volume = {44},
number = {5},
pages = {1117--1125},
year = {2015},
url = {https://doi.org/10.1080/03610918.2013.809097},
doi = {10.1080/03610918.2013.809097},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cssc/HanAT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amps/CastelloMPS15,
author = {Paolo Castello and
Carlo Muscas and
Paolo Attilio Pegoraro and
Sara Sulis},
title = {Critical analysis of {PMU} testing procedures for step response evaluation},
booktitle = {{IEEE} International Workshop on Applied Measurements for Power Systems,
{AMPS} 2015, Aachen, Germany, September 23-25, 2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/AMPS.2015.7312735},
doi = {10.1109/AMPS.2015.7312735},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/amps/CastelloMPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DupuisBFNR15,
author = {Sophie Dupuis and
Papa{-}Sidi Ba and
Marie{-}Lise Flottes and
Giorgio Di Natale and
Bruno Rouzeyre},
editor = {Wolfgang Nebel and
David Atienza},
title = {New testing procedure for finding insertion sites of stealthy hardware
trojans},
booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
9-13, 2015},
pages = {776--781},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2755930},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/DupuisBFNR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/MohacsiFB15,
author = {Stefan Mohacsi and
Michael Felderer and
Armin Beer},
title = {Estimating the Cost and Benefit of Model-Based Testing: {A} Decision
Support Procedure for the Application of Model-Based Testing in Industry},
booktitle = {41st Euromicro Conference on Software Engineering and Advanced Applications,
{EUROMICRO-SEAA} 2015, Madeira, Portugal, August 26-28, 2015},
pages = {382--389},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SEAA.2015.18},
doi = {10.1109/SEAA.2015.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/MohacsiFB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cstat/HiekeBNS14,
author = {Stefanie Hieke and
Harald Binder and
Alexandra Nieters and
Martin Schumacher},
title = {minPtest: a resampling based gene region-level testing procedure for
genetic case-control studies},
journal = {Comput. Stat.},
volume = {29},
number = {1},
pages = {51--63},
year = {2014},
url = {https://doi.org/10.1007/s00180-012-0391-4},
doi = {10.1007/S00180-012-0391-4},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cstat/HiekeBNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dlib/BehnkGGA14,
author = {Rebecca Behnk and
Karina Georgi and
Regine Granzow and
Lovis Atze},
title = {Testing the HathiTrust Copyright Search Protocol in Germany: {A} Pilot
Project on Procedures and Resources},
journal = {D Lib Mag.},
volume = {20},
number = {9/10},
year = {2014},
url = {https://doi.org/10.1045/september2014-behnk},
doi = {10.1045/SEPTEMBER2014-BEHNK},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dlib/BehnkGGA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jco/ChengX14,
author = {Yongxi Cheng and
Yinfeng Xu},
title = {An efficient {FPRAS} type group testing procedure to approximate the
number of defectives},
journal = {J. Comb. Optim.},
volume = {27},
number = {2},
pages = {302--314},
year = {2014},
url = {https://doi.org/10.1007/s10878-012-9516-5},
doi = {10.1007/S10878-012-9516-5},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jco/ChengX14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ma/HabigerP14,
author = {Joshua D. Habiger and
Edsel A. Pe{\~{n}}a},
title = {Compound p-value statistics for multiple testing procedures},
journal = {J. Multivar. Anal.},
volume = {126},
pages = {153--166},
year = {2014},
url = {https://doi.org/10.1016/j.jmva.2014.01.007},
doi = {10.1016/J.JMVA.2014.01.007},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ma/HabigerP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/thms/DuffeyF14,
author = {Romney B. Duffey and
Lance Fiondella},
title = {Software, Hardware, and Procedure Reliability by Testing and Verification:
Evidence of Learning Trends},
journal = {{IEEE} Trans. Hum. Mach. Syst.},
volume = {44},
number = {3},
pages = {395--405},
year = {2014},
url = {https://doi.org/10.1109/THMS.2014.2306932},
doi = {10.1109/THMS.2014.2306932},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/thms/DuffeyF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CerritoDG14,
author = {Serenella Cerrito and
Am{\'{e}}lie David and
Valentin Goranko},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Optimal Tableaux-Based Decision Procedure for Testing Satisfiability
in the Alternating-Time Temporal Logic {ATL+}},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {277--291},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_21},
doi = {10.1007/978-3-319-08587-6\_21},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/CerritoDG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Ranieri14,
author = {Gianfrancesco Ranieri},
title = {Planning of Prioritized Test Procedures in Large Integrated Systems:
Best Strategy of Defect Discovery and Early Stop of Testing Session,
The Selex-ES Experience},
booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
pages = {112--113},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISSREW.2014.106},
doi = {10.1109/ISSREW.2014.106},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/Ranieri14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miigp/DillonBFWLWFW14,
author = {Neal P. Dillon and
Ramya Balachandran and
Antoine Motte dit Falisse and
George B. Wanna and
Robert F. Labadie and
Thomas J. Withrow and
J. Michael Fitzpatrick and
Robert J. Webster III},
editor = {Ziv R. Yaniv and
David R. Holmes III},
title = {Preliminary testing of a compact bone-attached robot for otologic
surgery},
booktitle = {Medical Imaging 2014: Image-Guided Procedures, Robotic Interventions,
and Modeling, San Diego, California, United States, 15-20 February
2014},
series = {{SPIE} Proceedings},
volume = {9036},
pages = {903614},
publisher = {{SPIE}},
year = {2014},
url = {https://doi.org/10.1117/12.2043875},
doi = {10.1117/12.2043875},
timestamp = {Wed, 22 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/miigp/DillonBFWLWFW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/PoundsG13,
author = {Stan Pounds and
Cuilan Lani Gao},
title = {Empirical Bayesian selection of hypothesis testing procedures for
analysis of digital gene expression data},
journal = {{BMC} Bioinform.},
volume = {14},
number = {{S-17}},
pages = {A21},
year = {2013},
url = {https://doi.org/10.1186/1471-2105-14-S17-A21},
doi = {10.1186/1471-2105-14-S17-A21},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/PoundsG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/QiuWH13,
author = {Xing Qiu and
Hulin Wu and
Rui Hu},
title = {The impact of quantile and rank normalization procedures on the testing
power of gene differential expression analysis},
journal = {{BMC} Bioinform.},
volume = {14},
pages = {124},
year = {2013},
url = {https://doi.org/10.1186/1471-2105-14-124},
doi = {10.1186/1471-2105-14-124},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/QiuWH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmmm/LiD13,
author = {Dongmei Li and
Timothy D. Dye},
title = {Power and Stability Properties of Resampling-Based Multiple Testing
Procedures with Applications to Gene Oncology Studies},
journal = {Comput. Math. Methods Medicine},
volume = {2013},
pages = {610297:1--610297:11},
year = {2013},
url = {https://doi.org/10.1155/2013/610297},
doi = {10.1155/2013/610297},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cmmm/LiD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jossac/HeXZ13,
author = {Daojiang He and
Xingzhong Xu and
Jianxin Zhao},
title = {A new procedure for testing normality based on the \emph{L} \({}_{\mbox{2}}\)
Wasserstein distance},
journal = {J. Syst. Sci. Complex.},
volume = {26},
number = {4},
pages = {572--582},
year = {2013},
url = {https://doi.org/10.1007/s11424-013-1221-7},
doi = {10.1007/S11424-013-1221-7},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jossac/HeXZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdts/KharchenkoSOI13,
author = {Vyacheslav S. Kharchenko and
Volodymyr Sklyar and
Oleg Odarushchenko and
A. Ivasuyk},
title = {Fault-injection testing: FIT-ability, optimal procedure and tool for
FPGA-based systems {SIL} certification},
booktitle = {East-West Design {\&} Test Symposium, {EWDTS} 2013, Rostov-on-Don,
Russia, September 27-30, 2013},
pages = {1--5},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/EWDTS.2013.6673129},
doi = {10.1109/EWDTS.2013.6673129},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ewdts/KharchenkoSOI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ghtc/KhanRSA13,
author = {Sabbir A. Khan and
Rafiur Rahman and
Farah Shabnam and
A. K. M. Abdul Malek Azad},
title = {Low cost cylindrical lumen testing procedure in Bangladesh perspective},
booktitle = {2013 {IEEE} Global Humanitarian Technology Conference, {GHTC} 2013,
San Jose, CA, USA, October 20-23, 2013},
pages = {78--81},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/GHTC.2013.6713658},
doi = {10.1109/GHTC.2013.6713658},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/ghtc/KhanRSA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/CheifetzSAVC13,
author = {Nicolas Cheifetz and
Allou Sam{\'{e}} and
Patrice Aknin and
Emmanuel De Verdalle and
Damien Chenu},
title = {A Sequential Testing Procedure for Multiple Change-Point Detection
in a Stream of Pneumatic Door Signatures},
booktitle = {12th International Conference on Machine Learning and Applications,
{ICMLA} 2013, Miami, FL, USA, December 4-7, 2013, Volume 1},
pages = {117--122},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICMLA.2013.27},
doi = {10.1109/ICMLA.2013.27},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmla/CheifetzSAVC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/KotsampopoulosH13,
author = {Panos Kotsampopoulos and
Nikos D. Hatziargyriou and
Benoit Bletterie and
Georg Lauss and
Thomas I. Strasser},
title = {Introduction of advanced testing procedures including {PHIL} for {DG}
providing ancillary services},
booktitle = {{IECON} 2013 - 39th Annual Conference of the {IEEE} Industrial Electronics
Society, Vienna, Austria, November 10-13, 2013},
pages = {5398--5404},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IECON.2013.6700014},
doi = {10.1109/IECON.2013.6700014},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/KotsampopoulosH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdes/JamroT13,
author = {Marcin Jamro and
Bartosz Trybus},
editor = {Zdenek Slanina},
title = {Testing Procedure for {IEC} 61131-3 Control Software},
booktitle = {12th {IFAC} Conference on Programmable Devices and Embedded Systems,
PDeS 2013, Ostrava, Czech Republic, September 25-27, 2013},
pages = {192--197},
publisher = {International Federation of Automatic Control},
year = {2013},
url = {https://doi.org/10.3182/20130925-3-CZ-3023.00018},
doi = {10.3182/20130925-3-CZ-3023.00018},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdes/JamroT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biodatamining/GuiTB12,
author = {Jiang Gui and
Tor D. Tosteson and
Mark E. Borsuk},
title = {Weighted multiple testing procedures for genomic studies},
journal = {BioData Min.},
volume = {5},
pages = {4},
year = {2012},
url = {https://doi.org/10.1186/1756-0381-5-4},
doi = {10.1186/1756-0381-5-4},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biodatamining/GuiTB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cssc/GiancristofaroBBCS12,
author = {Rosa Arboretti Giancristofaro and
Mario Bolzan and
Stefano Bonnini and
Livio Corain and
Francesca Solmi},
title = {Advantages of the Closed Testing Method in Multiple Comparisons Procedures},
journal = {Commun. Stat. Simul. Comput.},
volume = {41},
number = {6},
pages = {746--763},
year = {2012},
url = {https://doi.org/10.1080/03610918.2012.625279},
doi = {10.1080/03610918.2012.625279},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cssc/GiancristofaroBBCS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cstat/Yin12,
author = {Yuliang Yin},
title = {A new Bayesian procedure for testing point null hypotheses},
journal = {Comput. Stat.},
volume = {27},
number = {2},
pages = {237--249},
year = {2012},
url = {https://doi.org/10.1007/s00180-011-0252-6},
doi = {10.1007/S00180-011-0252-6},
timestamp = {Tue, 07 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cstat/Yin12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/AvellaBV12,
author = {Pasquale Avella and
Maurizio Boccia and
Igor Vasilyev},
title = {Computational Testing of a Separation Procedure for the Knapsack Set
with a Single Continuous Variable},
journal = {{INFORMS} J. Comput.},
volume = {24},
number = {1},
pages = {165--171},
year = {2012},
url = {https://doi.org/10.1287/ijoc.1100.0441},
doi = {10.1287/IJOC.1100.0441},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/AvellaBV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ghtc/KhanRA12,
author = {Sabbir A. Khan and
Rafiur Rahman and
A. K. M. Abdul Malek Azad},
title = {Solar Home System Components Qualification Testing Procedure and Its
Effect in Bangladesh Perspective},
booktitle = {2012 {IEEE} Global Humanitarian Technology Conference, {GHTC} 2012,
Seattle, WA, USA, October 21-24, 2012},
pages = {381--386},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/GHTC.2012.85},
doi = {10.1109/GHTC.2012.85},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/ghtc/KhanRA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isocc/HungLH12,
author = {Shao{-}Feng Hung and
Long{-}Yi Lin and
Hao{-}Chiao Hong},
title = {Testing the Fleischer-Laker switched-capacitor biquad using the diagnosis-after-test
procedure},
booktitle = {International SoC Design Conference, {ISOCC} 2012, Jeju Island, South
Korea, November 4-7, 2012},
pages = {179--184},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ISOCC.2012.6407069},
doi = {10.1109/ISOCC.2012.6407069},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/isocc/HungLH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/ChenLLM11,
author = {Jie Chen and
Jianfeng Luo and
Kenneth Liu and
Devan V. Mehrotra},
title = {On power and sample size computation for multiple testing procedures},
journal = {Comput. Stat. Data Anal.},
volume = {55},
number = {1},
pages = {110--122},
year = {2011},
url = {https://doi.org/10.1016/j.csda.2010.05.024},
doi = {10.1016/J.CSDA.2010.05.024},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csda/ChenLLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/orl/Cheng11,
author = {Yongxi Cheng},
title = {An efficient randomized group testing procedure to determine the number
of defectives},
journal = {Oper. Res. Lett.},
volume = {39},
number = {5},
pages = {352--354},
year = {2011},
url = {https://doi.org/10.1016/j.orl.2011.07.001},
doi = {10.1016/J.ORL.2011.07.001},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/orl/Cheng11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sac/HwangCO11,
author = {Yi{-}Ting Hwang and
Shih{-}Kai Chu and
Shyh{-}Tyan Ou},
title = {Evaluations of FDR-controlling procedures in multiple hypothesis testing},
journal = {Stat. Comput.},
volume = {21},
number = {4},
pages = {569--583},
year = {2011},
url = {https://doi.org/10.1007/s11222-010-9193-0},
doi = {10.1007/S11222-010-9193-0},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sac/HwangCO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sma/GreselinIP11,
author = {Francesca Greselin and
Salvatore Ingrassia and
Antonio Punzo},
title = {Assessing the pattern of covariance matrices via an augmentation multiple
testing procedure},
journal = {Stat. Methods Appl.},
volume = {20},
number = {2},
pages = {141--170},
year = {2011},
url = {https://doi.org/10.1007/s10260-010-0157-5},
doi = {10.1007/S10260-010-0157-5},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sma/GreselinIP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dese/PlumleyGG11a,
author = {Jon Plumley and
Raouf N. Gorgui{-}Naguib and
Richard Gatward},
title = {Field Testing a Reporting Procedure for Oesophageal Biopsies},
booktitle = {2011 Developments in E-systems Engineering, DeSE 2011, Dubai, United
Arab Emirates, December 6-8, 2011},
pages = {178--181},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.ieeecomputersociety.org/10.1109/DeSE.2011.44},
doi = {10.1109/DESE.2011.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dese/PlumleyGG11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/HeB11a,
author = {Qian He and
Rick S. Blum},
title = {Smart grid monitoring for intrusion and fault detection with new locally
optimum testing procedures},
booktitle = {Proceedings of the {IEEE} International Conference on Acoustics, Speech,
and Signal Processing, {ICASSP} 2011, May 22-27, 2011, Prague Congress
Center, Prague, Czech Republic},
pages = {3852--3855},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICASSP.2011.5947192},
doi = {10.1109/ICASSP.2011.5947192},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/HeB11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miigp/IngramAMG11,
author = {Martha{-}Conley Ingram and
Nkiruka C. Atuegwu and
Louise A. Mawn and
Robert L. Galloway},
editor = {Kenneth H. Wong and
David R. Holmes III},
title = {Transorbital therapy delivery: phantom testing},
booktitle = {Medical Imaging 2011: Visualization, Image-Guided Procedures, and
Modeling, Lake Buena Vista (Orlando), Florida, United States, 12-17
February 2011},
series = {{SPIE} Proceedings},
volume = {7964},
pages = {79642A},
publisher = {{SPIE}},
year = {2011},
url = {https://doi.org/10.1117/12.877095},
doi = {10.1117/12.877095},
timestamp = {Sun, 18 Mar 2018 17:14:32 +0100},
biburl = {https://dblp.org/rec/conf/miigp/IngramAMG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tsp/SobotkaZ11,
author = {Jiri Sobotka and
Vaclav Zeman},
editor = {Norbert Herencsar and
Karol Molnar},
title = {Application of {FMEA} procedure for {ALU} unit testing},
booktitle = {34th International Conference on Telecommunications and Signal Processing
{(TSP} 2011), Budapest, Hungary, Aug. 18-20, 2011},
pages = {428--432},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TSP.2011.6043696},
doi = {10.1109/TSP.2011.6043696},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/tsp/SobotkaZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-5261,
author = {Peter F. Patel{-}Schneider and
Roberto Sebastiani},
title = {A New General Method to Generate Random Modal Formulae for Testing
Decision Procedures},
journal = {CoRR},
volume = {abs/1106.5261},
year = {2011},
url = {http://arxiv.org/abs/1106.5261},
eprinttype = {arXiv},
eprint = {1106.5261},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-5261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mr/BertoluzzaCDPP10,
author = {Fulvio Bertoluzza and
Paolo Cova and
Nicola Delmonte and
Pietro Pampili and
Marco Portesine},
title = {Coupled measurement-simulation procedure for very high power fast
recovery - Soft behavior diode design and testing},
journal = {Microelectron. Reliab.},
volume = {50},
number = {9-11},
pages = {1720--1724},
year = {2010},
url = {https://doi.org/10.1016/j.microrel.2010.07.123},
doi = {10.1016/J.MICROREL.2010.07.123},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mr/BertoluzzaCDPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/PasqualeS10,
author = {Giorgio De Pasquale and
Aurelio Som{\`{a}}},
title = {Reliability Testing Procedure for {MEMS} IMUs Applied to Vibrating
Environments},
journal = {Sensors},
volume = {10},
number = {1},
pages = {456--474},
year = {2010},
url = {https://doi.org/10.3390/s100100456},
doi = {10.3390/S100100456},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/PasqualeS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-2203,
author = {Keehang Kwon and
Hong Pyo Ha and
Jiseung Kim},
title = {A proof Procedure for Testing Membership in Regular Expressions},
journal = {CoRR},
volume = {abs/1002.2203},
year = {2010},
url = {http://arxiv.org/abs/1002.2203},
eprinttype = {arXiv},
eprint = {1002.2203},
timestamp = {Tue, 18 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/CaoXZWW09,
author = {Jing Cao and
Xian{-}Jin Xie and
Song Zhang and
Angelique Whitehurst and
Michael A. White},
title = {Bayesian optimal discovery procedure for simultaneous significance
testing},
journal = {{BMC} Bioinform.},
volume = {10},
year = {2009},
url = {https://doi.org/10.1186/1471-2105-10-5},
doi = {10.1186/1471-2105-10-5},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/CaoXZWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cssc/ZhaoW09,
author = {Jin Zhao and
Jinde Wang},
title = {Robust Testing Procedures in Heteroscedastic Linear Models},
journal = {Commun. Stat. Simul. Comput.},
volume = {38},
number = {2},
pages = {244--256},
year = {2009},
url = {https://doi.org/10.1080/03610910802468666},
doi = {10.1080/03610910802468666},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cssc/ZhaoW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/PeyracheC09,
author = {Antonio Peyrache and
Tim Coelli},
title = {Testing procedures for detection of linear dependencies in efficiency
models},
journal = {Eur. J. Oper. Res.},
volume = {198},
number = {2},
pages = {647--654},
year = {2009},
url = {https://doi.org/10.1016/j.ejor.2008.08.014},
doi = {10.1016/J.EJOR.2008.08.014},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/PeyracheC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/MaciiP09,
author = {David Macii and
Dario Petri},
title = {Guidelines to Manage Measurement Uncertainty in Conformance Testing
Procedures},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {58},
number = {1},
pages = {33--40},
year = {2009},
url = {https://doi.org/10.1109/TIM.2008.2004976},
doi = {10.1109/TIM.2008.2004976},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tim/MaciiP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbta/XingqiongL09,
author = {Yang Xingqiong and
Wan Lin},
title = {Reliability Demonstration Testing Procedure for Weibull Distribution
about Zero Failure-Data},
booktitle = {First International Workshop on Database Technology and Applications,
{DBTA} 2009, Wuhan, Hubei, China, April 25-26, 2009, Proceedings},
pages = {68--71},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DBTA.2009.124},
doi = {10.1109/DBTA.2009.124},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbta/XingqiongL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miigp/JomierIEPC09,
author = {Julien Jomier and
Luis Ib{\'{a}}{\~{n}}ez and
Andinet Enquobahrie and
Danielle F. Pace and
Kevin Cleary},
editor = {Michael I. Miga and
Kenneth H. Wong},
title = {An open-source framework for testing tracking devices using Lego Mindstorms},
booktitle = {Medical Imaging 2009: Visualization, Image-Guided Procedures, and
Modeling, Lake Buena Vista (Orlando Area), Florida, United States,
7-12 February 2009},
series = {{SPIE} Proceedings},
volume = {7261},
pages = {72612S},
publisher = {{SPIE}},
year = {2009},
url = {https://doi.org/10.1117/12.812226},
doi = {10.1117/12.812226},
timestamp = {Tue, 24 Apr 2018 17:33:33 +0200},
biburl = {https://dblp.org/rec/conf/miigp/JomierIEPC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppig/VitaleC09,
author = {Agata Vitale and
Veronica Cullan},
title = {Using computerized procedures for testing and training abstract comparative
relations},
booktitle = {Proceedings of the 21st Annual Workshop of the Psychology of Programming
Interest Group, {PPIG} 2009, Limerick, Ireland, June 24-26, 2009},
pages = {10},
publisher = {Psychology of Programming Interest Group},
year = {2009},
url = {https://ppig.org/papers/2009-ppig-21st-vitale/},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppig/VitaleC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/argulib/Garssen09,
author = {Bart Garssen},
editor = {Frans H. van Eemeren and
Bart Garssen},
title = {Comparing the Incomparable: Figurative Analogies in a Dialectical
Testing Procedure},
booktitle = {Pondering on Problems of Argumentation, Twenty Essays on Theoretical
Issues},
series = {Argumentation Library},
volume = {14},
pages = {133--140},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-4020-9165-0\_10},
doi = {10.1007/978-1-4020-9165-0\_10},
timestamp = {Fri, 27 Apr 2018 17:51:47 +0200},
biburl = {https://dblp.org/rec/series/argulib/Garssen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/FromkeHK08,
author = {Cornelia Fr{\"{o}}mke and
Ludwig A. Hothorn and
Siegfried Kropf},
title = {Nonparametric relevance-shifted multiple testing procedures for the
analysis of high-dimensional multivariate data with small sample sizes},
journal = {{BMC} Bioinform.},
volume = {9},
year = {2008},
url = {https://doi.org/10.1186/1471-2105-9-54},
doi = {10.1186/1471-2105-9-54},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/FromkeHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijitm/WongJ08,
author = {Chee Yew Wong and
John Johansen},
title = {Empirical testing of forecast update procedure for seasonal products},
journal = {Int. J. Inf. Technol. Manag.},
volume = {7},
number = {1},
pages = {60--75},
year = {2008},
url = {https://doi.org/10.1504/IJITM.2008.015889},
doi = {10.1504/IJITM.2008.015889},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijitm/WongJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esann/RoccaP08,
author = {Michele La Rocca and
Cira Perna},
title = {A multiple testing procedure for input variable selection in neural
networks},
booktitle = {16th European Symposium on Artificial Neural Networks, {ESANN} 2008,
Bruges, Belgium, April 23-25, 2008, Proceedings},
pages = {173--178},
year = {2008},
url = {https://www.esann.org/sites/default/files/proceedings/legacy/es2008-108.pdf},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esann/RoccaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/WuLL07a,
author = {Jong{-}Wuu Wu and
Hsiu{-}Mei Lee and
Chia{-}Ling Lei},
title = {Computational testing algorithmic procedure of assessment for lifetime
performance index of products with two-parameter exponential distribution},
journal = {Appl. Math. Comput.},
volume = {190},
number = {1},
pages = {116--125},
year = {2007},
url = {https://doi.org/10.1016/j.amc.2007.01.010},
doi = {10.1016/J.AMC.2007.01.010},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/WuLL07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/ChenC07,
author = {Jessica Chen and
Hanmei Cui},
title = {{DOS} Middleware Instrumentation for Ensuring Reproducibility of Testing
Procedures},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {56},
number = {1},
pages = {56--62},
year = {2007},
url = {https://doi.org/10.1109/TIM.2006.887405},
doi = {10.1109/TIM.2006.887405},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tim/ChenC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdes/Salloum07,
author = {Salam N. Salloum},
editor = {Hamid R. Arabnia},
title = {Optimal and Heuristic Testing Procedures for k-out-of-n Systems with
Precedence Constraints},
booktitle = {Proceedings of the 2007 International Conference on Computer Design,
{CDES} 2007, Las Vegas, Nevada, USA, June 25-28, 2007},
pages = {147},
publisher = {{CSREA} Press},
year = {2007},
timestamp = {Thu, 20 Dec 2007 08:07:47 +0100},
biburl = {https://dblp.org/rec/conf/cdes/Salloum07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/ZonR07,
author = {Rolf Zon and
Mariska Roerdink},
editor = {Don Harris},
title = {{HCI} Testing in Flight Simulator: Set Up and Crew Briefing Procedures.
Design and Test Cycles for the Future},
booktitle = {Engineering Psychology and Cognitive Ergonomics, 7th International
Conference, {EPCE} 2007, Held as Part of {HCI} International 2007,
Beijing, China, July 22-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4562},
pages = {867--876},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73331-7\_95},
doi = {10.1007/978-3-540-73331-7\_95},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/hci/ZonR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iesa/KimK07,
author = {J. Kim and
S. Kulvatunyou},
editor = {Ricardo Jardim{-}Gon{\c{c}}alves and
J{\"{o}}rg P. M{\"{u}}ller and
Kai Mertins and
Martin Zelm},
title = {An Iterative Procedure for Efficient Testing of {B2B:} {A} Case in
Messaging Service Tests},
booktitle = {Enterprise Interoperability {II} - New Challenges and Industrial Approaches,
Proceedings of the 3th International Conference on Interoperability
for Enterprise Software and Applications, {IESA} 2007, March 27-30,
2007, Funchal, Madeira Island, Portugal},
pages = {647--658},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-1-84628-858-6\_72},
doi = {10.1007/978-1-84628-858-6\_72},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iesa/KimK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miigp/SchneiderS07,
author = {Mark Schneider and
Charles Stevens},
editor = {Kevin R. Cleary and
Michael I. Miga},
title = {Development and testing of a new magnetic-tracking device for image
guidance},
booktitle = {Medical Imaging 2007: Visualization and Image-Guided Procedures, San
Diego, CA, United States, 17-22 February 2007},
series = {{SPIE} Proceedings},
volume = {6509},
pages = {65090I},
publisher = {{SPIE}},
year = {2007},
url = {https://doi.org/10.1117/12.713249},
doi = {10.1117/12.713249},
timestamp = {Wed, 23 May 2018 15:10:40 +0200},
biburl = {https://dblp.org/rec/conf/miigp/SchneiderS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/WuTL06,
author = {K. H. Wu and
Man{-}Lai Tang and
K. M. Lee},
title = {Multiple testing procedures for analyzing stratified comparative clinical
trials using odds ratios},
journal = {Comput. Stat. Data Anal.},
volume = {50},
number = {11},
pages = {3324--3342},
year = {2006},
url = {https://doi.org/10.1016/j.csda.2005.05.006},
doi = {10.1016/J.CSDA.2005.05.006},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csda/WuTL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/Zhang06,
author = {Biao Zhang},
title = {A semiparametric hypothesis testing procedure for the {ROC} curve
area under a density ratio model},
journal = {Comput. Stat. Data Anal.},
volume = {50},
number = {7},
pages = {1855--1876},
year = {2006},
url = {https://doi.org/10.1016/j.csda.2005.02.001},
doi = {10.1016/J.CSDA.2005.02.001},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csda/Zhang06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/FukunagaKWMHS06,
author = {Masayasu Fukunaga and
Seiji Kajihara and
Xiaoqing Wen and
Toshiyuki Maeda and
Shuji Hamada and
Yasuo Sato},
editor = {Fumiyasu Hirose},
title = {A dynamic test compaction procedure for high-quality path delay testing},
booktitle = {Proceedings of the 2006 Conference on Asia South Pacific Design Automation:
{ASP-DAC} 2006, Yokohama, Japan, January 24-27, 2006},
pages = {348--353},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ASPDAC.2006.1594707},
doi = {10.1109/ASPDAC.2006.1594707},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/FukunagaKWMHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/clsr/Atkins05,
author = {Ruth Atkins},
title = {Software contracts and the acceptance testing procedure},
journal = {Comput. Law Secur. Rev.},
volume = {21},
number = {1},
pages = {51--55},
year = {2005},
url = {https://doi.org/10.1016/j.clsr.2004.11.010},
doi = {10.1016/J.CLSR.2004.11.010},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/clsr/Atkins05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/AslamR05,
author = {Shagufta Aslam and
David M. Rocke},
title = {A robust testing procedure for the equality of covariance matrices},
journal = {Comput. Stat. Data Anal.},
volume = {49},
number = {3},
pages = {863--874},
year = {2005},
url = {https://doi.org/10.1016/j.csda.2004.06.009},
doi = {10.1016/J.CSDA.2004.06.009},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csda/AslamR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/MunkSS05,
author = {Axel Munk and
G. Skipka and
Bernd Stratmann},
title = {Testing general hypotheses under binomial sampling: the two sample
case - asymptotic theory and exact procedures},
journal = {Comput. Stat. Data Anal.},
volume = {49},
number = {3},
pages = {723--739},
year = {2005},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csda/MunkSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enter/ZinsBMM0RS04,
author = {Andreas H. Zins and
Ulrike Bauernfeind and
Fabio Del Missier and
Nicole Mitsche and
Francesco Ricci and
Hildegard Rumetshofer and
Erwin Schaumlechner},
editor = {Andrew J. Frew},
title = {Prototype Testing for a Destination Recommender System: Steps, Procedures
and Implications},
booktitle = {Information and Communication Technologies in Tourism, {ENTER} 2004,
Cairo, Egypt, 2004},
pages = {249--258},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-7091-0594-8\_24},
doi = {10.1007/978-3-7091-0594-8\_24},
timestamp = {Fri, 28 Jun 2019 15:53:14 +0200},
biburl = {https://dblp.org/rec/conf/enter/ZinsBMM0RS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isit/BonisV04,
author = {Annalisa De Bonis and
Ugo Vaccaro},
title = {New results and applications of superimposed codes (and related combinatorial
structures) to the design of efficient group testing procedures},
booktitle = {Proceedings of the 2004 {IEEE} International Symposium on Information
Theory, {ISIT} 2004, Chicago Downtown Marriott, Chicago, Illinois,
USA, June 27 - July 2, 2004},
pages = {257},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/ISIT.2004.1365291},
doi = {10.1109/ISIT.2004.1365291},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/isit/BonisV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/Monfardini03,
author = {Chiara Monfardini},
title = {An illustration of Cox's non-nested testing procedure for logit and
probit models},
journal = {Comput. Stat. Data Anal.},
volume = {42},
number = {3},
pages = {425--444},
year = {2003},
url = {https://doi.org/10.1016/S0167-9473(02)00216-5},
doi = {10.1016/S0167-9473(02)00216-5},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csda/Monfardini03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Patel-SchneiderS03,
author = {Peter F. Patel{-}Schneider and
Roberto Sebastiani},
title = {A New General Method to Generate Random Modal Formulae for Testing
Decision Procedures},
journal = {J. Artif. Intell. Res.},
volume = {18},
pages = {351--389},
year = {2003},
url = {https://doi.org/10.1613/jair.1166},
doi = {10.1613/JAIR.1166},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/Patel-SchneiderS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mr/PearnL03,
author = {Wen Lea Pearn and
G. H. Lin},
title = {A reliable procedure for testing linear regulators with one-sided
specification limits based on multiple samples},
journal = {Microelectron. Reliab.},
volume = {43},
number = {4},
pages = {651--664},
year = {2003},
url = {https://doi.org/10.1016/S0026-2714(02)00323-2},
doi = {10.1016/S0026-2714(02)00323-2},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mr/PearnL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esann/EscolanoVRJ02,
author = {Andr{\'{e}}s Y{\'{a}}{\~{n}}ez Escolano and
Elisa Guerrero V{\'{a}}zquez and
Pedro Galindo Ria{\~{n}}o and
Joaqu{\'{\i}}n Pizarro Junquera},
editor = {Michel Verleysen},
title = {A resampling and multiple testing-based procedure for determining
the size of a neural network},
booktitle = {10th Eurorean Symposium on Artificial Neural Networks, {ESANN} 2002,
Bruges, Belgium, April 24-26, 2002, Proceedings},
pages = {65--70},
year = {2002},
url = {https://www.esann.org/sites/default/files/proceedings/legacy/es2002-64.pdf},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esann/EscolanoVRJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HagererHMNSI02,
author = {Andreas Hagerer and
Hardi Hungar and
Tiziana Margaria and
Oliver Niese and
Bernhard Steffen and
Hans{-}Dieter Ide},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Demonstration of an Operational Procedure for the Model-Based Testing
of {CTI} Systems},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {336--340},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_25},
doi = {10.1007/3-540-45923-5\_25},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/HagererHMNSI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miigp/BaxKJWS02,
author = {Michael R. Bax and
Rasool Khadem and
Jeremy A. Johnson and
Eric P. Wilkinson and
Ramin Shahidi},
editor = {Seong Ki Mun},
title = {Image-enhanced endoscopy calibration and image registration accuracy
testing},
booktitle = {Medical Imaging 2002: Visualization, Image-Guided Procedures, and
Display, San Diego, California, United States, 23-28 February 2002},
series = {{SPIE} Proceedings},
volume = {4681},
publisher = {{SPIE}},
year = {2002},
url = {https://doi.org/10.1117/12.466912},
doi = {10.1117/12.466912},
timestamp = {Fri, 25 May 2018 13:04:35 +0200},
biburl = {https://dblp.org/rec/conf/miigp/BaxKJWS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miigp/SauerKBVR02,
author = {Frank Sauer and
Ali Khamene and
Benedicte Bascle and
Sebastian Vogt and
Gregory J. Rubino},
editor = {Seong Ki Mun},
title = {Augmented-reality visualization in iMRI operating room: system description
and preclinical testing},
booktitle = {Medical Imaging 2002: Visualization, Image-Guided Procedures, and
Display, San Diego, California, United States, 23-28 February 2002},
series = {{SPIE} Proceedings},
volume = {4681},
publisher = {{SPIE}},
year = {2002},
url = {https://doi.org/10.1117/12.466949},
doi = {10.1117/12.466949},
timestamp = {Fri, 25 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/miigp/SauerKBVR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/ChichkovMC01,
author = {Anton Chichkov and
Dirk Merlier and
Peter Cox},
title = {Current Testing Procedure for Deep Submicron Devices},
journal = {J. Electron. Test.},
volume = {17},
number = {3-4},
pages = {219--224},
year = {2001},
url = {https://doi.org/10.1023/A:1012255026714},
doi = {10.1023/A:1012255026714},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/ChichkovMC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miigp/MertelmeierS01,
author = {Thomas Mertelmeier and
Peter Scharl},
editor = {Seong Ki Mun},
title = {Acceptance testing for softcopy displays},
booktitle = {Medical Imaging 2001: Visualization, Display, and Image-Guided Procedures,
San Diego, CA, United States, 17-22 February 2001},
series = {{SPIE} Proceedings},
volume = {4319},
publisher = {{SPIE}},
year = {2001},
url = {https://doi.org/10.1117/12.428096},
doi = {10.1117/12.428096},
timestamp = {Mon, 18 Jun 2018 17:03:10 +0200},
biburl = {https://dblp.org/rec/conf/miigp/MertelmeierS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HorrocksPS00,
author = {Ian Horrocks and
Peter F. Patel{-}Schneider and
Roberto Sebastiani},
title = {An Analysis of Empirical Testing for Modal Decision Procedures},
journal = {Log. J. {IGPL}},
volume = {8},
number = {3},
pages = {293--323},
year = {2000},
url = {https://doi.org/10.1093/jigpal/8.3.293},
doi = {10.1093/JIGPAL/8.3.293},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/HorrocksPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sac/Shipley00,
author = {Bill Shipley},
title = {A permutation procedure for testing the equality of pattern hypotheses
across groups involving correlation or covariance matrices},
journal = {Stat. Comput.},
volume = {10},
number = {3},
pages = {253--257},
year = {2000},
url = {https://doi.org/10.1023/A:1008943611855},
doi = {10.1023/A:1008943611855},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sac/Shipley00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esm/Vos00,
author = {Hans J. Vos},
editor = {Rik Van Landeghem},
title = {A Monto Carlo simulation to sequential mastery testing in education
using a backward induction computational procedure},
booktitle = {14\({}^{\mbox{th}}\) European Simulation Multiconference - Simulation
and Modelling: Enablers for a Better Quality of Life, May 23-26, 2000,
Ghent, Belgium},
pages = {751--754},
publisher = {{SCS} Europe},
year = {2000},
timestamp = {Tue, 05 Nov 2002 10:53:41 +0100},
biburl = {https://dblp.org/rec/conf/esm/Vos00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ets/ChichkovMC00,
author = {Anton Chichkov and
Dirk Merlier and
Peter Cox},
title = {Current testing procedure for deep submicron devices},
booktitle = {5th European Test Workshop, {ETW} 2000, Cascais, Portugal, May 23-26,
2000},
pages = {91--96},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ETW.2000.873784},
doi = {10.1109/ETW.2000.873784},
timestamp = {Tue, 28 Apr 2020 13:03:46 +0200},
biburl = {https://dblp.org/rec/conf/ets/ChichkovMC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/TanguyVJ00,
author = {L{\'{e}}naick Tanguy and
C{\'{e}}sar Viho and
Claude Jard},
editor = {Ten{-}Hwang Lai},
title = {Synthesizing Coordination Procedures for Distributed Testing of Distributed
Systems},
booktitle = {Proceedings of the 2000 {ICDCS} Workshops, April 10, 2000, Taipei,
Taiwan, {ROC}},
pages = {E67--E74},
year = {2000},
timestamp = {Mon, 22 Mar 2004 09:40:43 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/TanguyVJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csjm/Secrieru99,
author = {Nicolae Secrieru},
title = {Approximation procedures for data acquisition in testing systems},
journal = {Comput. Sci. J. Moldova},
volume = {7},
number = {2},
pages = {155--169},
year = {1999},
url = {http://www.math.md/publications/csjm/issues/v7-n2/8163/},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csjm/Secrieru99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ets/Lee99,
author = {Sung Heum Lee},
title = {Usability Testing for Developing Effective Interactive Multimedia
Software: Concepts, Dimensions, and Procedures},
journal = {J. Educ. Technol. Soc.},
volume = {2},
number = {2},
year = {1999},
url = {http://ifets.ieee.org/periodical/vol\_2\_99/sung\_heum\_lee.html},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ets/Lee99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/CaorsiPR99,
author = {Salvatore Caorsi and
Matteo Pastorino and
Mirco Raffetto},
title = {{EM} field prediction inside lossy multilayer elliptic cylinders for
biological-body modeling and numerical-procedure testing},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {46},
number = {11},
pages = {1304--1309},
year = {1999},
url = {https://doi.org/10.1109/10.797990},
doi = {10.1109/10.797990},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbe/CaorsiPR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/HatzopoulosS99,
author = {Alkis A. Hatzopoulos and
An. Sifniadis},
title = {Improved procedures for testing analog and mixed-signal systems using
a microcontroller},
booktitle = {6th {IEEE} International Conference on Electronics, Circuits and Systems,
{ICECS} 1999, Pafos, Cyprus, September 5-8, 1999},
pages = {1651--1654},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/ICECS.1999.814491},
doi = {10.1109/ICECS.1999.814491},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/HatzopoulosS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/Thibeault99,
author = {Claude Thibeault},
title = {An histogram based procedure for current testing of active defects},
booktitle = {Proceedings {IEEE} International Test Conference 1999, Atlantic City,
NJ, USA, 27-30 September 1999},
pages = {714--723},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/TEST.1999.805800},
doi = {10.1109/TEST.1999.805800},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/Thibeault99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/PomeranzR99,
author = {Irith Pomeranz and
Sudhakar M. Reddy},
title = {A Flexible Path Selection Procedure for Path Delay Fault Testing},
booktitle = {17th {IEEE} {VLSI} Test Symposium {(VTS} '99), 25-30 April 1999, San
Diego, CA, {USA}},
pages = {152--159},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/VTEST.1999.766659},
doi = {10.1109/VTEST.1999.766659},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/PomeranzR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BourhfirDAR98,
author = {C. Bourhfir and
Rachida Dssouli and
El Mostapha Aboulhamid and
Nathalie Rico},
editor = {Alexandre Petrenko and
Nina Yevtushenko},
title = {A Guided Incremental Test Case Generation Procedure for Conformance
Testing for {CEFSM} Specified Protocols},
booktitle = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
Workshop on Testing Communicating Systems (IWTCS), August 31 - September
2, 1998, Tomsk, Russia},
series = {{IFIP} Conference Proceedings},
volume = {131},
pages = {275--290},
publisher = {Kluwer},
year = {1998},
timestamp = {Tue, 15 Feb 2022 08:52:40 +0100},
biburl = {https://dblp.org/rec/conf/pts/BourhfirDAR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GiunchigliaRS97,
author = {Fausto Giunchiglia and
Marco Roveri and
Roberto Sebastiani},
editor = {William McCune},
title = {A New Method for Testing Decision Procedures in Modal Logics},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {264--267},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_26},
doi = {10.1007/3-540-63104-6\_26},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GiunchigliaRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/MoulinesC96,
author = {Eric Moulines and
Karim Choukri},
title = {Time-domain procedures for testing that a stationary time-series is
Gaussian},
journal = {{IEEE} Trans. Signal Process.},
volume = {44},
number = {8},
pages = {2010--2025},
year = {1996},
url = {https://doi.org/10.1109/78.533722},
doi = {10.1109/78.533722},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsp/MoulinesC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GiunchigliaRS96,
author = {Fausto Giunchiglia and
Marco Roveri and
Roberto Sebastiani},
editor = {Lin Padgham and
Enrico Franconi and
Manfred Gehrke and
Deborah L. McGuinness and
Peter F. Patel{-}Schneider},
title = {A New Method for Testing Decision Procedures in Modal and Terminological
Logics},
booktitle = {Proceedings of the 1996 International Workshop on Description Logics,
November 2-4, 1996, Cambridge, MA, {USA}},
series = {{AAAI} Technical Report},
volume = {{WS-96-05}},
pages = {119--123},
publisher = {{AAAI} Press},
year = {1996},
timestamp = {Fri, 05 Mar 2004 14:36:40 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GiunchigliaRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/BaumV94,
author = {Carl W. Baum and
Venugopal V. Veeravalli},
title = {A sequential procedure for multihypothesis testing},
journal = {{IEEE} Trans. Inf. Theory},
volume = {40},
number = {6},
pages = {1994--2007},
year = {1994},
url = {https://doi.org/10.1109/18.340472},
doi = {10.1109/18.340472},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/BaumV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/Zoubir94,
author = {Abdelhak M. Zoubir},
title = {Backward elimination procedures for testing multiple hypotheses: application
to optimal sensor location},
booktitle = {Proceedings of {ICASSP} '94: {IEEE} International Conference on Acoustics,
Speech and Signal Processing, Adelaide, South Australia, Australia,
April 19-22, 1994},
pages = {565--568},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICASSP.1994.389754},
doi = {10.1109/ICASSP.1994.389754},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/Zoubir94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csedu/Haile91,
author = {Tesfa Haile},
title = {Analysis of Testing Procedure Used by Students as It Relates to Software
Engineering},
journal = {Comput. Sci. Educ.},
volume = {2},
number = {3},
pages = {267--270},
year = {1991},
url = {https://doi.org/10.1080/0899340910020307},
doi = {10.1080/0899340910020307},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csedu/Haile91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurovav/Martin-Mattei91,
author = {Cath{\'{e}}rine Martin{-}Mattei},
editor = {Matthew Grisoni},
title = {Validation, Verification and Testing: Procedures in the Life Cycle
of Knowledge-Based Systems},
booktitle = {Proceedings of the European Workshop on the Verification and Validation
of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge,
England, July 22-24, 1991},
pages = {15--29},
publisher = {Logica Ltd., Cambridge, {UK}},
year = {1991},
timestamp = {Thu, 03 Jan 2002 11:57:51 +0100},
biburl = {https://dblp.org/rec/conf/eurovav/Martin-Mattei91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DuesterwaldS91,
author = {Evelyn Duesterwald and
Mary Lou Soffa},
editor = {William E. Howden},
title = {Concurrency Analysis in the Presence of Procedures Using a Data-Flow
Framework},
booktitle = {Proceedings of the Symposium on Testing, Analysis, and Verification,
{TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
pages = {36--48},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/120807.120811},
doi = {10.1145/120807.120811},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/DuesterwaldS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/Hao90,
author = {Fred H. Hao},
title = {The optimal procedures for quantitative group testing},
journal = {Discret. Appl. Math.},
volume = {26},
number = {1},
pages = {79--86},
year = {1990},
url = {https://doi.org/10.1016/0166-218X(90)90022-5},
doi = {10.1016/0166-218X(90)90022-5},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/Hao90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/Huskova90,
author = {Marie Huskov{\'{a}}},
title = {Some asymptotic results for robust procedures for testing the constancy
of regression models over time},
journal = {Kybernetika},
volume = {26},
number = {5},
pages = {392--403},
year = {1990},
url = {http://www.kybernetika.cz/content/1990/5/392},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/Huskova90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Yang90,
author = {Che{-}Liang Yang},
title = {Constructing Optimal Procedures for Testing Series Systems},
journal = {{IEEE} Trans. Computers},
volume = {39},
number = {7},
pages = {943--945},
year = {1990},
url = {https://doi.org/10.1109/12.55695},
doi = {10.1109/12.55695},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Yang90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijprai/Tiit89,
author = {Ene{-}Margit Tiit},
title = {Testing Algorithms and Programs of multivariate Statistical Procedures
- Necessary Assumption of Building Expert Systems},
journal = {Int. J. Pattern Recognit. Artif. Intell.},
volume = {3},
number = {1},
pages = {121--134},
year = {1989},
url = {https://doi.org/10.1142/S0218001489000115},
doi = {10.1142/S0218001489000115},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijprai/Tiit89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/VerthBK89,
author = {Patricia B. van Verth and
Lynne Bakalik and
Margaret Kilcoyne},
editor = {Robert A. Barrett and
Maynard J. Mansfield},
title = {Use of the Cloze procedure in testing a model of complexity},
booktitle = {Proceedings of the 20th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 1989, Louisville, Kentucky, USA, February 23-24,
1989},
pages = {156--160},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/65293.71206},
doi = {10.1145/65293.71206},
timestamp = {Tue, 23 Mar 2021 15:33:11 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/VerthBK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigchi/Bloom88,
author = {Charles P. Bloom},
title = {Procedures for Obtaining and Testing User-Selected Terminologies},
journal = {{ACM} {SIGCHI} Bull.},
volume = {20},
number = {1},
pages = {80},
year = {1988},
url = {https://doi.org/10.1145/49103.1046495},
doi = {10.1145/49103.1046495},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigchi/Bloom88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hhci/Bloom87,
author = {Charles P. Bloom},
title = {Procedures for Obtaining and Testing User-Selected Terminologies},
journal = {Hum. Comput. Interact.},
volume = {3},
number = {2},
pages = {155--177},
year = {1987},
url = {https://doi.org/10.1207/s15327051hci0302\_3},
doi = {10.1207/S15327051HCI0302\_3},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/hhci/Bloom87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipm/Pao85,
author = {Miranda Lee Pao},
title = {Lotka's law: {A} testing procedure},
journal = {Inf. Process. Manag.},
volume = {21},
number = {4},
pages = {305--320},
year = {1985},
url = {https://doi.org/10.1016/0306-4573(85)90055-X},
doi = {10.1016/0306-4573(85)90055-X},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipm/Pao85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BaratzS83,
author = {Alan E. Baratz and
Adrian Segall},
editor = {Harry Rudin and
Colin H. West},
title = {A Reliable Link Initialization Procedure},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {199--211},
publisher = {North-Holland},
year = {1983},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BaratzS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/BarzilaiR83,
author = {Zeev Barzilai and
Barry K. Rosen},
title = {Comparison of {AC} Self-Testing Procedures},
booktitle = {Proceedings International Test Conference 1983, Philadelphia, PA,
USA, October 1983},
pages = {89--94},
publisher = {{IEEE} Computer Society},
year = {1983},
timestamp = {Tue, 05 Nov 2002 15:16:27 +0100},
biburl = {https://dblp.org/rec/conf/itc/BarzilaiR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/Kramosil82,
author = {Ivan Kramosil},
title = {Three semantical interpretations of a statistical theoremhood testing
procedure},
journal = {Kybernetika},
volume = {18},
number = {5},
pages = {440--446},
year = {1982},
url = {http://www.kybernetika.cz/content/1982/5/440},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/Kramosil82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/Kramosil81a,
author = {Ivan Kramosil},
title = {Computational complexity of a statistical theoremhood testing procedure
for propositional calculus with pseudo-random inputs},
journal = {Kybernetika},
volume = {17},
number = {5},
pages = {359--367},
year = {1981},
url = {http://www.kybernetika.cz/content/1981/5/359},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/Kramosil81a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/FurhtP81,
author = {Borko Furht and
Dragutin Petkovic},
title = {A procedure for multimicroprocessor system testing during development},
journal = {Microprocess. Microsystems},
volume = {5},
number = {7},
pages = {313--317},
year = {1981},
url = {https://doi.org/10.1016/0141-9331(81)90404-X},
doi = {10.1016/0141-9331(81)90404-X},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/FurhtP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/SethiC80,
author = {Ishwar K. Sethi and
Biswanath Chattkerjee},
title = {Conversion of Decision Tables to Efficient Sequential Testing Procedures},
journal = {Commun. {ACM}},
volume = {23},
number = {5},
pages = {279--285},
year = {1980},
url = {https://doi.org/10.1145/358855.358863},
doi = {10.1145/358855.358863},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/SethiC80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/Kramosil80,
author = {Ivan Kramosil},
title = {Statistical testing procedure for lengths of formalized proofs},
journal = {Kybernetika},
volume = {16},
number = {3},
pages = {209--224},
year = {1980},
url = {http://www.kybernetika.cz/content/1980/3/209},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/Kramosil80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Sorkowitz79,
author = {Alfred Sorkowitz},
title = {Certification Testing: {A} Procedure to Improve the Quality of Software
Testing},
journal = {Computer},
volume = {12},
number = {8},
pages = {20--24},
year = {1979},
url = {https://doi.org/10.1109/MC.1979.1658849},
doi = {10.1109/MC.1979.1658849},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Sorkowitz79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/El-Ziq79,
author = {Yacoub M. El{-}Ziq},
editor = {David W. Hightower},
title = {Testing of {MOS} combinational networks a procedure for efficient
fault simulation and test generation},
booktitle = {Proceedings of the 16th Design Automation Conference, {DAC} '79, San
Diego, California, USA, June 25-27, 1979},
pages = {162--170},
publisher = {{ACM}},
year = {1979},
url = {http://dl.acm.org/citation.cfm?id=811707},
timestamp = {Thu, 01 Mar 2012 18:20:57 +0100},
biburl = {https://dblp.org/rec/conf/dac/El-Ziq79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kramosil79,
author = {Ivan Kramosil},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {A Note on Computational Complexity of a Statistical Deducibility Testing
Procedure},
booktitle = {Mathematical Foundations of Computer Science 1979, Proceedings, 8th
Symposium, Olomouc, Czechoslovakia, September 3-7, 1979},
series = {Lecture Notes in Computer Science},
volume = {74},
pages = {337--345},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09526-8\_31},
doi = {10.1007/3-540-09526-8\_31},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kramosil79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/MoonS77,
author = {John W. Moon and
M. Sobel},
title = {Enumerating a class of nested group testing procedures},
journal = {J. Comb. Theory, Ser. {B}},
volume = {23},
number = {2-3},
pages = {184--188},
year = {1977},
url = {https://doi.org/10.1016/0095-8956(77)90030-2},
doi = {10.1016/0095-8956(77)90030-2},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/MoonS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Johnson76,
author = {William A. Johnson},
editor = {Donald J. Humcke and
J. Michael Galey and
Stephen A. Szygenda and
Pat O. Pistilli and
Nitta P. Dooner and
Judith G. Brinsfield and
J. S. Olila},
title = {An automated probing procedure for board testing},
booktitle = {Proceedings of the 13th Design Automation Conference, {DAC} '76, San
Francisco, California, USA, June 28-30, 1976},
pages = {205--213},
publisher = {{ACM}},
year = {1976},
url = {https://doi.org/10.1145/800146.804816},
doi = {10.1145/800146.804816},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Johnson76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/KingJ75,
author = {Peter J. H. King and
Roger G. Johnson},
title = {The Conversion of Decision Tables to Sequential Testing Procedures},
journal = {Comput. J.},
volume = {18},
number = {4},
pages = {298--306},
year = {1975},
url = {https://doi.org/10.1093/comjnl/18.4.298},
doi = {10.1093/COMJNL/18.4.298},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/KingJ75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/Bouricius74,
author = {Willard G. Bouricius},
editor = {J. Michael Galey and
C. V. Ramamoorthy},
title = {Procedure for testing microprograms},
booktitle = {Conference record of the 7th annual workshop on Microprogramming,
{MICRO} 1974, Palo Alto, California, USA, September 30 - October 2,
1974},
pages = {235--240},
publisher = {{ACM}},
year = {1974},
url = {https://doi.org/10.1145/800118.803867},
doi = {10.1145/800118.803867},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/micro/Bouricius74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/RamamoorthyC72,
author = {Chittoor V. Ramamoorthy and
Lih Chung Chang},
title = {System Modeling and Testing Procedures for Microdiagnostics},
journal = {{IEEE} Trans. Computers},
volume = {21},
number = {11},
pages = {1169--1183},
year = {1972},
url = {https://doi.org/10.1109/T-C.1972.223474},
doi = {10.1109/T-C.1972.223474},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/RamamoorthyC72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/FrankfurterPS71,
author = {George M. Frankfurter and
Herbert E. Phillips and
John P. Seagle},
editor = {Michel Araten and
Joseph M. Sussman and
Leo J. Boelhouwer},
title = {Simulation of security returns for testing portfolio selection procedures},
booktitle = {Proceedings of the 5th conference on Winter simulation, {WSC} 1971,
New York, NY, USA, December 8-10, 1971},
pages = {358--363},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800294.811458},
doi = {10.1145/800294.811458},
timestamp = {Thu, 10 Jun 2021 16:58:01 +0200},
biburl = {https://dblp.org/rec/conf/wsc/FrankfurterPS71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-05 16:03 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
