Jackie Wang : Publications
Conference papers
|
[1] |
Formal and Model−Based Testing of Concurrent Workflows Chen−Wei Wang‚ Alessandra Cavarra and Jim Davies 2011. |
|
[2] |
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. |
|
[3] |
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. |
|
[4] |
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. |
|
[5] |
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. |
|
[6] |
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 |
Theses
|
[1] |
Model−Driven Development of Information Systems Chen−Wei Wang PhD Thesis 2012. |