Paper Info
Title
Using Contracts to Guide the Search-Based Verification of Concurrent Programs.
Year
DOI
Venue
2013
10.1007/978-3-642-39742-4_22
SSBSE
Field
DocType
Citations 
Race condition,Programming language,Concurrency,Computer science,Deadlock,Real-time computing,Fitness function,Artificial intelligence,Java Modeling Language,State space,Machine learning,Sketch
Conference
0
PageRank 
References 
Authors
0.34
5
2
Name
Order
Citations
PageRank
Christopher M. Poskitt1839.65
Simon M. Poulding213610.72