John Hatcliff - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged testing

An open test bed for medical device integration and coordinationAndrew King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger. ICSE 2009: 141-151 [doi]

Integration and Test Sequencing for Complex SystemsR. Boumen, I. S. M. de Jong, J. M. G. Mestrom, J. M. van de Mortel-Fronczak, J. E. Rooda. tsmc, 39(1):177-187, 2009. [doi]

New insights on testing the efficiency of methods of pricing and hedging American optionsFlavio Pressacco, Marcellino Gaudenzi, Antonino Zanette, Laura Ziani. eor, 185(1):235-254, 2008. [doi]

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.

Two Plus Two Does not Equal Three: Statistical Tests for Multiple genome ComparisonNarayanan Raghupathy, Rose Hoberman, Dannie Durand. jbcb, 6(1):1-22, 2008. [doi]

A numerical sufficiency test for the asymptotic stability of linear time-varying systemsPh. Mullhaupt, D. Buccieri, Dominique Bonvin. automatica, 43(4):631-638, 2007. [doi]

Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected PapersEyal Bin, Avi Ziv, Shmuel Ur, editors, Volume 4383 of Lecture Notes in Computer Science, Springer, 2007.

Fair testingArend Rensink, Walter Vogler. iandc, 205(2):125-198, 2007. [doi]

Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic ExecutionXianghua Deng, Robby, John Hatcliff. ISoLA 2006: 137 [doi]

Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, ProceedingsM. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko, editors, Volume 3964 of Lecture Notes in Computer Science, Springer, 2006.

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

Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptanceHenrik Brosenne, Matthias Homeister, Stephan Waack. ipl, 98(1):6-10, 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]

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

Testing for contagion in ASEAN exchange ratesMichael McAleer, Jason Chee Wei Nam. mcs, 68(5-6):517-525, 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]

Where infants look when impossible things happen: simulating and testing a gaze-direction modelMatthew Schlesinger, Patrick Casey. connection, 16(2):139, 2004. [doi]

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

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

A General Model for Finite-Sample Effects in Training and Testing of Competing ClassifiersSergey V. Beiden, Marcus A. Maloof, Robert F. Wagner. pami, 25(12):1561-1569, 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]

Significance of the failure criterion on transmission line pulse testingBart Keppens, V. De Heyn, M. Natarajan Iyer, Vesselin K. Vassilev, Guido Groeseneken. mr, 42(6):901-907, 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]

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

The Mutating Metric for Benchmarking TestRohit Kapur, Cy Hay, Thomas W. Williams. dt, 17(3):18-21, 2000. [doi]

Multiobjective Evolutionary Algorithm Test SuitesDavid A. van Veldhuizen, Gary B. Lamont. SAC 1999: 351-357 [doi]

GLFSR-a new test pattern generator for built-in-self-testDhiraj K. Pradhan, Mitrajit Chatterjee. tcad, 18(2):238-247, 1999. [doi]

On the Average Sensitivity of Testing Square-Free NumbersAnna Bernasconi, Carsten Damm, Igor Shparlinski. cocoon 1999: 291-299 [doi]

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

A Heuristic Measure to Maximize Detected Faults per TestKim T. Le, Kewal K. Saluja. et, 13(1):57-60, 1998. [doi]

Testing for Bounded Faults in RAMsR. David, Janusz A. Brzozowski, Helmut Jürgensen. et, 10(3):197-214, 1997. [doi]

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

Sizing and Estimating the Coding and Unit Testing Effort for GUI SystemsR. Lo, Richard Webby, D. Ross Jeffery. metrics 1996: 166-173 [doi]

Applications of Fair TestingEd Brinksma, Arend Rensink, Walter Vogler. forte 1996: 145-160

Analyzing Regression Test Selection TechniquesGregg Rothermel, Mary Jean Harrold. TSE, 22(8):529-551, 1996. [doi]

Fair TestingEd Brinksma, Arend Rensink, Walter Vogler. concur 1995: 313-327

Test for intersection between a plane and a connected compact polyhedronChing-Kuang Shene. cad, 26(7):585-588, 1994. [doi]

The Complexity of Finding Replicas Using Equality TestsGudmund Skovbjerg Frandsen, Peter Bro Miltersen, Sven Skyum. mfcs 1993: 463-472

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.

Algorithms for Testing the Satisfiability of Propositional FormulaeGiorgio Gallo, Giampaolo Urbani. jlp, 7(1):45-61, 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.

runs on WebDSL