Finding and understanding bugs in software model checkers
METADATA ONLY
Loading...
Author / Producer
Date
2019
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)
Journal / series
Volume
Pages / Article No.
763 - 773
Publisher
Association for Computing Machinery
Event
27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Software Testing; Software Model Checking; Fuzz Testing
Organisational unit
09628 - Su, Zhendong / Su, Zhendong