Christophe Meudec  Home/Search
Context
Related
| cs.york.ac.uk/pub/chris/thesis.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math...p.cs.york.ac.uk (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Software testing consumes a large percentage of total software development costs. Yet, it is still usually performed manually in a non rigorous fashion. While techniques, and limited automatic supports, for the generation of test data from the actual code of the system under test have been well researched, test cases generation from a high level specification of the intended behaviour of the system being developed has hardly been addressed. In this thesis we present a rationale for using tests... (Update)
Similar documents (at the sentence level):
65.5%: Automatic Generation of Software Test Cases From Formal.. - Meudec (1998) (Correct)
Active bibliography (related documents): More All
0.7: Domain Based Testing: A Reuse Oriented Test Method - Mraz (1994) (Correct)
0.6: Applying Formal Methods to Software Testing - Stocks (1993) (Correct)
0.6: Criteria for Generating Specification-based Tests - Offutt, Xiong, Liu (1999) (Correct)
Similar documents based on text: More All
0.1: Purpose - Computer Language Program (Correct)
0.0: Automatic Test Data Generation From VDM-SL Specifications - Atterer (2000) (Correct)
0.0: The Logic Of Reusable Propositional Output With The Fulfilment .. - van der Torre (1999) (Correct)
BibTeX entry: (Update)
@misc{ meudec-automatic,
author = "Christophe Meudec",
title = "Automatic Generation of Software Tests From Formal Specifications",
url = "citeseer.ist.psu.edu/article/meudec97automatic.html" }
Citations (may not include all citations):689 Systematic Software Development Using VDM - Jones - 1990
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
276 Linear Programming and Extensions (context) - Dantzig - 1963
274 Prentice Hall International (context) - Spivey, manual et al. - 1989
261 An Introduction to Prolog III (context) - Colmerauer - 1990
194 Applying new scheduling theory to static priority pre-emptiv.. - Audsley, Burns et al. - 1993
130 Hints on test data selection: help for the practicing progra.. (context) - DeMillo, Lipton et al. - 1978
127 Prolog Programming For Artificial Intelligence (context) - Bratko - 1990
123 Seven myths of formal methods (context) - Hall - 1990
121 The category-partition method for specifying and generating .. (context) - Ostrand, Balcer - 1988
86 Constraint-based automatic test data generation (context) - DeMillo, Offutt - 1991
83 Automating the generation and sequencing of test cases from .. (context) - Dick, Faivre - 1993
82 Logic for Computer Science: Foundations of Automatic Theorem.. (context) - Gallier - 1987
82 Constraint Logic Programming Languages (context) - Cohen - 1990
71 Partition testing does not inspire confidence (context) - Hamlet, Taylor - 1990
63 Automated software test data generation (context) - Korel - 1990
62 Seven more myths of formal methods - Bowen, Hinchey - 1995
61 Test selection based on finite state models - Fujiwara, Bochmann et al. - 1991
54 A system to generate test data and symbolically execute prog.. (context) - Clarke - 1976
52 Analyzing partition testing strategies (context) - Weyuker, Jeng - 1991
49 Software testing based on formal specifications: a theory an.. (context) - Bernot, Gaudel et al. - 1991
49 Symbolic execution and program testing (context) - King - 1976
49 Constraint Satisfaction Using Constraint Logic Programming (context) - Hentenryck, Simonis et al. - 1992
46 A framework for specification-based testing (context) - Stocks, Carrington - 1996
46 The VDM-SL Reference Guide (context) - Dawes - 1991
45 Prentice Hall International (context) - Hayes, studies et al. - 1987
44 An evaluation of random testing (context) - Duran, Ntafos - 1984
42 A Fortran language system for mutation based software testin.. - King, Offutt - 1991
40 Proof in VDM: A Practitioner's Guide (context) - Bicarregui, Fitzgerald et al. - 1994
38 the automated generation of program test data (context) - Ramamoorthy, bun et al. - 1976
37 High Integrity Ada - The SPARK Approach (context) - Barnes - 1997
31 The evaluation of program-based software test data adequacy .. (context) - Weyuker - 1988
26 Select---a formal system for testing and debugging programs .. (context) - Boyer, Elpas et al. - 1975
26 Specification directed module testing (context) - Hayes - 1986
22 Computer-aided validation of formal specification (context) - Mukherjee - 1995
21 Structural specification-based testing with ADL (context) - Chang, Richardson et al. - 1996
20 Making the most of formal specification through animation, t.. (context) - Bicarregui, Dick et al. - 1997
20 A survey of mechanical support for formal reasoning (context) - Lindsay - 1988
19 Translating specifications in vdm-sl to pvs - Agerholm - 1996
19 Test template framework: A specificationbased testing case s.. (context) - Stocks, Carrington - 1993
18 Software System Testing and Quality Assurance (context) - Beizer - 1996
18 Experimental results from an automatic test case generator (context) - DeMillo, Offutt - 1993
18 The Complete Guide to Software Testing (context) - Hetzel - 1984
17 Understanding the differences between VDM and Z - Hayes, Jones et al. - 1993
16 Automatic generation of random self-checking test cases (context) - Bird, Munoz - 1983
16 The IFAD VDM-SL toolbox: a practical approach to formal spec.. (context) - Elmstrm, Larsen et al. - 1994
15 Symbolic execution systems---a review (context) - Coward - 1988
14 Logic and Specification---Extending VDM-SL for Advanced Form.. (context) - Middelburg - 1993
12 Analysis and refinement of software test data adequacy prope.. (context) - Parrish, Zweben - 1991
12 Automated module testing in Prolog (context) - Hoffman, Strooper - 1991
12 The Institute of Applied Computer Science (context) - Tool, The et al. - 1994
11 An automated oracle for software testing (context) - Brown, Roggio et al. - 1992
11 Model-based specifications (context) - Monahan, Shaw - 1991
10 High-performance mutation testing (context) - Choi, Mathur - 1993
10 The growth of software testing (context) - Gelperin, Hetzel - 1988
10 The problematics of testing objectoriented software - Barbey, Strohmeimer - 1994
9 Mutation testing: its origin and evolution (context) - Woodward - 1993
9 Test data generation using Prolog with constraints (context) - Choquet - 1986
8 Using high-level petri nets for testing concurrent and real-.. (context) - Morasca, Pezze - 1990
8 Path analysis testing of concurrent programs (context) - Yang, Chung - 1992
8 Using algebraic specifications in software testing: a case s.. (context) - Dauchy, Gaudel et al. - 1993
7 Automated test case generation for programs specified by rel.. (context) - Tsai, Volovik et al. - 1990
7 Prospects for Functional Programming in Software Engineering (context) - Banatre, Jones et al. - 1991
7 An automatic generator for compiler testing (context) - Bazzichi, Spadafora - 1982
7 High performance software testing on SIMD machines (context) - Krauser, Mathur et al. - 1991
6 Testing---a challenge to method and tool developers (context) - Ould - 1991
6 Test data adequacy measurement (context) - Zhu, Hall - 1993
6 A formal description of object-oriented programming using VD.. (context) - Minkowitz, Henderson - 1987
6 The Many Paths to Satisfaction (context) - Freuder - 1994
6 Specification and testing of abstract data types (context) - Jalote - 1992
6 Standards for non-executable specification languages - Larsen, Plat - 1992
5 Users Manual for the IFAD VDM-SL Tool (context) - Tool - 1994
5 Automatic test generation for the triangle problem (context) - North - 1990
5 VDM and Z: A comparative case study (context) - Hayes - 1992
4 Special section on software testing (context) - Hamlet - 1988
4 Software Products Group (context) - Group, UK
4 Software Products Group (context) - Group, UK
4 Generation of software tests from specifications (context) - Spence, Meudec - 1994
4 Symbolic execution and testing (context) - Coward - 1991
4 Towards a benchmark for the evaluation of software testing t.. (context) - Miller, Roper et al. - 1995
4 A survey of software functional testing methods (context) - Omar, Mohammed - 1991
4 Wiley-Interscience Publication (context) - Myers, of et al. - 1979
3 The LDRA software testbeds: their roles and capabilities (context) - Hennell, Hedley et al. - 1983
3 SMOTL---a system to construct samples for data processing pr.. (context) - Bicevskis, Borzovs et al. - 1979
3 of APIC Studies in Data Processing (context) - Dahl, Dijkstra et al. - 1972
3 An overview of the ISO/VDM-SL standard - Plat, Larsen - 1992
3 Formal methods in object oriented analysis (context) - Wilson - 1993
3 Introduction to Software Project Management and Quality Assu.. (context) - Ince - 1993
2 Software Verification and Validation; realistic project appr.. (context) - Deutsch - 1982
2 An overview of automated software testing (context) - Bertolini - 1991
2 Testing large software with automated software evaluation sy.. (context) - Ramamoorthy, Ho - 1975
2 Analytical techniques for verification, validation and testi.. (context) - Wilmot - 1992
2 Macmillan Computer Science Series (context) - Kopetz, Reliability - 1979
2 Draft International Standard ISO/IEC JTC1/SC22/WG19 N (context) - Standard, JTC et al. - 1993
2 Distribution-based statistical sampling: an approach to soft.. (context) - Dyer - 1993
2 Automatic test case generation using prolog (context) - Ashford - 1993
2 Dynamic method of test data generation for distributed softw.. (context) - Korel, Weddle et al. - 1992
2 AGENT: an advanced testcase generation system for functional.. (context) - Furukawa, Nogi et al. - 1985
2 Symbolic execution of specifications: User interface and sce.. (context) - Kneuper - 1987
2 The verification, validation and testing of object oriented .. (context) - Graham, Drakeford et al. - 1993
2 SQA TeamTest (context) - Automation, USA
2 Software TestWorks Tool Suite (context) - Research, USA
2 Automated Test Facility (context) - Inc, UK
2 Relationship between specifications and testing (context) - Hall - 1991
2 The lost world of software debugging and testing (context) - Glass - 1980
2 Formal specification and testing (context) - Laycock - 1992
2 In defense of program testing or correctness proofs consider.. (context) - Tanenbaum - 1976
2 Automatic test data generation and related topics (context) - Hedley - 1981
2 The many flavors of testing (context) - Glass - 1993
2 Reasoning about Z specifications: a VDM perspective - Lindsay - 1993
2 A review of software testing (context) - Coward - 1988
2 Computing Reviews (context) - Beizer - 1992
1 Design and implementation of an expressions solver (context) - Meudec - 1997
1 Unreachable states in model oriented specifications (context) - Nicholls - 1987
1 A flexible environment for program devel194 opment based on .. (context) - Asirelli, Degano et al. - 1979
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.york.ac.uk.html): More
Feature Interactions with Dynamic Priorities - Burns, Wellings (Correct)
Applying HAZOP to Software Engineering Models - Fenelon, Hebbron (1994) (Correct)
Using Diagrams to give a Formal Specification of Timing.. - Coombes, McDermid (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC