Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Bersani, Marcello M. Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 1 of 1 reviews    
  Efficient large-scale trace checking using MapReduce
Bersani M., Bianculli D., Ghezzi C., Krstić S., San Pietro P.  ICSE 2016 (Proceedings of the 38th International Conference on Software Engineering, Austin, TX,  May 14-22, 2016) 888-898, 2016. Type: Proceedings

In software engineering, software verification and validation has always been a challenging task. On the other hand, the emergence of big data and cloud computing has opened a new horizon for the verification of formal software specifications in a...
...
Feb 13 2017  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy