Programming and Software Engineering
© 2010
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Editors: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G.J., Rosu, G., Sokolsky, O., Tillmann, N. (Eds.)
Free Preview- Unique visibility
- Fast-track conference proceedings
- State-of-the-art research
Buy this book
- Table of contents (39 chapters)
-
-
Automatic Requirement Extraction from Test Cases
Pages 1-15
-
Code Contracts for .NET: Runtime Verification and So Much More
Pages 16-17
-
Visual Debugging for Stream Processing Applications
Pages 18-35
-
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?
Pages 36-50
-
Contracts for Scala
Pages 51-57
-
Table of contents (39 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Runtime Verification
- Book Subtitle
- First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
- Editors
-
- Howard Barringer
- Ylies Falcone
- Bernd Finkbeiner
- Klaus Havelund
- Insup Lee
- Gordon J. Pace
- Grigore Rosu
- Oleg Sokolsky
- Nikolai Tillmann
- Series Title
- Programming and Software Engineering
- Series Volume
- 6418
- Copyright
- 2010
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer Berlin Heidelberg
- eBook ISBN
- 978-3-642-16612-9
- DOI
- 10.1007/978-3-642-16612-9
- Softcover ISBN
- 978-3-642-16611-2
- Edition Number
- 1
- Number of Pages
- XIII, 492
- Number of Illustrations
- 145 b/w illustrations
- Topics