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
Pages (or article number)
158-193
ISBN
978-3-642-25230-3
