The SBSE Approach to Automated Optimization of Verification and Testing

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

Original language	English
Title of host publication	Unknown
Place of Publication	BERLIN
Publisher	Springer
Pages	3 - 3
Number of pages	1
ISBN (Print)	978-3-642-19236-4
Publication status	Published - 2011
Event	5th International Haifa Verification Conference - Haifa, Israel Duration: 19 Oct 2009 → 22 Oct 2009

Name	HARDWARE AND SOFTWARE: VERIFICATION AND TESTING

Conference	5th International Haifa Verification Conference
Country/Territory	Israel
City	Haifa
Period	19/10/2009 → 22/10/2009

Cite this

@inbook{eac85e9e26964be8a171608adaa57c55,

title = "The SBSE Approach to Automated Optimization of Verification and Testing",

author = "Mark Harman",

year = "2011",

language = "English",

isbn = "978-3-642-19236-4",

series = "HARDWARE AND SOFTWARE: VERIFICATION AND TESTING",

publisher = "Springer",

pages = "3 -- 3",

booktitle = "Unknown",

note = "5th International Haifa Verification Conference ; Conference date: 19-10-2009 Through 22-10-2009",

}

TY - CHAP

T1 - The SBSE Approach to Automated Optimization of Verification and Testing

AU - Harman, Mark

PY - 2011

Y1 - 2011

M3 - Conference paper

SN - 978-3-642-19236-4

T3 - HARDWARE AND SOFTWARE: VERIFICATION AND TESTING

SP - 3

EP - 3

BT - Unknown

PB - Springer

CY - BERLIN

T2 - 5th International Haifa Verification Conference

Y2 - 19 October 2009 through 22 October 2009

ER -