Jonathan P. Bowen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged testing

Using formal specifications to support testingRobert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan. ACM Comput. Surv., 41(2), 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]

Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected PapersRobert M. Hierons, Jonathan P. Bowen, Mark Harman, editors, Volume 4949 of Lecture Notes in Computer Science, Springer, 2008.

From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing CriteriaSergiy A. Vilkomir, Jonathan P. Bowen. fortest 2008: 240-270 [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.

Test conditions for fault classes in Boolean specificationsKalpesh Kapoor, Jonathan P. Bowen. TOSEM, 16(3):10, 2007. [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]

From MC/DC to RC/DC: formalization and analysis of control-flow testing criteriaSergiy A. Vilkomir, Jonathan P. Bowen. fac, 18(1):42-62, 2006. [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]

A formal analysis of MCDC and RCDC test criteriaKalpesh Kapoor, Jonathan P. Bowen. stvr, 15(1):21-40, 2005. [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]

Ordering Mutants to Minimise Test Effort in Mutation TestingKalpesh Kapoor, Jonathan P. Bowen. fates 2005: 195-209 [doi]

Experimental evaluation of the tolerance for control-flow test criteriaKalpesh Kapoor, Jonathan P. Bowen. stvr, 14(3):167-187, 2004. [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]

Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test CriteriaKalpesh Kapoor, Jonathan P. Bowen. isese 2003: 185-194 [doi]

Tolerance of Control-Flow Testing CriteriaSergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen. compsac 2003: 182-187 [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]

FORTEST: Formal Methods and TestingJonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause. compsac 2002: 91-104 [doi]

Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software TestingSergiy A. Vilkomir, Jonathan P. Bowen. zum 2002: 291-308 [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]

Formalization of Software Testing Criteria using the Z NotationSergiy A. Vilkomir, Jonathan P. Bowen. compsac 2001: 351-356 [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]

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

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.

runs on WebDSL