By the same authors

Finding Inputs that Reach a Target Expression

Research output: Contribution to conferencePaper

Standard

Finding Inputs that Reach a Target Expression. / Naylor, Matthew; Runciman, Colin.

2007. 133-142.

Research output: Contribution to conferencePaper

Harvard

Naylor, M & Runciman, C 2007, 'Finding Inputs that Reach a Target Expression' pp. 133-142. https://doi.org/10.1109/SCAM.2007.11

APA

Naylor, M., & Runciman, C. (2007). Finding Inputs that Reach a Target Expression. 133-142. https://doi.org/10.1109/SCAM.2007.11

Vancouver

Naylor M, Runciman C. Finding Inputs that Reach a Target Expression. 2007. https://doi.org/10.1109/SCAM.2007.11

Author

Naylor, Matthew ; Runciman, Colin. / Finding Inputs that Reach a Target Expression.

Bibtex - Download

@conference{b935ed36400d4977b470ffbfda5eaeb2,
title = "Finding Inputs that Reach a Target Expression",
author = "Matthew Naylor and Colin Runciman",
year = "2007",
doi = "http://dx.doi.org/10.1109/SCAM.2007.11",
language = "Undefined/Unknown",
pages = "133--142",

}

RIS (suitable for import to EndNote) - Download

TY - CONF

T1 - Finding Inputs that Reach a Target Expression

AU - Naylor, Matthew

AU - Runciman, Colin

PY - 2007

Y1 - 2007

U2 - http://dx.doi.org/10.1109/SCAM.2007.11

DO - http://dx.doi.org/10.1109/SCAM.2007.11

M3 - Paper

SP - 133

EP - 142

ER -