If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Chapter
2013

Automated Specification Discovery via User-Defined Predicates

He, G., Qin, S., Chin, W-N. & Craciun, F., 2013, Lecture Notes in Computer Science . Vol. 8144. p. 397-414 Chapter 26. (Formal Methods and Software Engineering; vol. 8144).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
125 Downloads (Pure)
2010

Verifying Heap-Manipulating Programs with Unknown Procedure Calls

Qin, S., Luo, C., He, G., Craciun, F. & Chin, W., 17 Nov 2010, Formal Methods and Software Engineering. Springer Verlag, p. 171-187 Chapter 13. (Formal Methods and Software Engineering; vol. 6447).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
123 Downloads (Pure)