University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Jackie Wang : Publications

By dateBy titleBy typeBibtex

[1]

Model−Driven Development of Information Systems

Chen−Wei Wang

PhD Thesis 2012.

[2]

Formal and Model−Based Testing of Concurrent Workflows

Chen−Wei Wang‚ Alessandra Cavarra and Jim Davies

2011.

[3]

A Guarded Workflow Language and Its Formal Semantics

Chen−Wei Wang‚ Jim Davies and James Welch

Pages 25−34. Los Alamitos‚ CA‚ USA. 2010. IEEE Computer Society.

[4]

Checking Model Consistency using Data−Flow Testing

Chen−Wei Wang and Alessandra Cavarra

In Proceedings of APSEC'09: 16th Asia−Pacific Software Engineering Conference. IEEE. 2009.

[5]

Automated Model−based Verification of Object−Oriented Code

J. S. Ostroff‚ C. Wang‚ E. Kerfoot and F. A. Torshizi

In Verified Software: Theories‚ Tools‚ Experiments (VSTTE Workshop‚ Floc 2006). Microsoft Research MSR−TR−2006−117. 2006.

[6]

Automated Model−Based Verification of Object−Oriented Code

Jonathan Ostroff‚ Chen−wei Wang‚ Eric Kerfoot and Faraz A. Torshizi

In Workshop on Verified Software: Theory‚ Tools‚ and Experiments (VSTTE). 2006.

[7]

ES−Verify: A Tool for Automated Model−based Verification of Object−Oriented Code

Jonathan Ostroff‚ Chen−wei Wang‚ Eric Kerfoot and Faraz A. Torshizi

In Formal Methods 2006.

Poster