Bernhard Riedl - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged testing

First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008IEEE Computer Society, 2008.

Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ProceedingsKaren Yorav, editor, Volume 4899 of Lecture Notes in Computer Science, Springer, 2008.

Reducing test costs in electronics mass-productionJukka Antila, Timo Karhu, Matti Mottonen, Janne Härkönen, Pekka Belt. ijss, 4(4):393-406, 2008. [doi]

Modelling Short Range Alternating Transitions by Alternating Practical Test FunctionsStefan Pusca. iccS 2007: 1053-1059 [doi]

A singular choice for multiple choiceGudmund Skovbjerg Frandsen, Michael I. Schwartzbach. SIGCSE, 38(4):34-38, 2006. [doi]

Computer program TRACK_TEST for calculating parameters and plotting profiles for etch pits in nuclear track materialsD. Nikezic, K. N. Yu. cphysics, 174(2):160-165, 2006. [doi]

A Study on the Standard of Software Quality TestingHye-Jung Jung, Won-Tae Jung, Hae Sool Yang. iccsa 2006: 1052-1059 [doi]

11th European Test Symposium (ETS 2006), 21-24 May 2006, Southhampton, UKIEEE Computer Society, 2006.

Improvement of Design Specifications with Inspection and TestingDietmar Winkler, Bernhard Riedl, Stefan Biffl. euromicro 2005: 222-231 [doi]

On Testing Image Processing Applications with Statistical MethodsJohannes Mayer. se 2005: 69-78

Locally testable cyclic codesTIT, 51(8):2849-2858, 2005. [doi]

6th International Workshop on Web Site Evolution (WSE 2004) - Testing, 11 September 2004, Chicago, IL, USAIEEE Computer Society, 2004.

Test Oracles Using Statistical MethodsJohannes Mayer, Ralph Guderlei. soqua 2004: 179-189

The Mann-Whitney TestDanny P. Wallace. jasis, 55(1):93, 2004. [doi]

Construction of Solutions for Nonintegrable Systems with the Help of the Painleve TestS. Yu. Vernov. iccS 2004: 382-387 [doi]

SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings2004.

Benefits of Modularity and Module Level TestsPatrik Kenger. ifip5-3 2005: 379-386 [doi]

Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September - 3 October 2003, Charlotte, NC, USAIEEE Computer Society, 2003.

Boosted leave-many-out cross-validation: the effect of training and test set diversity on PLS statisticsRobert D. Clark. jcamd, 17(2-4):265-275, 2003.

Do Real Options perform better than Net Present Value? Testing in an artificial financial marketMassimo Sapienza. jasss, 6(3), 2003. [doi]

Testing the descriptive validity of possibility theory in human judgments of uncertaintyEric Raufaste, Rui Da Silva Neves, Claudette Mariné. ai, 148(1-2):197-218, 2003. [doi]

Flexible effective fragment QM/MM method: Validation through the challenging testsA. V. Nemukhin, B. L. Grigorenko, Igor A. Topol, Stanley K. Burt. jcc, 24(12):1410-1420, 2003. [doi]

Rigid-body dynamics in the isothermal-isobaric ensemble: A test on the accuracy and computational efficiencyWataru Shinoda, Masuhiro Mikami. jcc, 24(8):920-930, 2003. [doi]

Spin-orbit coupling of DFT/MRCI wavefunctions: Method, test calculations, and application to thiopheneMartin Kleinschmidt, Jörg Tatchen, Christel M. Marian. jcc, 23(8):824-833, 2002. [doi]

Correlated, Real Time Multi-spectral Sensor Test and Evaluation (T&E) in an Installed Systems Test Facility (ISTF) Using High Performance ComputingJohn Kriz, Tom Joyner, Ted Wilson, Greg McGraner. iccS 2001: 521-530 [doi]

Proceedings IEEE International Test Conference 2001, Baltimore, MD, USA, 30 October - 1 November 2001IEEE Computer Society, 2001.

Electron transfer in bis(hydrazines), a critical test for application of the Marcus modelFredrik Blomgren, Sven Larsson, Stephen F. Nelsen. jcc, 22(6):655-664, 2001. [doi]

Entropy estimators and serial tests for ergodic chainsStefan Wegenkittl. TIT, 47(6):2480-2489, 2001.

Interactive Evaluation of the Ostensive Model Using a New Test Collection of Images with Multiple Relevance AssessmentsIain Campbell. ir, 2(1):85-112, 2000.

Proceedings IEEE International Test Conference 2000, Atlantic City, NJ, USA, October 2000IEEE Computer Society, 2000.

18th IEEE VLSI Test Symposium (VTS 2000), 30 April - 4 May 2000, Montreal, CanadaIEEE Computer Society, 2000.

Load Testing in an IR Organization: Getting By With a Little Help From My Friends Andrea L. Glaser. cmg 1999: 686-698

Testing the Performance of Multiple TCP/IP StacksJohn L. Wood, Christopher D. Selvagg, John Q. Walker II. cmg 1997: 626-638

Use of test particle calculations for the derivation of van der Waals parameters used in force fieldsJörg-Rüdiger Hill. jcc, 18(2):211-220, 1997. [doi]

14th IEEE VLSI Test Symposium (VTS 96), April 28 - May 1, 1996, Princeton, NJ, USAIEEE Computer Society, 1996.

Flexible matching of test ligands to a 3D pharmacophore using a molecular superposition force field: Comparison of predicted and experimental conformations of inhibitors of three enzymesColin McMartin, Regine S. Bohacek. jcamd, 9(3):237-250, 1995.

An Efficient Algorithm for Local Testability Problem of Finite State AutomataSam M. Kim, Robert McNaughton. cocoon 1995: 597-606

Optimal Bayesian Designs for Fatigue TestsS. Engelund, V. Bouyssy, Rüdiger Rackwitz. ifip7-5 1993: 55-63

DB2 Version 2 Release 3 Multi-User Performance Test ResultsGlynis Battersby, Peggy De Rossett. cmg 1992: 542-561

A Polynomial Time Algorithm for the Local Testability Problem of Deterministic Finite AutomataSam M. Kim, Robert McNaughton, Robert McCloskey. TC, 40(10):1087-1093, 1991.

Electrical Characterization of Megabit DRAMs, Part 1: External TestingG. Antonin, H.-D. Oberle, Jochen Kolzer. dt, 8(3):36-43, 1991. [doi]

Algorithms for Testing the Satisfiability of Propositional FormulaeGiorgio Gallo, Giampaolo Urbani. jlp, 7(1):45-61, 1989.

A dependent data extension of Wald s identity and its application to sequential test performance computationJohn S. Sadowsky. TIT, 35(4):834-842, 1989.

Intellibility Tests for Digital Speech Coders with Synthetic Regeneration During FadesRichard L. Zinser, Richard L. Frey, Charles McD. Puckette IV. icc 1986: 1013-1021

Computer Usability Testing: Some Basic ConsiderationsR. H. Spencer. cmg 1985: 836-839

Exhaustive Test Pattern Generation with Constant Weight VectorsDonald T. Tang, Lin S. Woo. TC, 32(12):1145-1150, 1983.

Proceedings International Test Conference 1981, Philadelphia, PA, USA, October 1981IEEE Computer Society, 1981.

Testing for the Church-Rosser PropertyRonald V. Book, Colm Ó Dúnlaing. TCS, 16:223-229, 1981.

A man-machine principle applied to human behavioral testsZ. Hantos, I. Madarász. actaC, 2:147-156, 1976.

On the Realization of Arbitrary Switching Functions with a Linear Number of TestsWolfgang Coy. ifip 1974: 165-167