Automatic generation of software test cases from formal specifications

Automatic generation of software test cases from formal specifications

Bibliographic Details
Main Author:	Meudec, Christophe
Published:	Queen's University Belfast 1998
Subjects:	005 Software testing
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263505

Similar Items

Using formal specifications to enhance the software testing process
by: Hierons, Robert M.
Published: (1992)

The automatic generation of software test data using genetic algorithms
by: Sthamer, Harmen-Hinrich
Published: (1995)

An investigation into adaptive search techniques for the automatic generation of software test data
by: Lachut Watkins, Alison Elizabeth
Published: (1996)

A compositional model for the formal specification of user interface software
by: Markopoulos, Panagiotis
Published: (1997)

Automatic semi/automatic generation of software to control flexible manufacturing cells
by: Haritos, Georgios
Published: (1995)

The refinement of formal specifications using reusable software components in Ada95
by: Bale, Stephen Alan
Published: (1998)

An investigation into generating readable software from logic specifications
by: Resler, R. Daniel
Published: (1991)

Exploring the barriers to formal specification
by: Snook, Colin Frank
Published: (2001)

Formal techniques in the management of software design
by: Richardson, W. E.
Published: (1983)

Formal methods for rapid software prototyping
by: Quintas Figueiredo de Barros, Alexandra Maria
Published: (1997)

Formal methods and reuse in software engineering
by: Higgs, Clive Richard
Published: (1990)

Software tools to support formal methods
by: McParland, Patrick J.
Published: (1989)

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

The formal specification of computational structures
by: Stewart, Alan
Published: (1986)

Animation prototyping of formal specifications
by: Hughes, Thomas S.
Published: (1992)

The integration of software specification, verification, and testing techniques with software requirements and design processes
by: Chantatub, Wachara
Published: (1995)

Formal specification and verification of OSI protocols
by: Zhang, Bairong
Published: (1996)

Controlling the software development process through the techniques of software process modelling and formal methods
by: Proudlock, Kimberley M.
Published: (1994)

Automated generation of high-integrity test suites from graphical specifications
by: Burton, Simon
Published: (2002)

Automatic software test data generation from Z specifications using evolutionary algorithms
by: Yang, Xile
Published: (1998)

The use of non-formal information in reverse engineering and software reuse
by: Brown, Alan J.
Published: (1992)

A graphical based formalism for executable specification
by: Gaskell, Craig
Published: (1997)

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

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

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

A formal development method for the construction of correct distributed applications software
by: Roantree, Donal Kevin
Published: (1993)

A method for formal specification and verification of interactive systems
by: Paterno, Fabio Domenico
Published: (1995)

Use of program and data-specific heuristics for automatic software test data generation
by: Alshraideh, Mohammad
Published: (2007)

The application of software metrics to the area of software specification
by: Finney, Kathleen Margaret
Published: (1998)

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

Automated test generation from algebraic specifications
by: Pietschker, Andrej
Published: (2002)

The generation and management of software
by: Baker, M. W.
Published: (1980)

A framework for supporting automatic simulation generation from design
by: Arief, Leonardus Budiman
Published: (2001)

Automatic generation of programs for retrieving information from CODASYL databases
by: Bell, R.
Published: (1980)

An effective approach for testing program branches and linear code sequences and jumps
by: Malevris, N.
Published: (1988)

A formal framework in VDM for the specification of parallel discrete event simulation
by: Hook, Nicola K.
Published: (1995)

Automatic test generation for industrial control software
by: Enoiu, Eduard
Published: (2016)

Quality assurance of specification and design of software
by: Myers, Margaret
Published: (1989)

Methods integration : rigorous systems specification using structured analysis and formal notations
by: Semmens, Lesely T.
Published: (1996)

Heuristic generation of software test data
by: Holmes, Stephen Terry
Published: (1996)