Using Contracts to Guide the Search-Based Verification of Concurrent Programs

Download
Text (PDF, 188.5Kb)
Thumbnail
Open access
Author
Poskitt, Christopher M.
Poulding, Simon
Date
2013
Type
    Conference Paper
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-009790045
Publication status
published
External links
Editor
Ruhe, Günther
Zhang, Yuanyuan
Book title
Search based software engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013 : proceedings
Journal / series
Lecture Notes in Computer Science
Volume
8084
Pages / Article No.
263 - 268
Publisher
Springer
Event
5th International Symposium on Search Based Software Engineering (SSBSE 2013), St. Petersburg, Russia, August 24-26, 2013
Subject
VERIFICATION (SOFTWARE ENGINEERING); DISTRIBUTED ALGORITHMS + PARALLEL ALGORITHMS (PROGRAMMING METHODS); VERTEILTE ALGORITHMEN + PARALLELE ALGORITHMEN (PROGRAMMIERMETHODEN); VERIFIKATION (SOFTWARE ENGINEERING)
Organisational unit
03594 - Meyer, Bertrand (emeritus)  
More
Show all metadata
Citations
Cited 2 times in Scopus
ETH Bibliography
yes
Altmetrics