A finite domain-testing strategy for computer program testing /

A finite domain-testing strategy for computer program testing /

Bibliographic Details
Main Author:	Cohen, Edward Ira
Language:	English
Published:	The Ohio State University / OhioLINK 1978
Subjects:	Computer Science Computer programs
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=osu1487077662988767

Similar Items

Selecting sufficient sets of test paths for program testing /
by: Zeil, Steven Joseph,
Published: (1981)

Strategies used in computer program comprehension and debugging.
by: Young, Christopher B.
Published: (1986)

What you see is what you test : a testing methodology for form-based visual programs
by: Li, Lixin, 1966-
Published: (2012)

Testing Cobol programs by mutation
by: Hanks, Jeanne Marie
Published: (2008)

A Framework for Testing Concurrent Programs
Published: (2013)

The program monitor : a programmable instrument for computer hardware and software performance measurement
by: Giaimo, Edward Charles
Published: (2005)

Program inference from example computations represented by memory snapshot traces /
by: Petry, Fredrick Eugene
Published: (1974)

Test items for and misconceptions of competences in the domain of logic programming
by: Linck, Barbara
Published: (2013)

A comprehensive software test strategy
by: Kahle, Stephen Louis
Published: (2011)

Guided Testing of Concurrent Programs Using Value Schedules
by: Chen, Jun
Published: (2009)

Guided Testing of Concurrent Programs Using Value Schedules
by: Chen, Jun
Published: (2009)

State-based testing : a new method for testing object-oriented programs
by: Turner, Christopher David
Published: (1994)

Automatic test data generation
by: Offutt, Andrew Jefferson, VI
Published: (2006)

Symbolic execution and the testing of COBOL programs
by: Coward, Philip David
Published: (1991)

Compiler-assisted Adaptive Software Testing
by: Petsios, Theofilos
Published: (2018)

DEVELOPMENT AND TESTING OF DATA STRUCTURES FOR THE CPM/MRP METHODOLOGY.
by: Ardalan, Alireza
Published: (1983)

Evaluation in built-in self-test
by: Zhang, Shujian
Published: (2017)

Finite Difference Computing with Exponential Decay Models
Published: (2016)

Bug-finding and test case generation for java programs by symbolic execution
by: Bester, Willem Hendrik Karel
Published: (2013)

Finite Difference Computing with Exponential Decay Models
by: Petter Langtangen, Hans
Published: (2016)

Software science and program complexity measures /
by: Baker, Albert L.
Published: (1979)

Analysis and Computer Programming of Duncan's New Multiple Range Test
by: Wheeler, Walter
Published: (1965)

Perceptions of computer programming students on interactive environments for teaching object-oriented concepts using Java
by: Mwansa, Patrick
Published: (2017)

Solving finite domain constraint hierarchies by local consistency and tree search.
Published: (2002)

Effective test case selection for context-aware applications based on mutation testing and adequacy testing from a context diversityperspective
by: Wang, Huai, et al.
Published: (2013)

Combining over- and under-approximating program analyses for automatic software testing
by: Csallner, Christoph
Published: (2008)

Use of the computer program in a cloud computing
by: Radovanović Sanja
Published: (2013-01-01)

Needed Narrowing as the Computational Strategy of Evaluable Functions in an Extension of Goedel
by: Barry, Bobbi J.
Published: (1996)

Weakest Pre-Condition and Data Flow Testing
by: McClellan, Griffin David
Published: (1995)

Modified Geffe test pattern generator for built-in self-test
by: Qi, Dandan
Published: (2010)

A programming language for the finite element method
by: Collins, R. J.
Published: (1980)

Program structures and computer architectures for parallel processing
by: Montagne, Euripides.
Published: (1985)

The definition and implementation of a computer programming language based on constraints
by: Steele, Guy Lewis
Published: (2005)

Genetic parallel programming.
Published: (2005)

Data Dependence in Programs Involving Indexed Variables
by: Nikolik, Borislav
Published: (1993)

Scientific Programming and Computer Architecture
by: Viswanath, Divakar
Published: (2017)

Towards a uniform graphical representation of program construction, debugging and testing process
by: Halewood, Keith
Published: (1991)

Studies of program test coverage criteria and the development of an automated support system
by: Girgis, M. R.
Published: (1986)

SEN: A PROGRAM FOR COMPUTER-AIDED ANALYSIS OF THE SENSITIVITIES OF A NETWORK
by: Abbott, Kevin Charles
Published: (1982)

Pointer analysis : building a foundation for effective program analysis
by: Hardekopf, Benjamin Charles
Published: (2012)