An effective approach for testing program branches and linear code sequences and jumps

An effective approach for testing program branches and linear code sequences and jumps

Bibliographic Details
Main Author:	Malevris, N.
Published:	University of Liverpool 1988
Subjects:	005 Software testing
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.233799

Similar Items

The derivation of a methodology with supporting software aids for testing structured data processing programs
by: Roper, R. M. F.
Published: (1988)

Strong mutation testing strategies
by: Duncan, Ishbel M. M.
Published: (1993)

Automatic generation of software test cases from formal specifications
by: Meudec, Christophe
Published: (1998)

Modularity and code generation in an extended programming language
by: Rowlands, J. A. S.
Published: (1988)

The development of an intelligent tutoring system for linear programming
by: McAlister, Moira J.
Published: (1992)

On the efficient implementation of combinators as an object code for functional programs
by: Joy, M. S.
Published: (1984)

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

Towards a satisfaction relation between CCS specifications and their refinements
by: Baillie, Elizabeth Jean
Published: (1992)

Support for an integrated approach to program understanding : an application of software visualisation
by: Chan, Pui Shan
Published: (1998)

An approach to scalable parallel programming
by: Dobson, Simon Andrew
Published: (1993)

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

Parallel program monitoring : the logical clock approach and its deadlock avoidance
by: Cai, Wentong
Published: (1990)

The validation and verification of low-level code
by: Clutterbuck, D. L.
Published: (1986)

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

DIALOG : a dataflow interpretation approach to logic programs
by: Zhang, Kang
Published: (1990)

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

The effect of program structure on program behaviour in virtual memory systems
by: Scott, Colin T.
Published: (1980)

Functional programming with side-effects
by: Josephs, M. B.
Published: (1986)

More adaptable code generation
by: Forsyth, Charles Harkness
Published: (1990)

Automatic production of code generators
by: Spence, I. T. A.
Published: (1984)

Automated test of evolving software
by: Shaw, Hazel Anne
Published: (2005)

Software reclamation : upgrading code for reusability
by: Garnett, Edward Stewart
Published: (1990)

Improved turbo codes for data transmission
by: Tanriover, Cagri C.
Published: (2002)

Relations, graphs and programs
by: Ravelo, Jesus N.
Published: (1998)

Reading techniques for object-oriented code of production
by: Dunsmore, Alastair Peter
Published: (2003)

System modelling and systematic testing
by: Fu, Xiaoying
Published: (1995)

Using a quality model approach to define and evaluate metrics for Object-Oriented Programming Systems (MOOPS)
by: Nithi, R. V.
Published: (1999)

A correspondence between denotational semantics and code generation
by: Raskovsky, M. R.
Published: (1982)

Inter-module code analysis techniques for software maintenance
by: Calliss, Frank William
Published: (1989)

The determinants of program designer behaviour : an empirical study
by: Khazaei, Babak
Published: (1990)

Software component testing : a standard and the effectiveness of techniques
by: Reid, Stuart Christopher
Published: (1997)

Self-learning neurofuzzy control of non-linear systems
by: Tan, Woei Wan
Published: (1997)

Combining visual modelling with visual programming for CORBA component development
by: Bühler, Frank Stefan
Published: (2002)

Logic programming tools and techniques for imperative program verification
by: O'Neill, I. M.
Published: (1987)

An analysis of the impact of functional programming techniques on genetic programming
by: Yu, Gwoing Tina
Published: (2000)

The effectiveness of argumentative approaches to the design of software
by: Iliadis, Georgios P.
Published: (1999)

The application of visual programming techniques to the low-level programming process
by: Beaumont, Mark Alexander Edward
Published: (1999)

Findings a basis for matching programming languages to programming tasks
by: Petre, Marian
Published: (1989)

Automatic scheduling and parallel code generation for high performance real-time systems
by: Galparsoro, Miguel Angel Maiza
Published: (1997)

Automatic coding from ZedCharts to SPARK Ada for safety-critical systems
by: Shi, Feng Gang
Published: (1995)