Runtime Verification
Runtime Verification
About this book
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Runtime Verification, RV 2007, held in Vancouver, Canada. The meeting was a satellite workshop of AoSD 2007, the International Conference on Aspect-Oriented Software Development. 16 revised full papers and one invited paper are included, which have been selected from 29 initial submissions. Subjects covered include several technical fields such as dynamic program analysis.
Details
- OL Work ID
- OL16997521W
Subjects
Logic designComputer scienceSoftware engineeringInformation networksComputer software, verificationAspect-oriented programmingFormal methods (Computer science)CongressesComputer softwareTestingVerification