PASTIS: A Collaborative Approach to Combine Heterogeneous Software Testing Techniques | IEEE Conference Publication | IEEE Xplore