On the integration of software testing and formal analysis
Additional information
Authors
Braione P.,
Denaro G.,
Pezzè M.
Type
Book chapter
Year
2012
Language
English
Book
Lecture Notes on Computer Science
Publisher
Springer
Start page number
158
End page number
193
ISBN
978-3-642-25230-3
