Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642277047, 9783642277054
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Symbolic Execution Enhanced System Testing

2012 ◽  
pp. 294-309 ◽  
Author(s):  
Misty Davies ◽  
Corina S. Păsăreanu ◽  
Vishwanath Raman
Keyword(s):  
Symbolic Execution ◽  
System Testing

The Location Linking Concept: A Basis for Verification of Code Using Pointers

2012 ◽  
pp. 34-49 ◽  
Author(s):  
Gregory Kulczycki ◽  
Hampton Smith ◽  
Heather Harton ◽  
Murali Sitaraman ◽  
William F. Ogden ◽  
...  

scholarly journals Specifying and Verifying the Correctness of Dynamic Software Updates

2012 ◽  
pp. 278-293 ◽  
Author(s):  
Christopher M. Hayden ◽  
Stephen Magill ◽  
Michael Hicks ◽  
Nate Foster ◽  
Jeffrey S. Foster
Keyword(s):  
Software Updates ◽  
Dynamic Software
Load More ...
Sign in / Sign up

Export Citation Format

Share Document