Anya Helene Bagge - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged testing

The axioms strike back: testing with concepts and axioms in C++Anya Helene Bagge, Valentin David, Magne Haveraaen. GPCE 2009: 15-24 [doi]

Axiom-Based Transformations: Optimisation and TestingAnya Helene Bagge, Magne Haveraaen. ENTCS, 238(5):17-33, 2009. [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]

Testing with concepts and axioms in C++Anya Helene Bagge, Valentin David, Magne Haveraaen. OOPSLA 2008: 773-774 [doi]

Axiom-based testing for C++Anya Helene Bagge, Valentin David, Magne Haveraaen. OOPSLA 2008: 721-722 [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]

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]

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

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