By the same authors

From the same journal

From the same journal

Test-Data Generation for Control Coverage by Proof

Research output: Contribution to journalArticlepeer-review

Author(s)

Department/unit(s)

Publication details

JournalFormal Aspects of Computing
DateE-pub ahead of print - 29 May 2013
DatePublished (current) - Jul 2014
Issue number4
Volume26
Number of pages29
Pages (from-to)795-823
Early online date29/05/13
Original languageEnglish

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

Projects

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations