Automated generation of high-integrity test suites from graphical specifications

Automated generation of high-integrity test suites from graphical specifications

Bibliographic Details
Main Author:	Burton, Simon
Published:	University of York 2002
Subjects:	005 Safety-critical software
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.270360

Similar Items

Interactive program derivation
by: Coen, Martin David
Published: (1992)

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

Graphical support for user interface specification
by: England, David
Published: (1990)

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

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

The generation of coordinated natural language and graphical explanations in design environments
by: Santana Sepulveda, Julio Sergio
Published: (1999)

The automated translation of integrated formal specifications into concurrent programs
by: Yang, Letu
Published: (2008)

The development of a colour graphics workstation
by: Chandler, Simon Robert
Published: (1987)

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

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

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

Graphical creation of structured programs
by: Romero, M. B. A.
Published: (1985)

The safety of industrially-based controllers incorporating software
by: Bennett, P. A.
Published: (1984)

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

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

An interactive graphical program development system
by: Diaz-Herrara, J. L.
Published: (1981)

Graphical debugging and validation of parallel programs
by: Eaton, Anthony John
Published: (1993)

A graphics design system for artists
by: Hanson, John B.
Published: (1983)

Writing and animating Z specifications
by: Andrews, Simon John
Published: (1996)

Scheduling and timing analysis for safety critical real-time systems
by: Bate, Iain John
Published: (1999)

A methodology for the requirements analysis of critical real-time systems
by: De Lemos, Rogerio
Published: (1994)

Lazy functional components for graphical user interfaces
by: Noble, Rob
Published: (1995)

An interactive, graphical, program design and development environment
by: Heerjee, K. B.
Published: (1988)

Design and performance analysis of raster graphics systems
by: Petrus, K. I.
Published: (1987)

A graphical system for parallel software development
by: Allen, Robert Stephen
Published: (1997)

Graphical application and visualization of lazy functional computation
by: Foubister, Sandra Periam
Published: (1995)

Theory of X-machines with applications in specification and testing
by: Ipate, Florentin Eugen
Published: (1995)

An interactive raster graphics system and language for artists and designers
by: Scrivener, Stephen A. R.
Published: (1982)

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

Design issues for computer graphics in a general purpose computer system
by: Wu, E. H.
Published: (1984)

On the development of a data base management and a graphic display system
by: Baker, S. A. T.
Published: (1982)

Automation of program design
by: Godinho, A. M. de A. L.
Published: (1982)

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

Metamorphosis : an integrated object oriented requirements analysis and specification method
by: Silva Araujo, Joao Baptista da
Published: (1996)

Automated support for the implementation phase of the software development cycle : an investigation
by: Stobart, Simon
Published: (1997)

The application of data compression and character recognition to digital transmission of textual and graphical information
by: Driscoll, R. J.
Published: (1980)

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

The development and testing of SURVE : a technique for validating and explicating specifications of user requirements
by: Kirby, Mark Andrew Richard
Published: (1993)

Hybrid methods for automated timetabling
by: Newall, James P.
Published: (1999)

Input-Domain Software Testing for Failure Probability Estimation of Safety-Critical Applications in Consideration of Past Input Sequence
by: Hee Eun Kim, et al.
Published: (2018-01-01)

Cannot write session to /tmp/vufind_sessions/sess_f9ej7ps58seei74mgulhcpdspm