IC-Cut: A Compositional Search Strategy for Dynamic Test Generation
METADATA ONLY
Loading...
Author / Producer
Date
2015
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Model checking software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015: proceedings
Journal / series
Volume
9232
Pages / Article No.
300 - 318
Publisher
Springer
Event
22nd International Symposium, SPIN 2015
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Organisational unit
03653 - Müller, Peter / Müller, Peter