Symbolic mining of temporal specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mark Gabel, Zhendong Su. Symbolic mining of temporal specifications. In Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn, editors, 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008. pages 51-60, ACM, 2008. [doi]

This author has not been identified. Look up 'Mark Gabel' in GoogleThis author has not been identified. It may be one of the following persons:

Zhendong Su

Look up 'Zhendong Su' in Google

runs on WebDSL