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
  Bianculli, Domenico Add to Alert Profile  
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-2018 ThinkLoud, Inc.
Terms of Use
| Privacy Policy