Jackie Wang : Publications
Click here to download all publications in a single bibtex file
@phdthesis{WangThesis2012,
title = "Model-Driven Development of Information Systems",
author = "Chen-Wei Wang",
year = "2012",
}
@inproceedings{wang2011,
title = "Formal and Model-Based Testing of Concurrent Workflows",
author = "Chen-Wei Wang and Alessandra Cavarra and Jim Davies",
year = "2011",
journal = "Workshop on Formal Methods in the Development of Software (WS-FMDS '11)",
}
@inproceedings{TASE2010,
title = "A Guarded Workflow Language and Its Formal Semantics",
author = "Chen-Wei Wang and Jim Davies and James Welch",
year = "2010",
address = "Los Alamitos, CA, USA",
isbn = "978-0-7695-4148-8",
journal = "Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on",
pages = "25-34",
publisher = "IEEE Computer Society",
doi = "10.1109/TASE.2010.21",
}
@inproceedings{wang2009,
title = "Checking Model Consistency using Data-Flow Testing",
author = "Chen-Wei Wang and Alessandra Cavarra",
year = "2009",
booktitle = "Proceedings of APSEC'09: 16th Asia-Pacific Software Engineering Conference",
publisher = "IEEE",
}
@inproceedings{espec06,
title = "Automated Model-based Verification of Object-Oriented Code",
author = "J. S. Ostroff and C. Wang and E. Kerfoot and F. A. Torshizi",
year = "2006",
booktitle = "Verified Software: Theories, Tools, Experiments (VSTTE Workshop, Floc 2006)",
publisher = "Microsoft Research MSR-TR-2006-117",
}
@inproceedings{Ostroff*2006:Automated,
title = "Automated Model-Based Verification of Object-Oriented Code",
author = "Jonathan Ostroff and Chen-wei Wang and Eric Kerfoot and Faraz A. Torshizi",
year = "2006",
booktitle = "Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE)",
}
@inproceedings{Ostroff*2006:ESVerify,
title = "{ES-Verify}: A Tool for Automated Model-based Verification of Object-Oriented Code",
author = "Jonathan Ostroff and Chen-wei Wang and Eric Kerfoot and Faraz A. Torshizi",
booktitle = "Formal Methods 2006",
note = "Poster",
}