Selecting sufficient sets of test paths for program testing /

Selecting sufficient sets of test paths for program testing /

Bibliographic Details
Main Author:	Zeil, Steven Joseph
Language:	English
Published:	The Ohio State University / OhioLINK 1981
Subjects:	Computer Science Computer programs > Testing
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=osu1487169969171389

Similar Items

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

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)

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

A finite domain-testing strategy for computer program testing /
by: Cohen, Edward Ira
Published: (1978)

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)

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

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

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

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

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

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

INCREMENTAL SYNTHESIS OF INDUCTIVE ASSERTIONS FOR PROGRAM VERIFICATION
by: Britton, Dianne Ellen, 1950-
Published: (1977)

Test case prioritization
by: Malishevsky, Alexey Grigorievich
Published: (2012)

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

A Framework for Testing Concurrent Programs
Published: (2013)

Designing a test set for structural testing in automatic programming assessment
by: Romli, Rohaida, et al.
Published: (2014)

Equivalence testing for fortran mutation system using data flow analysis
by: Tanaka, Akihiko
Published: (2006)

Defensive Programming
by: Bailey, L. Mark
Published: (1980)

Creating and Visualizing Test Data from Programming Exercises
by: Petri IHANTOLA
Published: (2007-04-01)

A methodology for testing spreadsheet grids
by: Sheretov, Andrei
Published: (2012)

TESTed—An educational testing framework with language-agnostic test suites for programming exercises
by: Dawyndt, P., et al.
Published: (2023)

Emulation framework for testing higher level control methodology
by: Ennulat, Harold W.
Published: (2014)

GENERATE TEST SELECTION STATISTICS WITH AUTOMATED MUTATION TESTING
by: MADHUKAR, ENUGURTHI
Published: (2018)

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

Training Set Design for Test Removal Classication in IC Test
by: Hassan Ranganath, Nagarjun
Published: (2014)

Efficient specification-based testing using incremental techniques
by: Uzuncaova, Engin
Published: (2012)

Predictive Validation of a Computer Programmer Selection Test
by: Duvall, Sherman K.
Published: (1981)

Efficient Whole Program Path Tracing
by: Sridhar, G
Published: (2018)

An interactive program mutation system
by: St. André, Daniel M.
Published: (2006)

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

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

On the efficiency of selective mutation for software testing
by: Mresa, Elfurjani Sassi
Published: (1997)

Automatic test case generation for spreadsheets
by: Cao, Mingming
Published: (2012)

Using a Computer-adaptive Test Simulation to Investigate Test Coordinators' Perceptions of a High-stakes Computer-based Testing Program
by: Hogan, Tiffany
Published: (2014)

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

A Method for Automated Program Code Testing
by: Sigitas DRĄSUTIS, et al.
Published: (2010-10-01)

A Comparison of the Effectiveness of Computer Adaptive Testing and Computer Administered Testing
by: Fielder, Patrick J. (Patrick Joseph)
Published: (1995)

Smoke Test Planning using Answer Set Programming
by: Tobias Philipp, et al.
Published: (2021-03-01)

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

Cannot write session to /tmp/vufind_sessions/sess_hcmje3g6g4jnbevmnsenfd2jtf