Test-Data Generation for Control Coverage by Proof

A. L. C. Cavalcanti; S. King; C. O'Halloran; J. C. P. Woodcock

doi:10.1007/s00165-013-0279-2

Test-Data Generation for Control Coverage by Proof

A. L. C. Cavalcanti, S. King, C. O'Halloran, J. C. P. Woodcock

Computer Science

Research output: Contribution to journal › Article › peer-review

Abstract

A. L. C. Cavalcanti, S. King, C. O'Halloran, and J. C. P. Woodcock. Test-Data Generation for Control Coverage by Proof. Formal Aspects of Computing, 2013

Original language	English
Pages (from-to)	795-823
Number of pages	29
Journal	Formal Aspects of Computing
Volume	26
Issue number	4
Early online date	29 May 2013
DOIs	https://doi.org/10.1007/s00165-013-0279-2
Publication status	Published - Jul 2014

Access to Document

10.1007/s00165-013-0279-2

http://link.springer.com/article/10.1007%2Fs00165-013-0279-2

Wolfson Research Merit Award - Ana Cavalcanti
Cavalcanti, A. L. C. (Principal investigator)
THE ROYAL SOCIETY
1/10/12 → 30/09/17
Project: Research project (funded) › Research
Model-based Testing for refinement, state and interaction
Cavalcanti, A. L. C. (Principal investigator)
THE ROYAL SOCIETY
25/03/12 → 24/03/14
Project: Research project (funded) › Research
ProCLaws: Programming from Control Laws
Cavalcanti, A. L. C. (Principal investigator)
EPSRC
1/07/07 → 30/09/11
Project: Research project (funded) › Research

Cite this

@article{a9f6242ba61047bc88089d531e0ea6c4,

title = "Test-Data Generation for Control Coverage by Proof",

abstract = "A. L. C. Cavalcanti, S. King, C. O'Halloran, and J. C. P. Woodcock. Test-Data Generation for Control Coverage by Proof. Formal Aspects of Computing, 2013",

author = "Cavalcanti, {A. L. C.} and S. King and C. O'Halloran and Woodcock, {J. C. P.}",

year = "2014",

month = jul,

doi = "10.1007/s00165-013-0279-2",

language = "English",

volume = "26",

pages = "795--823",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer",

number = "4",

}

TY - JOUR

T1 - Test-Data Generation for Control Coverage by Proof

AU - Cavalcanti, A. L. C.

AU - King, S.

AU - O'Halloran, C.

AU - Woodcock, J. C. P.

PY - 2014/7

Y1 - 2014/7

N2 - A. L. C. Cavalcanti, S. King, C. O'Halloran, and J. C. P. Woodcock. Test-Data Generation for Control Coverage by Proof. Formal Aspects of Computing, 2013

AB - A. L. C. Cavalcanti, S. King, C. O'Halloran, and J. C. P. Woodcock. Test-Data Generation for Control Coverage by Proof. Formal Aspects of Computing, 2013

U2 - 10.1007/s00165-013-0279-2

DO - 10.1007/s00165-013-0279-2

M3 - Article

SN - 0934-5043

VL - 26

SP - 795

EP - 823

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 4

ER -

Test-Data Generation for Control Coverage by Proof

Abstract

Access to Document

Projects

Wolfson Research Merit Award - Ana Cavalcanti

Model-based Testing for refinement, state and interaction

ProCLaws: Programming from Control Laws

Cite this