Kuang Shen
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009